Multicolour Ramsey bound
ID: multicolour-ramsey-bound
Let be the least order of a complete graph whose every -edge-colouring has a monochromatic triangle in a graph. At a vertex of a graph of order , some colour joins at least neighbours. An edge of that colour among these neighbours completes a triangle; otherwise the neighbours use at most colours and contain a triangle by induction. This proves the recurrence and the weaker explicit bound .
New to topics? Read the docs here!