新智元报导  

作者：马杰

修改：KingHZ 

1947年，，，，陶哲轩的伯乐Erd?s提出了组合数学中Ramsey数下界。。。。。

10岁的陶哲轩和Erd?s

最近，，，，海内的马杰等三位钻研职员联手带来了首次指数级改善。。。。。

他们宣布了一篇arxiv新论文展现了这一领域的惊人开展：

论文链接：https://arxiv.org/abs/2507.12926

数学家、核算机科学家Gil Kalai批注改善令人赞叹！

什么是Ramsey数？？

在近百年前，，，，英国逻辑学家Frank Ramsey就证实晰这样一个滑稽的定论：

在一个六人聚会中，，，，不管这六人之间的联系怎么，，，，总能找到三人相互相识，，，，或许三人互不相识。。。。。

Frank Ramsey（1903–1930）英年早逝，，，，年仅26岁。。。。。除了数学，，，，在哲学上，，，，他效果斐然，，，，被公以为二十世纪最主要和最具影响力的头脑家之一

这个简略而直观的例如，，，，正是Ramsey理论的最早雏形。。。。。

当图中的节点数目一直添加时，，，，图中就会泛起越来越杂乱的结构。。。。。而在整数序列中，，，，也会自然浮现出类似的有序形式。。。。。

荷兰数学家兼数学史学家Bartel Leendert van der Waerden以前证实：纵然是一组看似随机的整数，，，，也肯定会泛起某种等差数列结构。。。。。

这种征象提醒了Ramsey理论的中心头脑：

当元素数目知足多时，，，，某些有序形式的泛起将变得不可避免。。。。。也即是说，，，，杂乱之中也会自觉地爆发序次。。。。。

Ramsey数即是关于图论中有序形式：

Ramsey数用于权衡图论中图的妄想——图在变大到某个水平后，，，，某些特定的形式将不可避免地泛起。。。。。

例如，，，，将五个极点两两相连，，，，组成一个彻底图（即每个极点都与其他一切极点相连）。。。。。在五个极点的彻底图中，，，，咱们能够把每条边涂成红色或蓝色，，，，并且依然能够避免泛起三个极点之间的一切边色彩相同的状态。。。。。

但若是是六个极点，，，，不管怎么上色，，，，都会不可避免地泛起三个极点之间的边色彩相同的情形。。。。。

关于运用两种色彩，，，，并要求图中不泛起巨细为3的同色彻基础图（clique），，，，对应的Ramsey数R(3，，，，3)是6。。。。。上图标出了一个由三个极点组成的单色团。。。。。

换句话，，，，在一个聚会中，，，，能够包管其间三小我私家之前现已见过面，，，，而别的三小我私家相互都不知道，，，，最低只需要6小我私家。。。。。但若是将总数削减到五个，，，，这种确认性就会消逝。。。。。

国际级难题

可是，，，，数学家们发明，，，，要确认究竟在哪个点这些形式肯定会泛起，，，，也即是找到这个「临界阈值」，，，，极端难题。。。。。除了最简略的情形，，，，现在简直都无法准确核算出来。。。。。

 Ramsey数R(a，，，，b)的一些已知值

例如，，，，R(5,5)  是一个代表性的问题，，，，批注图中肯定会泛起红色或蓝色的五边形结构。。。。。其准确值仍未确认，，，，其时仅知其介于43和48之间。。。。。

在钻研Ramsey数的圈内，，，，撒播着一个广为人知的寓言，，，，通常被以'唐僧白龙动漫在线观看607;髅坟墓动漫在线观看为出自Erd?s，，，，用来形象地剖析这个问题的难度添加有何等迅猛。。。。。

寓言是这样的：

有一天，，，，外星人侵略地球。。。。。他们提出条件：只需人类能算出一个准确的Ramsey数，，，，他们就放过地球。。。。。 

