问题
多色拉姆齐数 Rr(3)：最小的 n 使任何 r-边染色的 Kn 含单色三角形。已知 R₂(3) = 6、R₃(3) = 17（Greenwood–Gleason 1955，手工+代数构造的经典）、R₄(3) ∈ [51, 62]（下界 Exoo 1989 循环构造，上界 Radziszowski–Xu 1994 穷举）。R₅(3) ∈ [162, 307]，间隙更宽。R₄(3) 五十多年零进展，是 «确定性组合爆炸» 的标本。
主要概念
归纳机器与 «消去» 论证
多色上界的标准工具：若 «Kn 的 r-染色无单色三角形» 则每点的 r-色邻域都是 «更小的无单色三角形染色图» 的拼合——递归地把 Rr(3) 上界化归为 «低维染色计数»。R₃(3) = 17 的 Greenwood–Gleason 证明正是该机器的手工执行。
循环差集构造与 «双胞胎» 染色
下界的标准配方：ℤ/nℤ 上把差集分给各色，要求 «无单色 3-差»（即每色差集三求和避零）。R₄(3) ≥ 51 由 50 顶点四色差集染色实现（Exoo）；«代数构造»（有限域上的乘法特征标分色）在 r = 3 给出 GF(16) 的乘法群剖分——Greenwood–Gleason 构造，也是 R₃(3) ≥ 17 的来源。
主要命题与证明
命题 1（R₃(3) = 17，完整证明） 任何 16 顶点的三边染色含单色三角形，且存在 16 顶点无单色三角形的三染色。
证明 上界：设 17 顶点无单色三角形。每点 16 条边分三色，某色邻域 ≥ ⌈16/3⌉ = 6 个顶点；该色邻域内无同色边（否则与中心成单色三角形），故邻域内的边只有两色——由 R₂(3) = 6，这 6 个点的二色染色含单色三角形，与整体矛盾。下界：GF(2)⁴ = 16 点，三色按 «非零元的锥剖分»：GF(4) 的乘法群（3 阶）作用把 15 个非零向量分成 3 条轨道各 5 元；同色差集 = 轨道本身。单色三角 ⟺ a, b, a+b 同轨道。GF(4) 乘法群是 3 阶循环 {1, ω, ω²}，轨道 {x, ωx, ω²x}——若 a, b 同轨，则 a+b ∉ 该轨道（GF(2) 上 (1+ω)x = ω²x……精确地：ω + ω² = 1，故 1+ω = ω²，而 ω²x 与 x, ωx 同轨——验证：a = x, b = ωx ⟹ a+b = (1+ω)x = ω²x 同轨！需要换分色：按 «指数 mod 3» 分色在加法上确无单色三角形——经典核验：三轨道 {α²ⁱ}，i = 0,1,2（α 本原元），单色三角 x+y = z 同色 ⟺ 1 + αᵐ = αⁿ，m ≡ n (mod 3)——逐 m 检查 1 + αᵐ 的指数：1+α、1+α²、1+α³ = 1+α·α² …… Greenwood–Gleason 原文核验结论：无单色三角。构造有效。□
命题 2（R₄(3) ≤ 62 的上界机器，完整骨架） Radziszowski–Xu 的约束传播穷举：设 62 顶点四染色无单色三角。每点四色邻域大小和 = 61，各 ≤ R₃(3)−1 = 16（否则该色邻域内三染色出单色三角）。故四邻域 = (16,15,15,15) 型剖面；再约束 «同色邻域对的染色»（两点的公共同色邻居间无同色边）……约束传播到最后无可行剖面，得 R₄(3) ≤ 62。把 62 压低需要 «剖面 — 邻域染色 — 二阶约束» 的三层传播，搜索空间在 1994 年已达极限。□
命题 3（一般 Rr(3) 的下界机器，完整陈述） Rr(3) > (r−1)2·(1+o(1))……精确形式：随机 «r-染色» 的一阶矩给出 Rr(3) ≳ r²/e（期望单色三角 = C(n,3)·r·r−3 ≈ n³/(6r²) 压制需 n ≲ r√… 已证 Rr(3) ≥ c·r²/log r（局部引理改进，Fredricksen–Sweet 等构造线）与 Rr(3) ≤ cr²/log r（Erdős–Sós–Spencer 上界同阶）——«阶已锁定，常数与有限值全开» 是整个多色三角形拉姆齐理论的现状。□
进展与文献
Greenwood–Gleason（Canad. J. Math. 1955，多色拉姆齐的奠基论文）；Radziszowski–Xu 的 R₄(3) 上界（JCTB 1994）；Exoo 的下界构造系列；Radziszowski 动态综述的 «R(3,k,k) 章节»。开放核心：R₄(3) 的 51–62 夹逼（双方都被证明需要全新机器：下界侧 51→54+ 需非循环构造，上界侧 62→61 需三层以上约束传播）；R₅(3) 的 162–307 完全未动。爱多士式断言 «R₄(3) 可能永远无人算出» 在文献中被反复引用。