DM.GT.3.c: Use graph coloring to determine the chromatic number of a graph.