proper coloring of a graph - Search