Solution

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

Let be the vertices with fewer than neighbours in . If , regularity applies to the pair and gives
But averaging the defining strict degree inequality over gives , a contradiction. Therefore
Regularity controls the neighbourhood of almost every vertex because a large set of exceptional low-degree vertices would itself witness an irregular density.

New to topics? Read the docs here!