Program
Phase
-
Step
-
Colored / spilled
-
Edges
-
Simplify pushes nodes with degree < k onto a stack; select pops them and assigns the lowest free color, spilling if none.