add graph coloring