example_optimally_colored_graphs