graph greedy k-coloring