Solution

ID: past-exam-of-the-graph-theory-and-probabilistic-combinatorics-course-of-the-university-of-oxford/2011/a/2/c/solution

Fix a proper colouring with exactly nonempty colour classes. For any class , suppose every vertex in it misses at least one of the other colours in its neighbourhood. Recolour each of these vertices by one of its missing colours. No edge joins two vertices of , so these simultaneous recolourings cannot conflict with one another, and the chosen colours do not conflict with vertices outside .
This would eliminate colour and produce a -colouring, contradicting optimality. Therefore each colour class contains a vertex adjacent to at least one vertex of every other colour. That vertex has degree at least . Choosing one from each class gives distinct vertices, proving
For , a nonempty graph already has a vertex of degree at least zero, so the conclusion holds as well.

New to topics? Read the docs here!