AMDM.PAR.12.4: Consider problems that can be resolved by coloring graphs.