It is better to name it `greedy_coloring`.