Exact evaluation R(3, 3) = 6
Statement
The Ramsey number equals : every -coloring of the edges of contains a monochromatic , while admits a coloring with no monochromatic .
Why is it true?
A single vertex in has neighbors; splitting them into colors puts at least in the same class, and whether those have an edge of that color among themselves or not, a monochromatic triangle appears.
Proof sketch
**Step 1 (upper bound ).** Pick any vertex of . Its incident edges are colored red or blue. By the pigeonhole principle (), at least of these edges have the same color — say edges are all red.
**Step 2 (case split on ).** Look at the edges inside the triangle . If any one of them — say — is red, then is a red . Otherwise all edges are blue, so itself is a blue .
**Step 3 (lower bound ).** Label the vertices of by . Color edge red if and blue if . Both color classes form a -cycle, triangle-free, proving and hence .
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.
References
- Marcelo Campos, Simon Griffiths, Robert Morris, Julian Sahasrabudhe (2023). An exponential improvement for diagonal Ramsey · arXiv:2303.09521
- Sam Mattheus, Jacques Verstraëte (2024). The asymptotics of r(4,t) · DOI:10.4007/annals.2024.199.2.8
- Ronald L. Graham, Bruce L. Rothschild, Joel H. Spencer (1990). Ramsey Theory (2nd ed.)