若是他们问的是Ramsey数R（5，，，，5），，，，咱们应该马上发动整小我私家类文明的核算本领，，，，竭尽全力去求解它。。。。。

 但若是他们问的是R（6，，，，6）——那最好扬弃梦想，，，，准备斗争。。。。。

只管云云，，，，数学家仍一直考试推动上界和下界的收敛，，，，并在历程中探讨新的证实战略。。。。。

Erd?s与相助者曾首创性地用概率推断图中结构的泛起，，，，然后避免上界过大。。。。。这些步伐不但极大推动了数学，，，，也为算规则划带来了突破。。。。。

拉姆齐原理的魅力在于它的普适性：从数论到核算机科学，，，，从图论到逻辑学和几许学，，，，这一理论的深远影响简直遍布整个数学国际。。。。。

天才数学家的步伐

Erd?s，，，，匈牙利数学家，，，，1913年3月26日—1996年9月20日，，，，在数论和核算机科学等多个领域做出了主要贡献。。。。。

Erd?s，，，，中文名全称为埃尔德什·帕尔，，，，原名Erd?s Pál，，，，英语名Paul Erd?s。。。。。他宣布论文高达1525篇（包括与人合写的），，，，是现在宣布论文数最多的数学家（其次是欧拉）；；；；；；曾和511人合写论文。。。。。

Erd?s乐成的要害公式：数学家+数学家+数学家=更多、更好的数学

1947年，，，，Erd?s提出的最先下界是经由随机染色Kn获得的：每条边以概率p被染成红色，，，，其他状态下染成蓝色。。。。。

论文链接：https://www.ams.org/journals/bull/1947-53-04/S0002-9904-1947-08785-1/S0002-9904-1947-08785-1.pdf

Erd?s步伐预算Ramsey数的技巧分为5大步：

（1）假定从一个包括10个极点的彻底图启航。。。。。若是咱们用3种色彩（例如红、蓝、黄）随机为每条边染色，，，，那么图中是否总会泛起5个极点，，，，其间的10条边都被染成相同色彩？？

（2）每条边被染成红色的概率是1/3。。。。。

（3）因而，，，，10条边都恰恰为红色的概率是 (1/3)??。。。。。

（4）由于咱们有3种色彩，，，，任何一种都或许组成一个单色团(clique)。。。。。

（5）而10个极点中或许组成的5-点子集（也即是5-点团）共有252种组合步伐。。。。。

以是，，，，泛起恣意色彩的5点单色团的整体概率不逾越：(1/3)??×3×252小于1。。。。。

上图中高亮展现了一个知足该条件的红色子图：由5个极点和10条红色边组成的红色团（彻基础图）。。。。。

这即是所谓的并集界（union bound）：它预算的是在随机染色下天生单色团的或许性。。。。。由于这个值小于1，，，，意味着在某些状态下，，，，10个极点的图能够**不包括**恣意色彩的 5 点单色团。。。。。

以是咱们能够得出定论：这个Ramsey数（批注5点单色团肯定泛起的最小极点数）肯定大于10。。。。。

继续的应战

Erd?s等人几十年条件出的概率步伐，，，，依据随机图中泛起目的结构的或许性，，，，并连系一些数学正义，，，，得出较为合理的上界。。。。。这一思绪不但乐成运行了近百年，，，，还推动了算法中随机性运用的开展。。。。。

马里兰大学核算机科学教授William Gasarch指出，，，，这些概率手艺现已被用于网络路由算法，，，，以及理论核算机科学的中心问题中。。。。。

路由算法能够在多个节点间随机挑选途径，，，，然后避免穷举整个网骷髅坟墓动&唐僧白龙动漫在线观看#28459;在线观看络来寻觅最优结构。。。。。

1980年月前期，，，，清华「姚班之父」、图灵奖得主姚期智证实晰，，，，在数据表抵达肯定巨细后，，，，其行有须要举行排序，，，，本领避免造访功率的下降，，，，这也是Ramsey理论在核算机使用中的一个典范实例。。。。。

