Paper 1, Section II, F

Graph Theory
Part II, 2010

(a) Define the Ramsey number R(s)R(s). Show that for all integers s2s \geqslant 2 the Ramsey number R(s)R(s) exists and that R(s)4sR(s) \leqslant 4^{s}.

(b) For any graph GG, let R(G)R(G) denote the least positive integer nn such that in any red-blue colouring of the edges of the complete graph KnK_{n} there must be a monochromatic copy of GG.

(i) How do we know that R(G)R(G) exists for every graph GG ?

(ii) Let ss be a positive integer. Show that, whenever the edge of K2sK_{2 s} are red-blue coloured, there must be a monochromatic copy of the complete bipartite graph K1,sK_{1, s}.

(iii) Suppose ss is odd. By exhibiting a suitable colouring of K2s1K_{2 s-1}, show that R(K1,s)=2sR\left(K_{1, s}\right)=2 s.

(iv) Suppose instead ss is even. What is R(K1,s)?R\left(K_{1, s}\right) ? Justify your answer.