定理已证明
定理 R(3, 3) = 6
命题陈述
拉姆齐数 等于 :完全图 的任意 边染色都包含单色 ,而 存在不含单色 的染色。
为什么成立?
中任一顶点有 个邻点;分成 类则至少有 个同类,无论这 个顶点之间是否有该色边,都会产生单色三角形。
证明思路
**第一步(上界 )。** 任取 的一个顶点 。与 v 关联的 条边染成红色或蓝色。由抽屉原理(),至少有 条边同色——不妨设 全为红边。
**第二步(对 分类讨论)。** 考察 内部的 条边。若其中有一条——如 ——为红边,则 构成红色 ;否则 这 条边全为蓝边,于是 本身构成蓝色 。
**第三步(下界 )。** 用 标记 的顶点。当 时将边 染红,当 时染蓝。两种颜色类都构成不含三角形的 元环,从而 ,证得 。
用到此定理的主题
分步证明
该定理暂无分步证明。
参考文献
- 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.)