可是，，，，数学家们逐步意识到，，，，质朴的概率步伐保存限制。。。。。这增进他们转向新的步伐：结构遵从清晰规则的图结构，，，，以人为避免某些clique的泛起，，，，直到其变得不可避免。。。。。与彻底依赖随机历程较量，，，，这种结构步伐在某些情境下或许更有用。。。。。

三十多年前，，，，普林斯顿大学数学教授Noga Alon提出了一种确认性结构无三角形图（triangle-free graph）的步伐，，，，取得了乐成。。。。。但更大妄想图的结构仍缺少牢靠牢靠的手法，，，，因而随机天生仍是其时最有用的工具。。。。。

Mattheus与Verstraete依附有限几许中的工具，，，，对 R(4,t) 的上界举行了深入钻研。。。。。他们想法从初始伪随机图中除掉一切四节点clique，，，，并在此基础上结构了一个证实，，，，展现了随着t的添加，，，，其上界怎么添加。。。。。

论文链接：https://arxiv.org/abs/2306.04007

2023年，，，，数学家Gil Kalai介绍过其时取得的最新效果。。。。。

链接：https://gilkalai.wordpress.com/2023/03/16/some-news-from-a-seminar-in-cambridge/

今年5月，，，，Marcelo Campos、Simon Griffiths、Robert Morris和Julian Sahasrabudhe证实晰R(3，，，，k)指数级的改善。。。。。

论文链接：https://arxiv.org/abs/2505.13371

而关于更一样平常的Ramsey数的下界，，，，最佳纪录是1974年Joel  Spencer提出的。。。。。

论文链接：https://www.sciencedirect.com/science/article/pii/0097316575900710

逾越Ramsey理论

由 Jie Ma、Wujie Shen和Shengjie Xie编撰的论文中引进并钻研了一类几许随机图模子。。。。。这类模子自身就具有较高的钻研价值，，，，以致凌驾了Ramsey理论的领域。。。。。

正如作者所指出的，，，，现在仍无法确认在C=1的状态下是否能取得比 Erd?s 1947年结构更优的下界。。。。。

钻研当C→1时的状态以及?怎么依赖于C，，，，也是一个滑稽的问题。。。。。

咱们是否能逾越Erd?s前期结构，，，，依然是一个悬而未决的问题。。。。。

数学家、核算机科学家Gil Kalai批注：论文中所思量的随机模子令人形象深入。。。。。

在d维球面上随机挑选n个点。。。。。

设置一个阈值，，，，并依据两点之间的距离是否低于该阈值，，，，将它们之间的边染色为蓝色或红色。。。。。

阈值的挑选使得边是红色的概率为p（因而边是蓝色的概率为1-p）。。。。。

这一模子与Erd?s–Rényi模子 G(n,p) 有些类似，，，，但添加了巧妙的相互依赖性。。。。。与G(n,p)模子较量，，，，这些纤细的依赖联系导致红色和蓝色大团的预期数目（或仅是概率）削减，，，，怎么相识这一机制将是一个滑稽的课题。。。。。

论文的要害贡献在于杂乱的剖析历程，，，，触及挑选维度d以及核算最大红色和蓝色团的巨细。。。。。

参考资料： 

https://gilkalai.wordpress.com/2025/07/23/amazing-jie-ma-wujie-shen-and-shengjie-xie-gave-an-exponential-improvement-for-ramsey-lower-bounds/ 

https://arxiv.org/pdf/2507.12926 

https://www.quantamagazine.org/after-nearly-a-century-a-new-limit-for-patterns-in-graphs-20230502/ 

https://www.quantamagazine.org/new-math-proof-raises-lower-bounds-of-graph-randomness-20201104/ 

https://cacm.acm.org/news/the-secret-of-ramsey-numbers/ 

本文来自微信公共号“新智元”，，，，作者：新智元，，，，36氪经授权宣布。。。。。