add graph coloring fns