coloring of graph