Slightly update graph coloring.