fractional coloring