Paper 3, Section II, H

Graph Theory
Part II, 2017

Define the Ramsey numbers R(s,t)R(s, t) for integers s,t2s, t \geqslant 2. Show that R(s,t)R(s, t) exists for all s,t2s, t \geqslant 2. Show also that R(s,s)4sR(s, s) \leqslant 4^{s} for all s2s \geqslant 2.

Let t2t \geqslant 2 be fixed. Give a red-blue colouring of the edges of K2t2K_{2 t-2} for which there is no red KtK_{t} and no blue odd cycle. Show, however, that for any red-blue colouring of the edges of K2t1K_{2 t-1} there must exist either a red KtK_{t} or a blue odd cycle.