Added more stuff for graph coloring