vertex coloring in graph theory - Search