Rudimentary graph_coloring code