Paper 3, Section II, F
Part II, 2010
Let be a graph of order . Show that must contain an independent set of vertices (where denotes the least integer .
[Hint: take a random ordering of the vertices of , and consider the set of those vertices which are adjacent to no earlier vertex in the ordering.]
Fix an integer with dividing , and suppose that .
(i) Deduce that must contain an independent set of vertices.
(ii) Must contain an independent set of vertices?