DOXA · 数学编年史 · 知识详情

拉姆齐定理

1930 | 拉姆齐离散·组合突破

任意染色中必含单色子结构 R(5,5) 精确值未知(43–48)
染色必含单色子结构

知识/定理

拉姆齐定理:任意大集合的染色中必含单色子结构——「完全的无序中包含秩序」。

公式

$\forall r,k$,存在 $R(k,k)$ 使 $K_n$ 的边 2-染色含单色 $K_k$;$R(5,5)$ 精确值未知(43–48)。

证明思路

(鸽巢+归纳)对顶点染色递归构造单色团。

应用/例子

组合学、计算机科学(鸽巢)、逻辑(拉姆齐类型定理)。

意义/影响

拉姆齐理论的开端;「结构中必有规律」的深刻洞见。

所属:九 20世纪上半叶 | 难题证明状态 ↔ 数学难题编年