graph coloring problem