定理証明済み
定理 R(3, 3) = 6
内容
ラムゼー数 は に等しい。すなわち の辺の任意の 彩色は単色の を含み、一方で には単色の を含まない彩色が存在する。
なぜ正しいのか?
の1頂点は 個の隣接頂点を持ち、それを 色に分けると少なくとも 個が同じクラスに入る。その 頂点間に同色の辺が1本でもあればそれで三角形ができ、なければ逆の色の三角形ができる。
証明の概略
**ステップ1(上界 )。** の任意の頂点 をとる。v に接続する 本の辺は赤または青に塗られている。鳩の巣原理()により、少なくとも 本の辺が同じ色を持つ——辺 がすべて赤であるとする。
**ステップ2( での場合分け)。** 三角形 の内部の 本の辺を見る。もしそのうち1本——例えば ——が赤なら、 が赤の をなす。そうでなければ 本の辺 はすべて青であり、 自身が青の をなす。
**ステップ3(下界 )。** の頂点を でラベル付けする。 のとき辺 を赤、 のとき青に塗る。どちらの色クラスも三角形を含まない 長サイクルをなし、、ゆえに が示された。
この定理を使うトピック
ステップごとの証明
この定理のステップごとの証明はまだありません。
参考文献
- 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.)