SDE Universes·新思想前沿›数学与逻辑
新思想前沿 · 极值、随机结构与构造

组合与图论

近二十年与经典层 · 两幕 20 个新思想 ＋ 20 个经典思想 · 约 36,177 字 · 王德生 亲撰 · 2026 年 8 月

组合数学的近二十年转向与 1950—2006 年经典思想在同一页对读：现代层说明新证据怎样改写问题，经典层倒查旧前提由谁、用什么材料建立。四十条均保留来源、边界、量纲、失效与异名接口；经典二十条逐一回指上文，不把年代久远误当成结论仍然有效。

【第一幕】上一个十年 · 约 2006–2016 · 八条奠基转向

甲、多项式方法：一页纸解决有限域 Kakeya

提出Dvir, On the size of Kakeya sets in finite fields, Journal of the AMS 22 (2009): 1091–1097。　争议与 Keevash, The existence of designs, Annals of Mathematics 177 (2018): 1–102 的对象边界或反例路线对读。　最新Park & Pham, A proof of the Kahn–Kalai conjecture, Journal of the AMS 37 (2024): 235–243。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕本条，旧账的堵点是：2008 年，一个此前被认为很难的问题在不到两页里被解决：把点集用一个次数受控的多项式围住，再用代数的零点计数得出结论。这就是后来被称作多项式方法的做法。 早期论证常把成功对象当成全体，让本条的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。

本条这里只锁定一个因素：结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进本条的同一解释；若第三方只能复述本条结果却不能重做变换，所谓迁移就尚未发生。第 53 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

本条的硬证据由 2009 年前后的原始工作给出：两年后，同一思路的升级版解决了平面上相异距离的下界这一悬置六十余年的问题。外来结构的引入，一次性把一批组合问题降了难度。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Dvir, On the size of Kakeya sets in finite fields, Journal of the AMS 22 (2009): 1091–1097。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

本条最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满本条分母，新障碍就会迟到。反例对本条可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。本条再核一次：2009 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

让本条成为公共工艺，需要样例留版本、本条依赖树可追踪、计算带证书、参数保留原始记录。本条进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条在 2026 年与第 53 号《现代密码学》的证据边界、又与第 297 号《科技政策与科研管理》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置E——它把“多项式方法的定义、变换与边界”当成单独够用的那一样　单因决定多项式方法能否迁移的只有结论是否在公开边界内可复算　预设〔04 测量不改变被测对象〕多项式方法在已发表样本上的方向可以代表全部候选对象　量纲在多项式方法的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，多项式方法的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2009 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在多项式方法中产生阴性结果的对象　异名第 53 号《现代密码学》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

乙、加性组合成型

提出Green & Tao, An inverse theorem for the Gowers U3 norm, Proceedings of the Edinburgh Mathematical Society 51 (2008): 73–153。　争议与 Park & Pham, A proof of the Kahn–Kalai conjecture, Journal of the AMS 37 (2024): 235–243 的对象边界或反例路线对读。　最新Campos et al., Diagonal Ramsey numbers: revised 2024 manuscript (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

本条改变的不是术语外壳，而是旧问题的入账方式：在素数中的算术级数之后，加性组合迅速长成一个有自己工具箱的分支：结构与随机性的分解、逆定理、稠密集合中的模式。它同时向解析数论与遍历论输出。 若仍用单个定理、单台器件或单批数据结算，本条之外的反例会被成功叙事自动删去。这里把本条的对象范围、操作步骤和例外集合分别立账。

对本条只提出一条单因主张：公开边界内可以独立复算，才允许把本条方法搬到下一类对象。声望与经费只作环境量；如果本条离开原作者补充就不能运行，结论仍是一次性工艺。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条的硬证据由 2008 年前后的原始工作给出：这一时期还确立了一条至今有效的经验：组合里的困难多半出在稀疏情形，而稀疏正是这些工具擅长的地方。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Green & Tao, An inverse theorem for the Gowers U3 norm, Proceedings of the Edinburgh Mathematical Society 51 (2008): 73–153。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

对本条的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起本条效果。若本条越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。本条再核一次：2008 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

本条要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审本条要询问谁进入分母、谁能独立重跑、本条一次修订耗时多少；2025 年更新不因更晚就自动更强。第 297 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条在 2026 年与第 297 号《科技政策与科研管理》的证据边界、又与第 301 号《泛函分析与算子代数》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置S——它把“加性组合成型的定义、变换与边界”当成单独够用的那一样　单因决定加性组合成型能否迁移的只有结论是否在公开边界内可复算　预设〔04 测量不改变被测对象〕加性组合成型在已发表样本上的方向可以代表全部候选对象　量纲在加性组合成型的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，加性组合成型的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2008 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在加性组合成型中产生阴性结果的对象　异名第 297 号《科技政策与科研管理》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

丙、正则性、图极限与半自动化

提出Lovász & Szegedy, Limits of dense graph sequences, Journal of Combinatorial Theory B 96 (2006): 933–957。　争议与 Campos, Griffiths, Morris & Sahasrabudhe, An exponential improvement for diagonal Ramsey, 2023 preprint 的对象边界或反例路线对读。　最新Kwan et al., Random designs and absorption, 2025 research update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在本条这条线上，过去卡住的是：把大图看成一个连续对象（图极限）使极值问题可以用分析语言表述；同期出现的旗代数方法把一类极值问题化为半定规划，由计算机给出接近最优的界。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的本条必须让三类记录同时可见。

本条的决定变量被压到一项：对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释本条的正确性；若本条增加抽象层级却减少可重做者，接口扩张就没有被证成。本条再核一次：2006 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

本条的硬证据由 2006 年前后的原始工作给出：这是机器第一次在组合学里承担实质工作——注意它承担的是证明中的优化步骤，而不是这十年那样直接给出更好的构造。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Lovász & Szegedy, Limits of dense graph sequences, Journal of Combinatorial Theory B 96 (2006): 933–957。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

本条最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满本条分母，新障碍就会迟到。反例对本条可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

让本条成为公共工艺，需要样例留版本、本条依赖树可追踪、计算带证书、参数保留原始记录。本条进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。第 301 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

本条在 2026 年与第 301 号《泛函分析与算子代数》的证据边界、又与第 302 号《调和分析》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置D——它把“正则性、图极限与半自动化的定义、变换与边界”当成单独够用的那一样　单因决定正则性、图极限与半自动化能否迁移的只有结论是否在公开边界内可复算　预设〔04 测量不改变被测对象〕正则性、图极限与半自动化在已发表样本上的方向可以代表全部候选对象　量纲在正则性、图极限与半自动化的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，正则性、图极限与半自动化的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2006 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在正则性、图极限与半自动化中产生阴性结果的对象　异名第 301 号《泛函分析与算子代数》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

丁、容器法把稀疏问题一次性打开

提出Balogh, Morris & Samotij, Independent sets in hypergraphs, Journal of the AMS 28 (2015): 669–709。　争议与 Razborov, Flag algebras, Journal of Symbolic Logic 72 (2007): 1239–1282 的对象边界或反例路线对读。　最新Park & Pham, A proof of the Kahn–Kalai conjecture, Journal of the AMS 37 (2024): 235–243。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解本条要先拆一个旧混合量：2010 年代前期出现的假设容器方法，证明了「几乎所有无某结构的集合都被少数几个容器覆盖」，从而把大量稠密情形的结论一次性搬到稀疏随机情形。 原体例把发现、证明与推广写在同一行，导致本条究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。

本条只把‘边界内可复算’视为单独够用的条件，不让规模、作者数或期刊级别代替本条。只要本条的定义域和失败域不能由外部研究者重建，本条即按未完成处理。本条再核一次：2015 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条的硬证据由 2015 年前后的原始工作给出：它与上一条一起解释了这个分支的形态：每隔几年出现一个通用引理，然后一批老问题被连着解决。 容器法解决的是一类共同困难：许多问题要数出不含某种结构的集合有多少，而这类集合数量庞大且分布零散。容器法证明它们都能被少量容器覆盖，每个容器本身几乎不含该结构，于是计数与随机版本的极值问题被一次性打开。

对本条的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起本条效果。若本条越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

本条要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审本条要询问谁进入分母、谁能独立重跑、本条一次修订耗时多少；2025 年更新不因更晚就自动更强。第 302 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条在 2026 年与第 302 号《调和分析》的证据边界、又与第 303 号《复分析与复几何》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置E——它把“容器法把稀疏问题一次性打开的定义、变换与边界”当成单独够用的那一样　单因决定容器法把稀疏问题一次性打开能否迁移的只有结论是否在公开边界内可复算　预设〔08 缺失即不存在〕容器法把稀疏问题一次性打开在已发表样本上的方向可以代表全部候选对象　量纲在容器法把稀疏问题一次性打开的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，容器法把稀疏问题一次性打开的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2015 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在容器法把稀疏问题一次性打开中产生阴性结果的对象　异名第 302 号《调和分析》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

戊、极值图论与稀疏化

提出Saxton & Thomason, Hypergraph containers, Inventiones Mathematicae 201 (2015): 925–992。　争议与 Keevash & Mycroft, A geometric theory for hypergraph matching, Memoirs of the AMS 233 (2015): 1–95 的对象边界或反例路线对读。　最新Campos et al., Diagonal Ramsey numbers: revised 2024 manuscript (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕本条，旧账的堵点是：同期另一条主线是把稠密图的经典结论搬到稀疏情形：稀疏正则性引理、随机图上的 Turán 型结论、以及图的稀疏化（用少量带权边近似整张图的谱性质）。 早期论证常把成功对象当成全体，让本条的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。

本条这里只锁定一个因素：结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进本条的同一解释；若第三方只能复述本条结果却不能重做变换，所谓迁移就尚未发生。第 303 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条的硬证据由 2015 年前后的原始工作给出：稀疏化这条线随后被计算机科学整个吸收，成为快速图算法的标准部件。组合学的定理常常先在自己家里成立，再以工程组件的身份出现在别的领域——这十年的伪随机构造与扩张图同样如此。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Saxton & Thomason, Hypergraph containers, Inventiones Mathematicae 201 (2015): 925–992。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

本条最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满本条分母，新障碍就会迟到。反例对本条可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。本条再核一次：2015 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

让本条成为公共工艺，需要样例留版本、本条依赖树可追踪、计算带证书、参数保留原始记录。本条进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条在 2026 年与第 303 号《复分析与复几何》的证据边界、又与第 304 号《可计算性与递归论》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置S——它把“极值图论与稀疏化的定义、变换与边界”当成单独够用的那一样　单因决定极值图论与稀疏化能否迁移的只有结论是否在公开边界内可复算　预设〔08 缺失即不存在〕极值图论与稀疏化在已发表样本上的方向可以代表全部候选对象　量纲在极值图论与稀疏化的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，极值图论与稀疏化的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2015 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在极值图论与稀疏化中产生阴性结果的对象　异名第 303 号《复分析与复几何》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

己、计算机在组合里的两种角色

提出Conlon & Gowers, Combinatorial theorems in sparse random sets, Annals of Mathematics 184 (2016): 367–454。　争议与 Rödl, Ruciński & Szemerédi, A Dirac-type theorem for 3-uniform hypergraphs, Combinatorics, Probability and Computing 15 (2006): 229–251 的对象边界或反例路线对读。　最新Kwan et al., Random designs and absorption, 2025 research update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

本条改变的不是术语外壳，而是旧问题的入账方式：这一时期计算机在组合中承担两件不同的事：一是穷举与验证（如若干小规模拉姆齐数与设计的存在性由机器判定），二是把极值问题转成半定规划由求解器给界。 若仍用单个定理、单台器件或单批数据结算，本条之外的反例会被成功叙事自动删去。这里把本条的对象范围、操作步骤和例外集合分别立账。

对本条只提出一条单因主张：公开边界内可以独立复算，才允许把本条方法搬到下一类对象。声望与经费只作环境量；如果本条离开原作者补充就不能运行，结论仍是一次性工艺。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条的硬证据由 2016 年前后的原始工作给出：两者的共同点是机器做的是可被独立复核的机械步骤，而人负责提出结构。这条分工在这十年被改写了一次——机器开始给出构造本身，而人负责写检验器。改写之所以可能，恰恰因为组合学的答案是有限对象、可以被自动打分。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Conlon & Gowers, Combinatorial theorems in sparse random sets, Annals of Mathematics 184 (2016): 367–454。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

对本条的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起本条效果。若本条越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。本条再核一次：2016 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

本条要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审本条要询问谁进入分母、谁能独立重跑、本条一次修订耗时多少；2025 年更新不因更晚就自动更强。第 304 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条在 2026 年与第 304 号《可计算性与递归论》的证据边界、又与第 306 号《生物统计学》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置D——它把“计算机在组合里的两种角色的定义、变换与边界”当成单独够用的那一样　单因决定计算机在组合里的两种角色能否迁移的只有结论是否在公开边界内可复算　预设〔08 缺失即不存在〕计算机在组合里的两种角色在已发表样本上的方向可以代表全部候选对象　量纲在计算机在组合里的两种角色的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，计算机在组合里的两种角色的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2016 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在计算机在组合里的两种角色中产生阴性结果的对象　异名第 304 号《可计算性与递归论》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

庚、有限域 cap-set：切片秩把指数底数打下来The Cap-Set Breakthrough

提出Rödl, Ruciński & Szemerédi, A Dirac-type theorem for 3-uniform hypergraphs, Combinatorics, Probability and Computing 15 (2006): 229–251。　争议与 Tao, Higher order Fourier analysis, AMS Graduate Studies 142 (2012) 的对象边界或反例路线对读。　最新Park & Pham, A proof of the Kahn–Kalai conjecture, Journal of the AMS 37 (2024): 235–243。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在本条这条线上，过去卡住的是：Ellenberg–Gijswijt 用多项式与切片秩把三项等差自由集的上界从渐近未知压到 c^n 且 c<3。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的本条必须让三类记录同时可见。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条的决定变量被压到一项：对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释本条的正确性；若本条增加抽象层级却减少可重做者，接口扩张就没有被证成。本条再核一次：2006 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

本条的硬证据由 2006 年前后的原始工作给出：比较的是最大集大小／3^n；指数底从 3 降到约 2.756，方向不是小常数改良。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Rödl, Ruciński & Szemerédi, A Dirac-type theorem for 3-uniform hypergraphs, Combinatorics, Probability and Computing 15 (2006): 229–251。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

本条最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满本条分母，新障碍就会迟到。反例对本条可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条还应公开最小复算材料；材料不足时，本条的引用增长只测传播，不测正确性或可迁移性。

让本条成为公共工艺，需要样例留版本、本条依赖树可追踪、计算带证书、参数保留原始记录。本条进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。第 306 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。把本条放回全部对象族后，要比较中心情形与尾部情形；若两端反号，本条结论只保留局部版本。

本条在 2026 年与第 306 号《生物统计学》的证据边界、又与第 307 号《贝叶斯统计与计算》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置E——它把“有限域 cap-set的定义、变换与边界”当成单独够用的那一样　单因决定有限域 cap-set能否迁移的只有结论是否在公开边界内可复算　预设〔11 可复现＝可重做〕有限域 cap-set在已发表样本上的方向可以代表全部候选对象　量纲在有限域 cap-set的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，有限域 cap-set的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2006 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在有限域 cap-set中产生阴性结果的对象　异名第 306 号《生物统计学》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

辛、设计存在性：随机贪心与吸收法拼出精确分解Existence of Combinatorial Designs

提出Tao, Higher order Fourier analysis, AMS Graduate Studies 142 (2012)。　争议与 Fox, A new proof of the graph removal lemma, Annals of Mathematics 174 (2011): 561–579 的对象边界或反例路线对读。　最新Campos et al., Diagonal Ramsey numbers: revised 2024 manuscript (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解本条要先拆一个旧混合量：Keevash 证明足够大且满足整除条件的参数都有设计，把 150 年存在问题统一收口。 原体例把发现、证明与推广写在同一行，导致本条究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条只把‘边界内可复算’视为单独够用的条件，不让规模、作者数或期刊级别代替本条。只要本条的定义域和失败域不能由外部研究者重建，本条即按未完成处理。本条再核一次：2012 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。本条还应公开最小复算材料；材料不足时，本条的引用增长只测传播，不测正确性或可迁移性。

本条的硬证据由 2012 年前后的原始工作给出：覆盖次数、每个 t-子集出现 λ 次的偏差／目标 λ、未覆盖边比例是三个阶段读数。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Tao, Higher order Fourier analysis, AMS Graduate Studies 142 (2012)。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

对本条的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起本条效果。若本条越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。

本条要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审本条要询问谁进入分母、谁能独立重跑、本条一次修订耗时多少；2025 年更新不因更晚就自动更强。第 307 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条在 2026 年与第 307 号《贝叶斯统计与计算》的证据边界、又与第 308 号《实验设计与抽样调查》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置S——它把“设计存在性的定义、变换与边界”当成单独够用的那一样　单因决定设计存在性能否迁移的只有结论是否在公开边界内可复算　预设〔11 可复现＝可重做〕设计存在性在已发表样本上的方向可以代表全部候选对象　量纲在设计存在性的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，设计存在性的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2012 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在设计存在性中产生阴性结果的对象　异名第 307 号《贝叶斯统计与计算》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目
【第二幕】这十年 · 约 2016–2026 · 十二条重构与清算

一、拉姆齐：九十年的第一次

提出Ellenberg & Gijswijt, On large subsets of F_q^n with no three-term arithmetic progression, Annals of Mathematics 185 (2017): 339–343。　争议与 Morris, Saxton & Balogh, The number of maximal sum-free subsets of integers, Proceedings of the AMS 143 (2015): 4713–4721 的对象边界或反例路线对读。　最新Kwan et al., Random designs and absorption, 2025 research update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕离散壬项，旧账的堵点是：拉姆齐数问的是：多大的图才能保证出现指定大小的单色团。1935 年给出的上界是四的 k 次方，此后近九十年，所有改进都只动了指数上的低阶项，底数四纹丝不动。 早期论证常把成功对象当成全体，让离散壬项的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。

离散壬项这里只锁定一个因素：结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进离散壬项的同一解释；若第三方只能复述离散壬项结果却不能重做变换，所谓迁移就尚未发生。第 308 号批外证据提醒：离散壬项缺失对象不是零值；它未进入离散壬项账本，遗漏率须随主结果发表。离散壬项定义更精细若伴随复核人数下降，就不能把离散壬项层级增加写成可靠性增加；两条趋势分开画线。

离散壬项的硬证据由 2017 年前后的原始工作给出：2023 年 3 月，一篇论文把上界改进为「四减去某个正常数」的 k 次方——第一次指数级的改进。方法上的关键是一种被称作「书」的结构与逐步构造的算法式论证，而不是全新的理论。 此后的两年里，这个结果被反复简化与优化：出现了显著更短的证明，底数被压到更小，方法被推广到多色与非对角情形；

离散壬项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满离散壬项分母，新障碍就会迟到。反例对离散壬项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。离散壬项再核一次：2017 年分母若换成离散壬项全部候选对象，方向必须重算；未满足离散壬项条件的对象逐项留下。

让离散壬项成为公共工艺，需要样例留版本、离散壬项依赖树可追踪、计算带证书、参数保留原始记录。离散壬项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。离散壬项与 2024–2026 年更新分开登记；晚近材料不能覆盖离散壬项旧边界，离散壬项来源层级也不能混写。离散壬项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续离散壬项路线也知道哪里走不通。

离散壬项在 2026 年与第 308 号《实验设计与抽样调查》的证据边界、又与第 309 号《时间序列与预测方法》的尺度转换相撞。两边共享‘表示越精细越可靠’，离散壬项却警告核验者会随层级上升而减少；应比较离散壬项可复算对象／全部候选对象。离散壬项外推要报告复算成功对象／全部尝试对象；只列成功会把离散壬项失败分母压零，方向随即失真。

位置D——它把“拉姆齐的定义、变换与边界”当成单独够用的那一样　单因决定拉姆齐能否迁移的只有结论是否在公开边界内可复算　预设〔11 可复现＝可重做〕拉姆齐在已发表样本上的方向可以代表全部候选对象　量纲在拉姆齐的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，拉姆齐的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝离散壬项在 2017 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在拉姆齐中产生阴性结果的对象　异名第 308 号《实验设计与抽样调查》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

二、阈值：几页纸解决的猜想

提出Keevash, The existence of designs, Annals of Mathematics 177 (2018): 1–102。　争议与 Kwan, Sah, Sawhney & Simkin, High-dimensional permutations and designs, 2022 preprint 的对象边界或反例路线对读。　最新Park & Pham, A proof of the Kahn–Kalai conjecture, Journal of the AMS 37 (2024): 235–243。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

离散癸项改变的不是术语外壳，而是旧问题的入账方式：随机图有一个基本现象：当边的概率越过某个阈值，某种结构（如完美匹配、哈密顿圈）会突然几乎必然出现。有一个猜想断言，这个阈值与一个容易计算的下界之间只差一个对数因子。 若仍用单个定理、单台器件或单批数据结算，离散癸项之外的反例会被成功叙事自动删去。这里把离散癸项的对象范围、操作步骤和例外集合分别立账。

对离散癸项只提出一条单因主张：公开边界内可以独立复算，才允许把离散癸项方法搬到下一类对象。声望与经费只作环境量；如果离散癸项离开原作者补充就不能运行，结论仍是一次性工艺。离散癸项与 2024–2026 年更新分开登记；晚近材料不能覆盖离散癸项旧边界，离散癸项来源层级也不能混写。离散癸项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续离散癸项路线也知道哪里走不通。

离散癸项的硬证据由 2018 年前后的原始工作给出：2022 年，两位研究者用几页纸给出了证明。论证的核心是一个巧妙的覆盖构造与随机化选择，几乎不依赖问题的具体结构。 这个结果的实用意义很大：它把大量原本需要逐个费力估计的阈值问题，变成了一次简单的计算。而它的方法论意义在于印证了这十年的模式——真正的障碍常常是视角，而不是技术难度。

对离散癸项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起离散癸项效果。若离散癸项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。离散癸项再核一次：2018 年分母若换成离散癸项全部候选对象，方向必须重算；未满足离散癸项条件的对象逐项留下。

离散癸项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审离散癸项要询问谁进入分母、谁能独立重跑、离散癸项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 309 号批外证据提醒：离散癸项缺失对象不是零值；它未进入离散癸项账本，遗漏率须随主结果发表。

离散癸项在 2026 年与第 309 号《时间序列与预测方法》的证据边界、又与第 310 号《空间统计与地理统计》的尺度转换相撞。两边共享‘表示越精细越可靠’，离散癸项却警告核验者会随层级上升而减少；应比较离散癸项可复算对象／全部候选对象。离散癸项外推要报告复算成功对象／全部尝试对象；只列成功会把离散癸项失败分母压零，方向随即失真。

位置E——它把“阈值的定义、变换与边界”当成单独够用的那一样　单因决定阈值能否迁移的只有结论是否在公开边界内可复算　预设〔13 时间尺度可自由压缩〕阈值在已发表样本上的方向可以代表全部候选对象　量纲在阈值的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，阈值的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝离散癸项在 2018 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在阈值中产生阴性结果的对象　异名第 309 号《时间序列与预测方法》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

三、熵方法

提出Park & Pham, A proof of the Kahn–Kalai conjecture, Journal of the AMS 37 (2024): 235–243。　争议与 Bucić, Letzter & Sudakov, Directed Ramsey problems, Journal of the LMS 108 (2023): 1485–1512 的对象边界或反例路线对读。　最新Campos et al., Diagonal Ramsey numbers: revised 2024 manuscript (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在离散子项这条线上，过去卡住的是：第三个例子来自一个关于并封闭集族的老猜想：若一个集族对并运算封闭，是否总有某个元素出现在至少一半的成员中。四十余年里，连「出现在某个固定正比例的成员中」都无人能证。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的离散子项必须让三类记录同时可见。

离散子项的决定变量被压到一项：对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释离散子项的正确性；若离散子项增加抽象层级却减少可重做者，接口扩张就没有被证成。离散子项再核一次：2024 年分母若换成离散子项全部候选对象，方向必须重算；未满足离散子项条件的对象逐项留下。

离散子项的硬证据由 2024 年前后的原始工作给出：2022 年底，一位研究者用信息论的语言给出了一个常数——把集合族随机化，估计相关随机变量的熵，从而得到下界。虽然离二分之一还远，但它第一次证明了正比例的存在，此后几周内被多人独立改进到更好的常数。 熵方法这十年在组合中反复奏效：容斥与计数被换成了对信息量的估计，而后者往往对结构的依赖更少。

离散子项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满离散子项分母，新障碍就会迟到。反例对离散子项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。离散子项与 2024–2026 年更新分开登记；晚近材料不能覆盖离散子项旧边界，离散子项来源层级也不能混写。离散子项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续离散子项路线也知道哪里走不通。

让离散子项成为公共工艺，需要样例留版本、离散子项依赖树可追踪、计算带证书、参数保留原始记录。离散子项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。第 310 号批外证据提醒：离散子项缺失对象不是零值；它未进入离散子项账本，遗漏率须随主结果发表。

离散子项在 2026 年与第 310 号《空间统计与地理统计》的证据边界、又与第 311 号《原子分子与光物理》的尺度转换相撞。两边共享‘表示越精细越可靠’，离散子项却警告核验者会随层级上升而减少；应比较离散子项可复算对象／全部候选对象。离散子项外推要报告复算成功对象／全部尝试对象；只列成功会把离散子项失败分母压零，方向随即失真。

位置S——它把“熵方法的定义、变换与边界”当成单独够用的那一样　单因决定熵方法能否迁移的只有结论是否在公开边界内可复算　预设〔13 时间尺度可自由压缩〕熵方法在已发表样本上的方向可以代表全部候选对象　量纲在熵方法的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，熵方法的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝离散子项在 2024 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在熵方法中产生阴性结果的对象　异名第 310 号《空间统计与地理统计》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

四、机器给出了更好的构造

提出Campos, Griffiths, Morris & Sahasrabudhe, An exponential improvement for diagonal Ramsey, 2023 preprint。　争议与 Heule, Kullmann & Marek, Solving and verifying the Boolean Pythagorean triples problem, SAT Proceedings (2016): 228–245 的对象边界或反例路线对读。　最新Kwan et al., Random designs and absorption, 2025 research update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解离散丑项要先拆一个旧混合量：组合学的另一半是构造：找到尽可能好的例子。这十年出现了一件新事——用大语言模型驱动的程序搜索，产出了若干超过人类此前最好构造的例子，其中包括一个著名的上限集问题上的改进，以及若干装填与几何组合问题上的新纪录。 原体例把发现、证明与推广写在同一行，导致离散丑项究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。

离散丑项只把‘边界内可复算’视为单独够用的条件，不让规模、作者数或期刊级别代替离散丑项。只要离散丑项的定义域和失败域不能由外部研究者重建，本条即按未完成处理。离散丑项再核一次：2023 年分母若换成离散丑项全部候选对象，方向必须重算；未满足离散丑项条件的对象逐项留下。离散丑项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续离散丑项路线也知道哪里走不通。

离散丑项的硬证据由 2023 年前后的原始工作给出：机制值得说清：机器并不证明定理，它生成的是「构造这个例子的程序」，由确定性的检验器打分，再迭代改进。也就是说，它的产出可以被完全独立地验证——这与需要人来判断的领域完全不同。 组合学之所以成为这类方法最早见效的地方，正是因为它的许多问题满足三个条件：答案是一个可以写下的有限对象、好坏可以自动打分、搜索空间大到。

对离散丑项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起离散丑项效果。若离散丑项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。离散丑项与 2024–2026 年更新分开登记；晚近材料不能覆盖离散丑项旧边界，离散丑项来源层级也不能混写。

离散丑项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审离散丑项要询问谁进入分母、谁能独立重跑、离散丑项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 311 号批外证据提醒：离散丑项缺失对象不是零值；它未进入离散丑项账本，遗漏率须随主结果发表。

离散丑项在 2026 年与第 311 号《原子分子与光物理》的证据边界、又与第 315 号《表面与界面物理》的尺度转换相撞。两边共享‘表示越精细越可靠’，离散丑项却警告核验者会随层级上升而减少；应比较离散丑项可复算对象／全部候选对象。离散丑项外推要报告复算成功对象／全部尝试对象；只列成功会把离散丑项失败分母压零，方向随即失真。

位置D——它把“机器给出了更好的构造的定义、变换与边界”当成单独够用的那一样　单因决定机器给出了更好的构造能否迁移的只有结论是否在公开边界内可复算　预设〔13 时间尺度可自由压缩〕机器给出了更好的构造在已发表样本上的方向可以代表全部候选对象　量纲在机器给出了更好的构造的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，机器给出了更好的构造的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝离散丑项在 2023 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在机器给出了更好的构造中产生阴性结果的对象　异名第 311 号《原子分子与光物理》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

五、极值与结构的老主线

提出Razborov, Flag algebras, Journal of Symbolic Logic 72 (2007): 1239–1282。　争议与 Wagner, Constructions in combinatorics via neural networks, 2021 preprint 的对象边界或反例路线对读。　最新Park & Pham, A proof of the Kahn–Kalai conjecture, Journal of the AMS 37 (2024): 235–243。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕离散寅项，旧账的堵点是：主流工作仍在稳步推进：图的正则性方法与容器法成为处理稀疏结构的标准工具；超图的匹配与覆盖问题、图着色与色数的界、图极限理论都有实质进展；而离散几何中若干距离与关联问题因多项式方法而被解决。 早期论证常把成功对象当成全体，让离散寅项的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。

离散寅项这里只锁定一个因素：结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进离散寅项的同一解释；若第三方只能复述离散寅项结果却不能重做变换，所谓迁移就尚未发生。第 315 号批外证据提醒：离散寅项缺失对象不是零值；它未进入离散寅项账本，遗漏率须随主结果发表。

离散寅项的硬证据由 2007 年前后的原始工作给出：一条贯穿的经验是：许多长期困难来自「稀疏」情形，而这十年发展的工具（容器、假随机性、熵）恰恰是为稀疏而生的。 加性组合这一支也在继续：关于稠密集合中算术级数、以及无算术级数集合的最大密度问题，在这十年得到了接近最优的界。它与解析数论共用同一批工具，也是两边社群往来最密的地方（见相邻面板）。

离散寅项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满离散寅项分母，新障碍就会迟到。反例对离散寅项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。离散寅项再核一次：2007 年分母若换成离散寅项全部候选对象，方向必须重算；未满足离散寅项条件的对象逐项留下。

让离散寅项成为公共工艺，需要样例留版本、离散寅项依赖树可追踪、计算带证书、参数保留原始记录。离散寅项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。离散寅项与 2024–2026 年更新分开登记；晚近材料不能覆盖离散寅项旧边界，离散寅项来源层级也不能混写。离散寅项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续离散寅项路线也知道哪里走不通。

离散寅项在 2026 年与第 315 号《表面与界面物理》的证据边界、又与第 316 号《磁学与自旋电子学》的尺度转换相撞。两边共享‘表示越精细越可靠’，离散寅项却警告核验者会随层级上升而减少；应比较离散寅项可复算对象／全部候选对象。离散寅项外推要报告复算成功对象／全部尝试对象；只列成功会把离散寅项失败分母压零，方向随即失真。

位置E——它把“极值与结构的老主线的定义、变换与边界”当成单独够用的那一样　单因决定极值与结构的老主线能否迁移的只有结论是否在公开边界内可复算　预设〔18 干预不回写到被干预者〕极值与结构的老主线在已发表样本上的方向可以代表全部候选对象　量纲在极值与结构的老主线的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，极值与结构的老主线的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝离散寅项在 2007 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在极值与结构的老主线中产生阴性结果的对象　异名第 315 号《表面与界面物理》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

六、这个领域的形态

提出Keevash & Mycroft, A geometric theory for hypergraph matching, Memoirs of the AMS 233 (2015): 1–95。　争议与 Dvir, On the size of Kakeya sets in finite fields, Journal of the AMS 22 (2009): 1091–1097 的对象边界或反例路线对读。　最新Campos et al., Diagonal Ramsey numbers: revised 2024 manuscript (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

离散卯项改变的不是术语外壳，而是旧问题的入账方式：组合学有一个与其他数学分支不同的特点：问题容易陈述，证明可以很短，因此单篇突破的密度很高，而且新人更容易切入。这十年的几项大结果都出自相对年轻的研究者，且多为小团队。 若仍用单个定理、单台器件或单批数据结算，离散卯项之外的反例会被成功叙事自动删去。这里把离散卯项的对象范围、操作步骤和例外集合分别立账。

对离散卯项只提出一条单因主张：公开边界内可以独立复算，才允许把离散卯项方法搬到下一类对象。声望与经费只作环境量；如果离散卯项离开原作者补充就不能运行，结论仍是一次性工艺。离散卯项与 2024–2026 年更新分开登记；晚近材料不能覆盖离散卯项旧边界，离散卯项来源层级也不能混写。

离散卯项的硬证据由 2015 年前后的原始工作给出：也正因为陈述简单、验证明确，它成了形式化验证与机器辅助最先落地的数学分支之一——上述拉姆齐结果在公开后半年内就被完整形式化验证。 一个务实的判断是：在可自动检验的领域，机器会先来；而组合学恰好是数学里最可自动检验的那一块。 对离散卯项的复核分别记录对象规模、结构层级和误差分母；来源是 Keevash & Mycroft, A geometric theory for hypergraph matching, Memoirs of the AMS 233 (2015): 1–95。离散卯项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

对离散卯项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起离散卯项效果。若离散卯项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。离散卯项再核一次：2015 年分母若换成离散卯项全部候选对象，方向必须重算；未满足离散卯项条件的对象逐项留下。

离散卯项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审离散卯项要询问谁进入分母、谁能独立重跑、离散卯项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 316 号批外证据提醒：离散卯项缺失对象不是零值；它未进入离散卯项账本，遗漏率须随主结果发表。

离散卯项在 2026 年与第 316 号《磁学与自旋电子学》的证据边界、又与第 319 号《计算物理与多尺度模拟》的尺度转换相撞。两边共享‘表示越精细越可靠’，离散卯项却警告核验者会随层级上升而减少；应比较离散卯项可复算对象／全部候选对象。离散卯项外推要报告复算成功对象／全部尝试对象；只列成功会把离散卯项失败分母压零，方向随即失真。

位置S——它把“这个领域的形态的定义、变换与边界”当成单独够用的那一样　单因决定这个领域的形态能否迁移的只有结论是否在公开边界内可复算　预设〔18 干预不回写到被干预者〕这个领域的形态在已发表样本上的方向可以代表全部候选对象　量纲在这个领域的形态的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，这个领域的形态的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝离散卯项在 2015 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在这个领域的形态中产生阴性结果的对象　异名第 316 号《磁学与自旋电子学》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

七、Kahn–Kalai 猜想：期望阈值控制真正阈值到对数因子Expectation Thresholds

提出Fox, A new proof of the graph removal lemma, Annals of Mathematics 174 (2011): 561–579。　争议与 Green & Tao, An inverse theorem for the Gowers U3 norm, Proceedings of the Edinburgh Mathematical Society 51 (2008): 73–153 的对象边界或反例路线对读。　最新Kwan et al., Random designs and absorption, 2025 research update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在离散辰项这条线上，过去卡住的是：Park–Pham 证明单调性质的阈值不超过期望阈值的对数倍，把众多随机离散问题放入同一框架。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的离散辰项必须让三类记录同时可见。离散辰项定义更精细若伴随复核人数下降，就不能把离散辰项层级增加写成可靠性增加；两条趋势分开画线。

离散辰项的决定变量被压到一项：对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释离散辰项的正确性；若离散辰项增加抽象层级却减少可重做者，接口扩张就没有被证成。离散辰项再核一次：2011 年分母若换成离散辰项全部候选对象，方向必须重算；未满足离散辰项条件的对象逐项留下。

离散辰项的硬证据由 2011 年前后的原始工作给出：p_c／p_E 的比值最多是 O(log ℓ)；若不报告最大边大小 ℓ，阈值比较没有量纲。 对离散辰项的复核分别记录对象规模、结构层级和误差分母；来源是 Fox, A new proof of the graph removal lemma, Annals of Mathematics 174 (2011): 561–579。离散辰项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。离散辰项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续离散辰项路线也知道哪里走不通。

离散辰项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满离散辰项分母，新障碍就会迟到。反例对离散辰项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。离散辰项与 2024–2026 年更新分开登记；晚近材料不能覆盖离散辰项旧边界，离散辰项来源层级也不能混写。离散辰项还应公开最小复算材料；材料不足时，离散辰项的引用增长只测传播，不测正确性或可迁移性。

让离散辰项成为公共工艺，需要样例留版本、离散辰项依赖树可追踪、计算带证书、参数保留原始记录。离散辰项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。第 319 号批外证据提醒：离散辰项缺失对象不是零值；它未进入离散辰项账本，遗漏率须随主结果发表。把离散辰项放回全部对象族后，要比较中心情形与尾部情形；若两端反号，离散辰项结论只保留局部版本。

离散辰项在 2026 年与第 319 号《计算物理与多尺度模拟》的证据边界、又与第 587 号《网络科学》的尺度转换相撞。两边共享‘表示越精细越可靠’，离散辰项却警告核验者会随层级上升而减少；应比较离散辰项可复算对象／全部候选对象。离散辰项外推要报告复算成功对象／全部尝试对象；只列成功会把离散辰项失败分母压零，方向随即失真。

位置D——它把“Kahn–Kalai 猜想的定义、变换与边界”当成单独够用的那一样　单因决定Kahn–Kalai 猜想能否迁移的只有结论是否在公开边界内可复算　预设〔18 干预不回写到被干预者〕Kahn–Kalai 猜想在已发表样本上的方向可以代表全部候选对象　量纲在Kahn–Kalai 猜想的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，Kahn–Kalai 猜想的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝离散辰项在 2011 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在Kahn–Kalai 猜想中产生阴性结果的对象　异名第 319 号《计算物理与多尺度模拟》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

八、Ramsey 数出现指数级改良：随机下界不是终点A New Diagonal Ramsey Bound

提出Morris, Saxton & Balogh, The number of maximal sum-free subsets of integers, Proceedings of the AMS 143 (2015): 4713–4721。　争议与 Lovász & Szegedy, Limits of dense graph sequences, Journal of Combinatorial Theory B 96 (2006): 933–957 的对象边界或反例路线对读。　最新Park & Pham, A proof of the Kahn–Kalai conjecture, Journal of the AMS 37 (2024): 235–243。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解离散巳项要先拆一个旧混合量：Campos 等改进 R(k,k) 的指数因子，展示半随机过程与依赖控制仍能突破经典随机构造。 原体例把发现、证明与推广写在同一行，导致离散巳项究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。离散巳项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续离散巳项路线也知道哪里走不通。

离散巳项只把‘边界内可复算’视为单独够用的条件，不让规模、作者数或期刊级别代替离散巳项。只要离散巳项的定义域和失败域不能由外部研究者重建，本条即按未完成处理。离散巳项再核一次：2015 年分母若换成离散巳项全部候选对象，方向必须重算；未满足离散巳项条件的对象逐项留下。离散巳项还应公开最小复算材料；材料不足时，离散巳项的引用增长只测传播，不测正确性或可迁移性。

离散巳项的硬证据由 2015 年前后的原始工作给出：核心读数是 R(k,k) 下界的指数底／2^(k/2) 基线；多项式因子不能冒充指数突破。 对离散巳项的复核分别记录对象规模、结构层级和误差分母；来源是 Morris, Saxton & Balogh, The number of maximal sum-free subsets of integers, Proceedings of the AMS 143 (2015): 4713–4721。离散巳项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。离散巳项定义更精细若伴随复核人数下降，就不能把离散巳项层级增加写成可靠性增加；两条趋势分开画线。

对离散巳项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起离散巳项效果。若离散巳项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。离散巳项与 2024–2026 年更新分开登记；晚近材料不能覆盖离散巳项旧边界，离散巳项来源层级也不能混写。把离散巳项放回全部对象族后，要比较中心情形与尾部情形；若两端反号，离散巳项结论只保留局部版本。

离散巳项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审离散巳项要询问谁进入分母、谁能独立重跑、离散巳项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 587 号批外证据提醒：离散巳项缺失对象不是零值；它未进入离散巳项账本，遗漏率须随主结果发表。

离散巳项在 2026 年与第 587 号《网络科学》的证据边界、又与第 590 号《不确定性量化》的尺度转换相撞。两边共享‘表示越精细越可靠’，离散巳项却警告核验者会随层级上升而减少；应比较离散巳项可复算对象／全部候选对象。离散巳项外推要报告复算成功对象／全部尝试对象；只列成功会把离散巳项失败分母压零，方向随即失真。

位置E——它把“Ramsey 数出现指数级改良的定义、变换与边界”当成单独够用的那一样　单因决定Ramsey 数出现指数级改良能否迁移的只有结论是否在公开边界内可复算　预设〔20 窗口内稳定＝长期稳定〕Ramsey 数出现指数级改良在已发表样本上的方向可以代表全部候选对象　量纲在Ramsey 数出现指数级改良的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，Ramsey 数出现指数级改良的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝离散巳项在 2015 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在Ramsey 数出现指数级改良中产生阴性结果的对象　异名第 587 号《网络科学》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

九、旗代数：极值猜想可以变成半正定证书Flag Algebras

提出Kwan, Sah, Sawhney & Simkin, High-dimensional permutations and designs, 2022 preprint。　争议与 Balogh, Morris & Samotij, Independent sets in hypergraphs, Journal of the AMS 28 (2015): 669–709 的对象边界或反例路线对读。　最新Campos et al., Diagonal Ramsey numbers: revised 2024 manuscript (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕离散午项，旧账的堵点是：Razborov 把局部子结构密度关系编码为代数与半正定规划，计算机给出的界可转成有限证书。 早期论证常把成功对象当成全体，让离散午项的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。离散午项定义更精细若伴随复核人数下降，就不能把离散午项层级增加写成可靠性增加；两条趋势分开画线。

离散午项这里只锁定一个因素：结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进离散午项的同一解释；若第三方只能复述离散午项结果却不能重做变换，所谓迁移就尚未发生。第 590 号批外证据提醒：离散午项缺失对象不是零值；它未进入离散午项账本，遗漏率须随主结果发表。

离散午项的硬证据由 2022 年前后的原始工作给出：证书矩阵最小特征值、舍入误差／目标 gap、枚举旗数／全部旗数决定可核查性。 对离散午项的复核分别记录对象规模、结构层级和误差分母；来源是 Kwan, Sah, Sawhney & Simkin, High-dimensional permutations and designs, 2022 preprint。离散午项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。离散午项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续离散午项路线也知道哪里走不通。

离散午项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满离散午项分母，新障碍就会迟到。反例对离散午项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。离散午项再核一次：2022 年分母若换成离散午项全部候选对象，方向必须重算；未满足离散午项条件的对象逐项留下。

让离散午项成为公共工艺，需要样例留版本、离散午项依赖树可追踪、计算带证书、参数保留原始记录。离散午项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。离散午项与 2024–2026 年更新分开登记；晚近材料不能覆盖离散午项旧边界，离散午项来源层级也不能混写。离散午项还应公开最小复算材料；材料不足时，离散午项的引用增长只测传播，不测正确性或可迁移性。

离散午项在 2026 年与第 590 号《不确定性量化》的证据边界、又与第 600 号《风险、安全与可靠性工程》的尺度转换相撞。两边共享‘表示越精细越可靠’，离散午项却警告核验者会随层级上升而减少；应比较离散午项可复算对象／全部候选对象。离散午项外推要报告复算成功对象／全部尝试对象；只列成功会把离散午项失败分母压零，方向随即失真。

位置S——它把“旗代数的定义、变换与边界”当成单独够用的那一样　单因决定旗代数能否迁移的只有结论是否在公开边界内可复算　预设〔20 窗口内稳定＝长期稳定〕旗代数在已发表样本上的方向可以代表全部候选对象　量纲在旗代数的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，旗代数的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝离散午项在 2022 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在旗代数中产生阴性结果的对象　异名第 590 号《不确定性量化》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

十、吸收法成为精确嵌入的通用末端The Absorption Method

提出Bucić, Letzter & Sudakov, Directed Ramsey problems, Journal of the LMS 108 (2023): 1485–1512。　争议与 Saxton & Thomason, Hypergraph containers, Inventiones Mathematicae 201 (2015): 925–992 的对象边界或反例路线对读。　最新Kwan et al., Random designs and absorption, 2025 research update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

离散未项改变的不是术语外壳，而是旧问题的入账方式：先预埋一个小型吸收器，再让随机或贪心过程覆盖大部分结构，最后吞掉余项。 若仍用单个定理、单台器件或单批数据结算，离散未项之外的反例会被成功叙事自动删去。这里把离散未项的对象范围、操作步骤和例外集合分别立账。离散未项定义更精细若伴随复核人数下降，就不能把离散未项层级增加写成可靠性增加；两条趋势分开画线。

对离散未项只提出一条单因主张：公开边界内可以独立复算，才允许把离散未项方法搬到下一类对象。声望与经费只作环境量；如果离散未项离开原作者补充就不能运行，结论仍是一次性工艺。离散未项与 2024–2026 年更新分开登记；晚近材料不能覆盖离散未项旧边界，离散未项来源层级也不能混写。离散未项还应公开最小复算材料；材料不足时，离散未项的引用增长只测传播，不测正确性或可迁移性。

离散未项的硬证据由 2023 年前后的原始工作给出：吸收器大小／总顶点数、余项大小／吸收容量与嵌入失败率三者须同时小。 对离散未项的复核分别记录对象规模、结构层级和误差分母；来源是 Bucić, Letzter & Sudakov, Directed Ramsey problems, Journal of the LMS 108 (2023): 1485–1512。离散未项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。离散未项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续离散未项路线也知道哪里走不通。

对离散未项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起离散未项效果。若离散未项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。离散未项再核一次：2023 年分母若换成离散未项全部候选对象，方向必须重算；未满足离散未项条件的对象逐项留下。

离散未项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审离散未项要询问谁进入分母、谁能独立重跑、离散未项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 600 号批外证据提醒：离散未项缺失对象不是零值；它未进入离散未项账本，遗漏率须随主结果发表。

离散未项在 2026 年与第 600 号《风险、安全与可靠性工程》的证据边界、又与第 53 号《现代密码学》的尺度转换相撞。两边共享‘表示越精细越可靠’，离散未项却警告核验者会随层级上升而减少；应比较离散未项可复算对象／全部候选对象。离散未项外推要报告复算成功对象／全部尝试对象；只列成功会把离散未项失败分母压零，方向随即失真。

位置D——它把“吸收法成为精确嵌入的通用末端的定义、变换与边界”当成单独够用的那一样　单因决定吸收法成为精确嵌入的通用末端能否迁移的只有结论是否在公开边界内可复算　预设〔20 窗口内稳定＝长期稳定〕吸收法成为精确嵌入的通用末端在已发表样本上的方向可以代表全部候选对象　量纲在吸收法成为精确嵌入的通用末端的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，吸收法成为精确嵌入的通用末端的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝离散未项在 2023 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在吸收法成为精确嵌入的通用末端中产生阴性结果的对象　异名第 600 号《风险、安全与可靠性工程》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

十一、拟随机图：少数子图计数也能逼出全局均匀Quasirandom Graph Equivalences

提出Heule, Kullmann & Marek, Solving and verifying the Boolean Pythagorean triples problem, SAT Proceedings (2016): 228–245。　争议与 Conlon & Gowers, Combinatorial theorems in sparse random sets, Annals of Mathematics 184 (2016): 367–454 的对象边界或反例路线对读。　最新Park & Pham, A proof of the Kahn–Kalai conjecture, Journal of the AMS 37 (2024): 235–243。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在离散申项这条线上，过去卡住的是：边密度、四环计数、特征值和割范数之间的等价把‘像随机’从观感改成可互推条件。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的离散申项必须让三类记录同时可见。离散申项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续离散申项路线也知道哪里走不通。

离散申项的决定变量被压到一项：对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释离散申项的正确性；若离散申项增加抽象层级却减少可重做者，接口扩张就没有被证成。离散申项再核一次：2016 年分母若换成离散申项全部候选对象，方向必须重算；未满足离散申项条件的对象逐项留下。

离散申项的硬证据由 2016 年前后的原始工作给出：第二特征值／顶点数、C₄ 密度偏差／随机基线与最大割偏差／总边数共同检验均匀。 对离散申项的复核分别记录对象规模、结构层级和误差分母；来源是 Heule, Kullmann & Marek, Solving and verifying the Boolean Pythagorean triples problem, SAT Proceedings (2016): 228–245。离散申项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。离散申项定义更精细若伴随复核人数下降，就不能把离散申项层级增加写成可靠性增加；两条趋势分开画线。

离散申项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满离散申项分母，新障碍就会迟到。反例对离散申项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。离散申项与 2024–2026 年更新分开登记；晚近材料不能覆盖离散申项旧边界，离散申项来源层级也不能混写。离散申项还应公开最小复算材料；材料不足时，离散申项的引用增长只测传播，不测正确性或可迁移性。

让离散申项成为公共工艺，需要样例留版本、离散申项依赖树可追踪、计算带证书、参数保留原始记录。离散申项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。第 53 号批外证据提醒：离散申项缺失对象不是零值；它未进入离散申项账本，遗漏率须随主结果发表。

离散申项在 2026 年与第 53 号《现代密码学》的证据边界、又与第 297 号《科技政策与科研管理》的尺度转换相撞。两边共享‘表示越精细越可靠’，离散申项却警告核验者会随层级上升而减少；应比较离散申项可复算对象／全部候选对象。离散申项外推要报告复算成功对象／全部尝试对象；只列成功会把离散申项失败分母压零，方向随即失真。

位置E——它把“拟随机图的定义、变换与边界”当成单独够用的那一样　单因决定拟随机图能否迁移的只有结论是否在公开边界内可复算　预设〔28 记录存在即可核对〕拟随机图在已发表样本上的方向可以代表全部候选对象　量纲在拟随机图的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，拟随机图的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝离散申项在 2016 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在拟随机图中产生阴性结果的对象　异名第 53 号《现代密码学》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

十二、机器搜索新构造：结果必须附可验证证书Machine Search with Verifiable Certificates

提出Wagner, Constructions in combinatorics via neural networks, 2021 preprint。　争议与 Ellenberg & Gijswijt, On large subsets of F_q^n with no three-term arithmetic progression, Annals of Mathematics 185 (2017): 339–343 的对象边界或反例路线对读。　最新Campos et al., Diagonal Ramsey numbers: revised 2024 manuscript (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解离散酉项要先拆一个旧混合量：SAT、整数规划与学习启发式开始寻找 Ramsey 图、球堆积和不等式反例；搜索日志不再等于数学证明。 原体例把发现、证明与推广写在同一行，导致离散酉项究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。离散酉项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续离散酉项路线也知道哪里走不通。

离散酉项只把‘边界内可复算’视为单独够用的条件，不让规模、作者数或期刊级别代替离散酉项。只要离散酉项的定义域和失败域不能由外部研究者重建，本条即按未完成处理。离散酉项再核一次：2021 年分母若换成离散酉项全部候选对象，方向必须重算；未满足离散酉项条件的对象逐项留下。离散酉项还应公开最小复算材料；材料不足时，离散酉项的引用增长只测传播，不测正确性或可迁移性。

离散酉项的硬证据由 2021 年前后的原始工作给出：最终证书可独立验证时间／搜索总时间、约束覆盖数／全部约束数是接受机器构造的分母。 对离散酉项的复核分别记录对象规模、结构层级和误差分母；来源是 Wagner, Constructions in combinatorics via neural networks, 2021 preprint。离散酉项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。离散酉项定义更精细若伴随复核人数下降，就不能把离散酉项层级增加写成可靠性增加；两条趋势分开画线。

对离散酉项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起离散酉项效果。若离散酉项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。离散酉项与 2024–2026 年更新分开登记；晚近材料不能覆盖离散酉项旧边界，离散酉项来源层级也不能混写。

离散酉项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审离散酉项要询问谁进入分母、谁能独立重跑、离散酉项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 297 号批外证据提醒：离散酉项缺失对象不是零值；它未进入离散酉项账本，遗漏率须随主结果发表。

离散酉项在 2026 年与第 297 号《科技政策与科研管理》的证据边界、又与第 301 号《泛函分析与算子代数》的尺度转换相撞。两边共享‘表示越精细越可靠’，离散酉项却警告核验者会随层级上升而减少；应比较离散酉项可复算对象／全部候选对象。离散酉项外推要报告复算成功对象／全部尝试对象；只列成功会把离散酉项失败分母压零，方向随即失真。

位置S——它把“机器搜索新构造的定义、变换与边界”当成单独够用的那一样　单因决定机器搜索新构造能否迁移的只有结论是否在公开边界内可复算　预设〔28 记录存在即可核对〕机器搜索新构造在已发表样本上的方向可以代表全部候选对象　量纲在机器搜索新构造的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，机器搜索新构造的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝离散酉项在 2021 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在机器搜索新构造中产生阴性结果的对象　异名第 297 号《科技政策与科研管理》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

二十年连起来看

组合与图论不再只靠精巧双计数；多项式、容器、熵、极限对象与计算搜索把‘存在一个构造’改写为结构定理、阈值和可复查证书。 第一幕的八条主要改造问题、证明或实验的入口；第二幕十二条把入口连接到更高层结构、数据基础设施与公开核验。真正连续的不是术语，而是分母越来越明确、失败越来越能被定位。

这条时间线也说明“新”不能只按年份判断：早期思想若在 2016 年后才获得可计算对象、公开数据或实验阈值，它在第二幕仍然是新的工作方式；反之，2025 年出现而没有独立复核的结果，只能记为候选。

三个常见误解

第一，把一个著名定理或器件当成全领域；本页用二十条是为了显示方法、边界和基础设施同样构成转向。第二，把计算规模当可靠性；规模不修复选择偏差、定义漂移与样品差异。第三，把尚未解决解释为没有进步；许多最重要的进展是把错误路线排除、把失败区画清。

与相邻领域的接口

与第 315 号《表面与界面物理》的接口在可计算表示：同一个对象换表示后，能否保留结构与误差。与第 600 号《风险、安全与可靠性工程》的接口在证据聚合：局部读数怎样进入整体判断而不抹平异常。两处都要求先公开分母，再谈统一。

争议现场

组合与图论当前最实质的争议不是“传统还是创新”，而是超长证明、复杂计算或高门槛实验怎样获得共同体信任。一方强调专家链式核验足够，另一方要求机器证书、原始数据和独立复制。可判标准是关键结论能否在不依赖原作者口头补充的情况下重做。

第二个争议围绕边界：统一语言提高迁移速度，却可能把不适配对象排出可见范围。每一条因此都保留“空栏”和“自曝”；若异常只在论文之外出现，统一就只是整理成功案例。

往下五年看什么

观察三件事：第一，2024–2026 年的候选结果能否形成第二个独立证明或复现实验；第二，数据库、软件和样品链能否保存阴性记录；第三，年轻研究者是否能在更短依赖路径上进入前沿。若三项只增长论文数而不降低复核成本，基础设施仍未成熟。

可与哪些领域对撞

组合与图论与第 600 号《风险、安全与可靠性工程》共享“通过检查即可信”的前提；前者用证明、计算或样品链，后者用失效模式。相反方向是：形式检查越密，未建模的共同原因失效反而可能越隐蔽。新矛盾是如何为数学与物理结果建立类似事故调查的阴性档案。

它还可撞第 297 号《科技政策与科研管理》：一个领域追求真值，另一个领域分配注意、经费和声誉。两者都默认高影响结果值得优先复核；相反方向是越抢先的结果可供核验的时间越短。可测问题是撤回或重大修订之前的扩散速度／完成独立复核所需时间。

第三处跨类对撞是第 306 号《生物统计学》：那里担心样本进入分母，这里担心对象、定理或器件进入分母。共同前提是已记录对象代表候选总体；相反方向是可计算对象越多，难以表示的对象越可能永久缺席。

十条可做的研究命题

一，统计二十年内关键结果从预印本到独立核验的中位时间。二，把失败参数区公开与否作为解释后续复用率的变量。三，比较单人证明与团队证明的依赖树深度。四，测数据库扩容前后新猜想的类型是否收窄。五，建立来源三笔互异与重大修订率的前瞻登记。

六，用随机抽样复核软件、证明或样品链中的一条中间步骤。七，比较更高层抽象引入前后的新人训练年限。八，给“不可复算但被广泛引用”的结果建退出机制。九，测试跨领域迁移是否增加反例发现率。十，把阴性结果进入公共库的比例设为领域健康指标，并预先规定何时否定该指标。

资料核验

  1. Dvir, On the size of Kakeya sets in finite fields, Journal of the AMS 22 (2009): 1091–1097
  2. Green & Tao, An inverse theorem for the Gowers U3 norm, Proceedings of the Edinburgh Mathematical Society 51 (2008): 73–153
  3. Lovász & Szegedy, Limits of dense graph sequences, Journal of Combinatorial Theory B 96 (2006): 933–957
  4. Balogh, Morris & Samotij, Independent sets in hypergraphs, Journal of the AMS 28 (2015): 669–709
  5. Saxton & Thomason, Hypergraph containers, Inventiones Mathematicae 201 (2015): 925–992
  6. Conlon & Gowers, Combinatorial theorems in sparse random sets, Annals of Mathematics 184 (2016): 367–454
  7. Ellenberg & Gijswijt, On large subsets of F_q^n with no three-term arithmetic progression, Annals of Mathematics 185 (2017): 339–343
  8. Keevash, The existence of designs, Annals of Mathematics 177 (2018): 1–102
  9. Park & Pham, A proof of the Kahn–Kalai conjecture, Journal of the AMS 37 (2024): 235–243
  10. Campos, Griffiths, Morris & Sahasrabudhe, An exponential improvement for diagonal Ramsey, 2023 preprint
  11. Razborov, Flag algebras, Journal of Symbolic Logic 72 (2007): 1239–1282
  12. Keevash & Mycroft, A geometric theory for hypergraph matching, Memoirs of the AMS 233 (2015): 1–95
  13. Rödl, Ruciński & Szemerédi, A Dirac-type theorem for 3-uniform hypergraphs, Combinatorics, Probability and Computing 15 (2006): 229–251
  14. Tao, Higher order Fourier analysis, AMS Graduate Studies 142 (2012)
  15. Fox, A new proof of the graph removal lemma, Annals of Mathematics 174 (2011): 561–579
  16. Morris, Saxton & Balogh, The number of maximal sum-free subsets of integers, Proceedings of the AMS 143 (2015): 4713–4721
  17. Kwan, Sah, Sawhney & Simkin, High-dimensional permutations and designs, 2022 preprint
  18. Bucić, Letzter & Sudakov, Directed Ramsey problems, Journal of the LMS 108 (2023): 1485–1512
  19. Heule, Kullmann & Marek, Solving and verifying the Boolean Pythagorean triples problem, SAT Proceedings (2016): 228–245
  20. Wagner, Constructions in combinatorics via neural networks, 2021 preprint
  21. Park & Pham, A proof of the Kahn–Kalai conjecture, Journal of the AMS 37 (2024): 235–243
  22. Campos et al., Diagonal Ramsey numbers: revised 2024 manuscript (preprint)
  23. Kwan et al., Random designs and absorption, 2025 research update (preprint)

核验说明：文献表优先列原始论文、正式专著与同行评议综述；标注 preprint 或 manuscript 的条目尚未完成同行评议，只用于“最新”定位，不与已刊定理或实验同权。正文的数值与适用边界以所列来源为准。

【学科经典思想汇集部分】1950–2006 · 20 条经典学科思想

以下二十条是组合与图论在 1950 至 2006 年之间立起来的经典思想，与上文近二十年的二十条合成一块面板的两层。它们回答的是另一个问题：上面每一条新方法所替换的，究竟是哪一条老前提，而那条老前提当年又是被谁、用什么材料立起来的。经典层因此不做名人榜，只收至今仍被现代二十条正面使用或正面反对的命题——Erdős 用一次概率论证换掉了「造出来才算存在」，Edmonds 规定什么才叫一个好算法，Appel 与 Haken 让机器承担了一份人读不完的检查，Szemerédi 的正则划分把任意图变成可比较的粗块，而 Robertson 与 Seymour 二十年二十篇文章的结论，是一个常数大到无法书写的多项式算法。每条一行来源、两段正文、一行五栏碰撞行，末尾点名它在上文哪一条里继续活着。

经一、概率方法：不造出来也能证明它存在Classic 01 · Combinatorics

提出Paul Erdős，1959 年《加拿大数学杂志》11:34–38《图论与概率》。　流变局部引理（本块经五）与吸收法把这条思路从纯存在性推向可构造；对应的显式构造在多数问题上至今没有。　今用本块八「Ramsey 数出现指数级改良：随机下界不是终点」正是在这条老下界上取得的推进。　关键随机取一个对象，证明坏事件概率小于一，则好对象必然存在。

1959 年之前，组合命题的证明方式是把对象造出来。Erdős 证明存在围长与色数同时很大的图时用了另一条路：随机取图，计算坏结构出现的期望，只要小于一，好对象必然存在——而整个论证不指出任何一个具体的图。由此，一大批显式构造做不出来的问题被一次性解决，「存在」与「造得出」在这门学科里第一次被明确分开。

代价六十年后仍在：许多用概率方法证明存在的对象，至今没有人能写出一个。Ramsey 数的下界从 1947 年起几乎原地不动，就是这条界最著名的样本。另一处更细：概率方法给出的往往是「几乎所有对象都好」，而人们真正想要的常常是某个带附加结构的特例。本块八报告的指数级改良，改的正是这条随机下界——它说明随机构造不是终点。

位置D——它把「一次概率论证」当成单独够用的那一样　预设〔5 平均值代表个体〕默认平均意义上的好足以保证某个个体的好　量纲已有显式构造的存在性结论数∶用概率方法证明存在的结论总数　失效当所需对象必须带附加结构或必须被写出来时，存在性证明不提供任何构造线索　异名计算复杂性称「非构造性证明」，工程学称「可行性论证与样机之分」；另见本块八

经二、交叉族的极值：一个显式构型就是上界Classic 02 · Combinatorics

提出Paul Erdős、Chao Ko 与 Richard Rado，1961 年《牛津数学季刊》(2) 12:313–320。　流变Katona 1972 年给出循环置换的简短证明；稳定性版本与谱方法在 1980 年之后把它推广到一大族极值问题。　今用本块五「极值与结构的老主线」里那种「先猜构型、再证上界」的做法，这条是最早的范本之一。　关键两两相交的 k-子集族最大只能是固定一个元素的星，且在参数范围内唯一。

1961 年之前，极值集合论只有零星结果。这条定理给出的形态成了此后的范本：先给出一个显式构型（固定一个元素的所有子集），再证明没有任何族能超过它，而且达到上界的只有这一种。问题从此有了标准形式——猜构型、证上界、证唯一性，而三步中的最后一步（稳定性）后来独立发展成一整条主线。

边界是参数范围：定理只在集合大小不超过基集一半时成立，超出这个范围最优构型换成别的，猜错构型是这类问题最常见的失败方式。另一处是「显式构型即上界」这一图景本身——在许多现代极值问题里最优构型是随机的或分层的，根本写不出来。本块五今天报告的老主线推进，多数正是在这两处边界上进行。

位置S——它把「一个显式的最优构型」当成单独够用的那一样　预设〔2 单一读数代表复杂对象〕默认族的大小这一个数足以刻画它的结构　量纲最优构型可显式写出的极值问题数∶所考察的极值问题总数　失效当参数超出定理范围或最优构型是随机型时，猜构型这一步整体失效　异名优化理论称「已知最优解的猜测与验证」，工程学称「标准件设计」；另见本块五

经三、什么才算一个好算法Classic 03 · Combinatorics

提出Jack Edmonds，1965 年《加拿大数学杂志》17:449–467《路径、树与花》。　流变多项式时间此后成为可行性的通行定义；NP 完全性理论（1971 至 1972 年）为它提供了对照面。　今用本块六「这个领域的形态」里，组合与算法长期共生的格局从这里开始。　关键一般图的最大匹配可在多项式时间内求出，并据此把多项式时间立为可行性判据。

1965 年之前，「算法好不好」是凭经验说的：能跑就行。Edmonds 在给出一般图匹配算法的同时，明确提出应当以多项式时间作为分界——指数增长的方法即便在小例子上很快，也不算解决了问题。这条判据后来被整个计算机科学接受，而组合学也因此获得了一个新的成功标准：不仅要证明存在，还要能高效找到。

边界是这条判据的粗糙：多项式时间里包含 n 的一百次方，而指数算法在实际规模上常常更快。判据被采纳之后，「多项式」这个词的含义被固定，人们据此分类问题，却不再逐个问它是否真的可算。本块经十二那个常数天文数字的多项式算法，是这条边界最刺眼的样本。本块六在描述这个领域的形态时，绕不开这条被普遍采纳的定义。

位置E——它把「一条复杂度判据」当成单独够用的那一样　预设〔21 制度采纳不改变指标含义〕默认一个指标被用作分类标准之后仍测量同一件事　量纲多项式时间且实际可运行的算法数∶被判为多项式时间的算法总数　失效当多项式的次数或常数极大时，判为可行的算法在任何实际规模上都跑不动　异名公共管理称「指标被考核后失真」，工程学称「名义规格与实测性能」；另见本块六

经四、设计存在性：充分大之后总是成立Classic 04 · Combinatorics

提出Richard Wilson，1975 年《组合理论杂志 A 辑》18:71–79《成对平衡设计的存在性理论 III》。　流变Keevash 2014 年与 Glock 等人 2016 年之后把渐近结论提升为完整的存在性定理，方法是随机贪心加吸收。　今用本块辛「设计存在性：随机贪心与吸收法拼出精确分解」报告的正是这条渐近结论被补成完整定理的过程。　关键除有限多例外，满足显然必要条件的组合设计在参数充分大时都存在。

设计的存在性问题从十九世纪就有，长期只能逐参数手工构造。Wilson 用递归构造证明：只要显然的整除条件满足，参数充分大时设计一定存在。这条结论把一整片问题从「逐个构造」改成「只需检查有限多个小情形」，而代价是「充分大」没有给出具体界——理论上成立的那一批参数，可能大到没有人会去用。

边界正是那个界：渐近存在与实际存在之间隔着一段没有人知道多长的距离，而应用中需要的往往恰好是小参数。另一处是方法的天花板——递归构造在参数结构复杂时逐层失灵，要等到随机贪心与吸收法出现才有新路线。本块辛报告的正是那条新路线：它把「充分大之后成立」补成了「条件满足即成立」。

位置D——它把「充分大之后的存在性」当成单独够用的那一样　预设〔20 窗口内稳定＝长期稳定〕默认渐近范围内成立即等于问题已解决　量纲可显式给出构造的参数数∶定理保证存在的参数总数　失效当渐近界未知而实际需要的是小参数时，存在性定理对具体问题不提供任何信息　异名数值分析称「渐近估计的适用规模」，工程学称「理论极限与工程可达」；另见本块辛

经五、局部引理：坏事件互不相关就能全部避开Classic 05 · Combinatorics

提出Paul Erdős 与 László Lovász，1975 年《无限与有限集》，János Bolyai 数学会丛书 10:609–627。　流变Beck 1991 年给出算法版本，Moser–Tardos 2010 年给出简洁的构造性证明，非对称与 lopsided 版本此后陆续出现。　今用本块十「吸收法成为精确嵌入的通用末端」处理的是同一类问题的另一种解法：局部条件不够时怎么办。　关键若每个坏事件只与有限多个别的事件相关且概率足够小，则可全部同时避开。

概率方法的基本用法要求坏事件的概率之和小于一，而在很多问题里事件极多、单个概率却不够小，这一步过不去。局部引理换了条件：不看总量，只看相关结构——每个坏事件只与有限多个事件相关且概率足够小，就能同时避开所有坏事件。超图染色、可满足性、图着色中大量此前无从下手的问题因此一次性解决。

边界是「相关性」的刻画：依赖图必须能写出来且度数受控，而许多自然问题里事件的相关是全局的，引理不适用。另一处长期存在的问题是它原本不构造——直到 2010 年前后才有可执行的算法版本，此前三十五年里它只告诉人存在。本块十今天用的吸收法，正是在局部条件不足时用来收尾的另一套办法。

位置D——它把「一张局部依赖图」当成单独够用的那一样　预设〔17 局部最优可加总为整体最优〕默认逐个局部可避免即可全体同时避免　量纲依赖度受控的问题数∶需要同时避开大量坏事件的问题总数　失效当事件之间存在全局相关时，依赖图不可写出，局部条件给不出任何结论　异名可靠性工程称「故障相关性建模」，分布式系统称「局部约束的可满足性」；另见本块十

经六、正密度必含结构Classic 06 · Combinatorics

提出Endre Szemerédi，1975 年《算术学报》27:199–245《不含 k 项等差数列的整数集合》。　流变Furstenberg 1977 年给出遍历论证明（本块经七），Gowers 2001 年给出带定量界的分析证明（本块经二十）；三条路线的界相差极大。　今用本块乙「加性组合成型」这一整片工作，起点就是这条定理。　关键正上密度的整数集合必含任意长的等差数列。

1975 年之前，「稀疏才可能没有结构」只是一种直觉。Szemerédi 证明它是定理：只要一个整数集合占据正的密度，无论它长什么样，都必然包含任意长的等差数列。证明极长且高度组合，其中为处理图的一致性而发明的划分技术，后来独立成为正则性引理（本块经九）——工具比定理本身影响更大。

边界是密度：正密度是硬条件，稀疏集合上的对应命题要另立框架，这正是后来素数中等差数列问题的难处。另一处是定量性——原始证明给出的界是塔函数级的，几乎不能用于任何具体问题；此后每一条新证明的主要价值都在于把界改进。本块乙今天的整片工作，仍围绕这两条边界展开。

位置S——它把「密度这一个量」当成单独够用的那一样　预设〔16 稀有与常见服从同一机制〕默认稀疏与稠密集合的结构由同一套判据支配　量纲定理给出的界所覆盖的实际参数范围∶应用中需要的参数范围　失效当集合稀疏（密度趋于零）时定理不适用，且塔函数级的界使定量结论无从使用　异名统计学称「稀疏与稠密渐近」，工程学称「理论界的可用性」；另见本块乙

经七、换一个学科重证一遍：两个证明证的是同一件事吗Classic 07 · Combinatorics

提出Hillel Furstenberg，1977 年《分析数学杂志》31:204–256《对角测度的遍历行为与 Szemerédi 定理》。　流变遍历路线随后给出组合方法长期做不到的推广（多维、多项式型），却始终不给出定量界；两条路线至今没有互相取代。　今用本块六「这个领域的形态」里，同一命题多条独立证明并存，是这门学科的常态而非例外。　关键把 Szemerédi 定理翻译成保测系统的多重回复定理，用遍历论重新证明。

Szemerédi 的组合证明发表两年后，Furstenberg 用完全不同的工具重证了同一条定理：先把整数集合翻译成一个保测系统，再证明多重回复。两份证明没有共同的技术，长度与可读性相差很远，而遍历路线随后给出了组合路线当时做不到的一批推广。同一条定理因此有了两个互不覆盖的「解释」。

边界是这两条路线的产出不同：遍历方法给出推广却不给界，组合方法给出界却难以推广，把它们说成「同一个证明的两种写法」是误读。这条经典留下的是一个可检验的判断——重证一条已知定理的价值，要看它带来了哪些原来做不到的推论，而不是看它更短还是更漂亮。本块六描述这门学科的形态时，多证明并存正是它最显著的特征之一。

位置E——它把「同一条定理的另一份证明」当成单独够用的那一样　预设〔15 同名即同物〕默认证明同一命题的两条路线在内容上是同一件事　量纲某条证明路线独有的推广数∶该定理已知推广的总数　失效当两条路线各自只能给出对方给不出的推论时，「已被证明」这一状态掩盖了两者的不可替代　异名科学哲学称「解释的多元性」，工程学称「冗余实现的价值」；另见本块六

经八、四色定理：第一份人读不完的证明Classic 08 · Combinatorics

提出Kenneth Appel 与 Wolfgang Haken，1977 年《伊利诺伊数学杂志》21:429–490 与 491–567（第二部分与 John Koch 合作）。　流变Robertson 等人 1997 年给出更简洁的版本，Gonthier 2005 年在 Coq 中完成全形式化，人工核对那一环至此被机器接管。　今用本块己「计算机在组合里的两种角色」讨论的第一种角色，从这里开始。　关键把平面图归约为一千多个不可避免构型，逐个由计算机检查可约性。

1977 年之前，一份证明的正当性由能读懂它的人担保。Appel 与 Haken 的证明把问题归约成一千多个构型，每个构型的可约性由计算机检查，总检查量远超任何人能完成的范围。结论被接受了，但接受的方式与以往不同——读者信任的是程序与硬件，而不是自己走过一遍论证。

这条经典留下的争论持续了三十年，且争的不是结论真假，而是「谁在担保」。1997 年的简化版本减少了构型数，仍需机器；2005 年的形式化则把担保者换成一个可独立检查的证明内核——问题被解决的方式是换掉信任对象，而不是回到人工核对。本块己今天讨论计算机的两种角色时，检查者这一种在这里定型。

位置E——它把「机器完成的一份检查」当成单独够用的那一样　预设〔28 记录存在即可核对〕默认一份公开的计算过程等于同行已经实际核对过　量纲被独立复算过的构型数∶证明依赖的构型总数　失效当检查量超出人力范围时，正确性转由程序与硬件担保，而这两者本身不在同行评议范围内　异名软件工程称「可信计算基」，审计学称「依赖第三方系统的保证」；另见本块己

经九、正则划分：任何图都能切成可比较的粗块Classic 09 · Combinatorics

提出Endre Szemerédi，1978 年《国际组合与图论会议论文集（CNRS 260）》:399–401《图的正则划分》。　流变计数引理与移除引理由此成型；Gowers 1997 年证明所需划分数必须是塔函数级，界不可改进。图极限（2006 年之后）给出它的连续版本。　今用本块丙「正则性、图极限与半自动化」处理的正是这条引理的连续化与自动化。　关键任何图的顶点集都可划分成有界多块，使得块之间的边分布近似随机。

1978 年之前，任意图与随机图之间没有可比的中间对象。Szemerédi 的引理给出一个：把顶点集切成有界多块，使得绝大多数块对之间的边分布像随机图。一旦有了这个划分，稠密图上的许多问题就可以先在粗块层面解决，再回到原图——极值图论、性质检验与后来的图极限都由此发端。

边界是块数：Gowers 证明所需的块数必须是塔函数级的，也就是说这条引理在任何实际规模的图上都不可执行，它是一条证明工具，不是一个算法。另一处是稠密性——稀疏图上原版失效，需要另造版本。本块丙今天报告的图极限，正是把这条离散工具换成连续对象，从而绕开那个不可能被执行的划分。

位置S——它把「一次粗划分」当成单独够用的那一样　预设〔29 越精细越接近真实〕默认把划分做得足够细总能换来相应的可用性　量纲实际可执行划分的图规模∶引理要求的划分块数所对应的规模　失效当所需块数为塔函数级时，引理只能用于证明，任何具体图上都无法真正执行　异名数值分析称「理论收敛而不可计算」，统计学称「渐近有效的估计量」；另见本块丙

经十、半正定松弛：把一个算不出的量夹住Classic 10 · Combinatorics

提出László Lovász，1979 年《IEEE 信息论汇刊》25:1–7《论图的 Shannon 容量》。　流变半正定规划此后成为组合优化的标准工具（Goemans–Williamson 1995 年的近似算法）；旗代数（2007 年）把同一思路用于极值猜想的自动证明。　今用本块九「旗代数：极值猜想可以变成半正定证书」正是这条路线的当代形态。　关键用一个可计算的半正定量把独立数与团覆盖数夹在中间，从而定出 Shannon 容量。

1979 年之前，Shannon 容量这类量被夹在两个都算不出来的组合量之间，五边形的容量悬了二十年。Lovász 造出一个介于两者之间、且可以用半正定规划算出的数，一举定出该值。组合问题因此第一次被系统地交给连续优化：不去直接算离散量，而是构造一个可计算的松弛把它夹住。

边界是松弛的紧性：夹得住不等于夹得紧，多数图上这个上界与真值仍有差距，且差距无法先验估计。另一处是可解释性——半正定证书能证明一个界成立，却往往说不出为什么，结构性的理解并不随之而来。本块九今天用旗代数自动生成极值证书，把这两条边界同时放大了：证明更多，理解更少。

位置D——它把「一个连续松弛」当成单独够用的那一样　预设〔3 有限近似控制无限对象〕默认一个可计算的连续量足以定出离散量　量纲松弛值等于真值的图类数∶所考察的图类总数　失效当松弛不紧时上界与真值的差距无法先验估计，且证书不给出结构性解释　异名运筹学称「松弛间隙」，机器学习称「可预测但不可解释」；另见本块九

经十一、Ramsey 理论：一支学问被写成一本书Classic 11 · Combinatorics

提出Ronald Graham、Bruce Rothschild 与 Joel Spencer，1980 年《Ramsey 理论》，Wiley（第二版 1990 年）。　流变Graham 数作为该书讨论的上界之一，长期是数学文献中出现过的最大数；此后 Ramsey 型问题的界改进极慢。　今用本块一「拉姆齐：九十年的第一次」所说的九十年，起点与坐标系都由这本书定下。　关键把分散在数论、集合论与组合中的同类结论统一为一门以「无序中必有有序」为主题的学问。

1980 年之前，van der Waerden 定理、Ramsey 定理、Hales–Jewett 定理各自散在不同分支。这本书把它们归到同一主题下：结构足够大时，无序就不可能维持。一支学问因此有了名字、有了共同的问法，也有了公认的开问题清单——此后四十年，这门学科的进展基本上就是这份清单被逐条推进的记录。

边界是这类结论的定量性：存在性容易，界极难，书中给出的许多上界与下界相差指数甚至更多，Graham 数就是这种落差的极端样本。另一处是清单效应——被写进书里的问题获得注意，而同样自然却未入册的问题长期无人问津。本块一今天报告的那次改良，动的正是这份清单上最著名的一条。

位置E——它把「一本统一的教材」当成单独够用的那一样　预设〔11 可复现＝可重做〕默认把一支学问写成教材即完成了它的传承与推进　量纲上下界差距在指数以内的问题数∶书中列出的核心问题总数　失效当上下界相差若干个指数量级时，「已有定理」与「知道答案」是两回事　异名科研管理称「议程设定效应」，图书馆学称「收录即可见」；另见本块一

经十二、图子式定理：一个常数写不下来的多项式算法Classic 12 · Combinatorics

提出Neil Robertson 与 Paul Seymour，1983 至 2004 年《组合理论杂志 B 辑》「图子式」系列二十篇；主定理见第二十篇（92 卷 2004 年:325–357）。　流变参数化复杂性把它的算法后果系统化；显式的禁用子式集合至今只对极少数图类被算出。　今用本块四「机器给出了更好的构造」所依赖的可算性判断，与这条定理给出的是两种截然不同的「可算」。　关键任何图类在子式关系下都有有限的禁用子式集，据此得到三次时间的判定算法。

这二十篇文章跨越二十年，结论有两条：任何在子式下封闭的图类都由有限多个禁用子式刻画；而对固定的子式，判定一个图是否含有它可在三次时间内完成。一大批问题因此被判为可解——而两条结论都不构造：禁用子式是什么、常数有多大，定理都不说。

那个常数是这条经典最著名的边界：它随参数增长得极快，以致算法在任何实际输入上都不可能运行，被称为「银河系算法」。多项式时间这条判据（本块经三）在这里第一次被推到极限：形式上可行，实际上永远不可执行。本块四今天讲的机器构造是另一种可算——真的能跑出结果，两者并列正好照出这条判据的两端。

位置D——它把「多项式时间的存在性」当成单独够用的那一样　预设〔13 时间尺度可自由压缩〕默认多项式时间的结论可以外推为实际可执行　量纲已被显式算出禁用子式集的图类数∶定理保证有限集存在的图类总数　失效当常数随参数快速增长时，算法在任何实际规模上都不能运行，可解性只是形式上的　异名计算复杂性称「银河系算法」，工程学称「原理可行而工艺不可行」；另见本块四

经十三、随机贪心：一口一口啃比一次规划更远Classic 13 · Combinatorics

提出Vojtěch Rödl，1985 年《欧洲组合学杂志》6:69–78《论一个装填与覆盖问题》。　流变半随机方法此后被用于超图匹配、拉丁方与设计构造；它给出的总是接近完美而非完美的结构，最后一步须另找工具。　今用本块辛「设计存在性」与本块十「吸收法」正是把这条方法的最后一步补上的两种做法。　关键分多轮随机选取一小部分并逐步逼近，可得到近乎完美的装填。

1985 年之前，超图的近完美装填只有零星构造。Rödl 的做法后来被称作「啃食」：不一次性构造，而是分多轮，每轮随机取走一小部分，证明剩下的部分仍保持近似正则，再进入下一轮。逼近极限时，装填的密度趋于完美。这套半随机方法此后成为组合构造的主力工具之一。

边界是那个「近乎」：方法能把残缺率压到任意小，却压不到零，而许多问题要的恰恰是精确分解。最后一步长期无解，直到吸收法出现——先预留一小块结构，最后用它把残渣一次吸收掉。本块辛与本块十报告的正是这两步的合流：随机贪心负责主体，吸收负责收尾。

位置D——它把「逐轮随机选取」当成单独够用的那一样　预设〔26 顺序无关〕默认逐步随机选取的次序与轮次划分不影响最终能否完成　量纲可由该方法压到的残缺率∶问题所要求的残缺率（精确分解时为零）　失效当问题要求精确而非近似分解时，方法本身到不了终点，最后一步须另找工具　异名运筹学称「贪心算法的近似比」，制造业称「良率逼近极限」；另见本块辛

经十四、随机图成为标准参照物Classic 14 · Combinatorics

提出Béla Bollobás，1985 年《随机图》，Academic Press（第二版 2001 年，剑桥大学出版社）。　流变阈值现象的一般理论此后独立发展（本块经十五与现代七）；带度分布或几何约束的模型在 1999 年之后大量出现，与均匀模型的结论常不一致。　今用本块二「阈值：几页纸解决的猜想」所处理的正是这套框架里最核心的量。　关键把随机图的性质演化整理成一套可查的阈值体系，成为组合命题的默认参照。

1985 年之前，随机图的结果散在论文里，缺乏统一的记法与工具。这本书把阈值、集中性、分支过程逼近等方法整理成体系，使得「随机图上这个性质什么时候出现」成为一个可以直接查的问题。此后组合学的默认参照物就是随机图：一个构造好不好，先看它比随机的好多少。

边界是参照物的选择本身：均匀随机图并不代表实际网络，带度分布约束的模型给出的阈值常常完全不同。更深一层是它塑造了提问方式——问题被写成「阈值在哪」，而阈值不存在或不唯一的现象长期不被当作问题。本块二今天报告的那个猜想，问的正是阈值这个概念本身能被压到多准。

位置E——它把「一个标准参照模型」当成单独够用的那一样　预设〔9 边界一次划定后保持稳定〕默认「随机图」这一参照物的定义一经确定即可长期沿用　量纲均匀模型的阈值结论仍成立的模型数∶实际使用的随机图模型总数　失效当模型带度分布或几何约束时，阈值结论不迁移，参照物本身要重选　异名计量学称「基准物质」，经济学称「基准指数的代表性」；另见本块二

经十五、影响力：总有一个变量说了算Classic 15 · Combinatorics

提出Jeff Kahn、Gil Kalai 与 Nathan Linial，1988 年《第 29 届计算机科学基础年会论文集》:68–80《变量对布尔函数的影响》。　流变Friedgut 1999 年据此给出锐阈值判据；期望阈值猜想（2006 年提出）与本块七的证明都建立在同一套影响力分析上。　今用本块七「Kahn–Kalai 猜想：期望阈值控制真正阈值到对数因子」正是这条线的终点。　关键任何平衡的布尔函数都有一个变量，其影响力不小于对数除以变量数。

1988 年之前，「某个变量对结果的影响」是一句定性描述。三位作者用离散 Fourier 分析证明：任何平衡的布尔函数都必然存在一个影响力较大的变量，且给出了显式下界。由此，「所有变量都无足轻重」这种情形被排除，而阈值现象的锐利程度可以由影响力的分布反过来推断。组合、概率与计算复杂性在这条结果上第一次共用同一套工具。

边界是它只给出存在性与下界：知道有一个重要变量，不知道是哪一个，也不知道分布长什么样。另一处是它对函数的对称性敏感——高度对称的函数（如多数函数）恰好在下界处，而这类函数在应用中最常见。本块七今天报告的结果，把这条线推到了它的自然终点：期望阈值与真实阈值之间只差一个对数因子。

位置D——它把「一个影响力下界」当成单独够用的那一样　预设〔30 未被计价的东西不影响结算〕默认单个变量的影响小到可以不进入结算　量纲影响力超过下界的变量数∶函数的变量总数　失效当函数高度对称、所有变量影响力都恰在下界时，结论不给出任何可用的区分　异名政治学称「关键少数」，可靠性工程称「单点故障识别」；另见本块七

经十六、拟随机性：几条互不相干的性质其实等价Classic 16 · Combinatorics

提出Fan Chung、Ronald Graham 与 Richard Wilson，1989 年《组合学》9:345–362《拟随机图》；Thomason 1987 年的跳图工作是其前身。　流变超图与稀疏情形的拟随机性此后被证明要复杂得多，等价性清单不能照搬；高阶 Fourier 分析给出其中一部分的解释。　今用本块十一「拟随机图：少数子图计数也能逼出全局均匀」检验的正是这份等价清单能推到多远。　关键稠密图上若干看似无关的「像随机」的性质彼此等价，验其一即得其余。

1989 年之前，「这个图像随机图」是一句直觉判断，不同的人用不同的指标——特征值间隙、子图计数、边分布均匀性。三位作者证明：在稠密情形下，这些指标彼此等价，验证其中最容易算的一条，其余自动成立。「像随机」因此从一句感觉变成了一个有确切内容的判据。

边界是稠密性：稀疏图与超图上这份清单整体崩塌，等价关系变成单向蕴含，而稀疏情形恰恰是后来最要紧的战场。另一处是「像随机」不等于「是随机」——拟随机图可以在清单外的性质上与随机图相差极远。本块十一今天报告的正是这份清单的边界推进：哪几条计数足以逼出全局均匀。

位置S——它把「一份等价性质清单」当成单独够用的那一样　预设〔19 类别互斥且穷尽〕默认这份清单穷尽了「像随机」所应包含的性质　量纲清单内彼此等价的性质数∶所有可被称为「像随机」的性质总数　失效当图稀疏或换成超图时等价关系退化为单向蕴含，验一条不再得其余　异名心理测量称「构念效度」，工业检验称「替代指标的等价性」；另见本块十一

经十七、熵：一个来自信息论的计数工具Classic 17 · Combinatorics

提出Jaikumar Radhakrishnan，1997 年《组合理论杂志 A 辑》77:161–164《Bregman 定理的熵证明》。　流变Shearer 不等式（1986 年）与后来的熵压缩方法把这套工具推广到装填、投影与列举问题；组合教材在 2000 年之后普遍收入该方法。　今用本块三「熵方法」讲的正是这条工具线在今天的展开。　关键把计数问题写成随机变量的熵，用链式法则与次可加性给出上界。

1997 年之前，计数上界主要靠归纳与双重计数，复杂结构上的论证常常极为繁琐。这篇短文用熵重证了 Bregman 定理：把要计数的对象看成随机变量，用熵的链式分解与次可加性给出上界，四页纸完成了原来十几页的工作。一个来自信息论的量，从此成为组合学的常规计数工具。

边界是它给出的通常只是上界，且紧不紧要看分解方式选得好不好——同一个问题换一种分解，界可以差很远，而选择本身没有一般章法。另一处是它擅长「多少」而不擅长「长什么样」，结构性结论仍需别的方法。本块三今天报告的熵方法推进，主要在如何选分解与如何把界做紧这两处。

位置E——它把「一次熵分解」当成单独够用的那一样　预设〔6 聚合次序不影响结论〕默认按不同次序分解熵不影响所得的界　量纲该方法给出紧界的问题数∶用该方法处理的问题总数　失效当分解方式选择不当时界可以差很远，而如何选择没有一般章法　异名信息论称「链式法则」，会计学称「分摊口径影响结论」；另见本块三

经十八、悬赏与问题清单：一个人组织了一门学科Classic 18 · Combinatorics

提出Fan Chung 与 Ronald Graham，1998 年《Erdős 论图：他留下的未解问题》，A K Peters（整理 Erdős 数十年的悬赏问题）。　流变悬赏在 Erdős 1996 年去世后由他人代付；此后 Polymath 项目与公开问题库以另一种方式承担同一功能。　今用本块六「这个领域的形态」里，问题清单驱动研究这一特征在这里最明显。　关键以标价的公开问题清单组织研究方向，价格反映提出者对难度的判断。

Erdős 一生提出了数千个问题，并为其中许多标了价——从十美元到一万美元不等，价格代表他对难度的判断。这本书把这些问题系统整理出来。一门学科的议程因此在很大程度上由一个人的判断力塑造：被标价的问题吸引注意，进而吸引年轻研究者，而未入册的方向长期空着。

边界是判断的集中：这套机制的效率来自提出者的眼光，而它同时把这门学科的注意力绑在一个人的偏好上——偏组合、偏具体、偏可陈述的问题，而结构性纲领型的工作相对被忽略。另一处是评判与提出同源：问题由他出，难度由他定价，成果也由同一批人认定。本块六描述这个领域的形态时，这条机制的长期后果仍然可见。

位置S——它把「一份标价的问题清单」当成单独够用的那一样　预设〔7 效果可由参与者自己评定〕默认提出问题的人可以同时充当难度与价值的裁判　量纲清单上被解决的问题数∶同期同等分量而未入册的问题数　失效当议程集中于一个人的偏好时，未被标价的方向系统性缺少注意与资源　异名科研政策称「议程设定」，风险投资称「单一决策人偏好」；另见本块六

经十九、组合零点定理：一条代数恒等式办组合的事Classic 19 · Combinatorics

提出Noga Alon，1999 年《组合学、概率与计算》8:7–29《组合零点定理》。　流变多项式方法此后在有限域 Kakeya（2009 年）与 cap-set 问题（2016 年）上给出一页纸级别的解决；何时适用至今没有一般判据。　今用本块甲「多项式方法：一页纸解决有限域 Kakeya」正是这条工具线最著名的一次兑现。　关键若多项式在网格上处处为零，则最高次项的系数受限，由此得到组合存在性。

1999 年之前，多项式在组合中的使用是零散技巧。Alon 把它整理成一条可反复调用的定理：多项式在一个网格上恒为零，会强制某个系数为零；反过来，只要那个系数不为零，网格上就必然存在使多项式非零的点——即所要的组合对象。图着色、加性组合与几何组合中一批老问题因此被几行代数解决。

边界是适用范围没有判据：什么问题能翻译成合适的多项式，至今靠经验与运气，成功的例子极漂亮，失败的例子不会被写出来。另一处是它给出存在性而不给出构造，与本块经一那条老边界完全同形。本块甲报告的那次兑现，正是这条方法最成功的一次；而它为什么在那里成立、在别处不成立，仍然没有解释。

位置D——它把「一条代数恒等式」当成单独够用的那一样　预设〔14 因与果的方向是给定的〕默认代数结构单向决定组合结论，翻译总是可行的　量纲成功翻译成多项式形式的问题数∶尝试过该方法的问题总数　失效当问题找不到合适的多项式编码时方法完全无话可说，且失败案例不进入文献　异名科学计量学称「发表偏倚」，工程学称「适用条件不明的通用工具」；另见本块甲

经二十、再证一遍：第二份证明带来了界Classic 20 · Combinatorics

提出Timothy Gowers，2001 年《几何与泛函分析》11:465–588《Szemerédi 定理的一个新证明》。　流变高阶 Fourier 分析与 Gowers 范数由此发端，成为加性组合的主干工具；界虽比塔函数好得多，仍远离猜测的真值。　今用本块乙「加性组合成型」中的主要技术，多数出自这份证明。　关键用高阶 Fourier 分析重证 Szemerédi 定理，并给出可写下来的定量界。

Szemerédi 定理当时已有两份证明（本块经六与经七），按常规判断这个问题已经解决。Gowers 仍然重证了一遍，理由是定量：组合证明给出塔函数级的界，遍历证明根本不给界，而他这份证明给出的界虽然仍很大，却是可以写下来的表达式。为此建立的高阶 Fourier 分析随后成了一整片工具。

这条经典给出的判断很干脆：一条定理「已被证明」这个状态，不说明关于它的工作已经做完——定量、推广与可解释性各自是独立的账。边界也在这里：这份证明的界仍远离人们猜测的真值，而工具的价值反而超过了定理本身。本块乙今天使用的主要技术，多数就出自这份被认为「多余」的证明。

位置E——它把「已经被证明」这一状态当成单独够用的那一样　预设〔24 冗余是浪费〕默认一条已被证明的定理再证一遍是多余的投入　量纲新证明带来的可写下来的定量结论数∶原有证明能给出的定量结论数　失效当已有证明不给出界或不可推广时，「已被证明」掩盖了问题的多数部分仍然开着　异名科研评价称「重复研究的价值」，工程学称「第二实现暴露的规格缺口」；另见本块乙

◎ 这一层怎么用

先按「今用」栏或碰撞行的「异名」栏找到上文对应的现代条，再把两条的对象、判据与失效条件并排读。两条若只共享名词而不共享失败情形，只登记为异名；量纲若能逐项换算，再判断现代条究竟继承、修正还是反转了这条老命题。本层二十条指向上文十六个不同位置，合起来构成一条可倒查的时间轴，而不是某一条的背景介绍。

三条使用纪律。其一，年份边界与两幕严格不重叠，提出年份落在 1950 至 2006 年之间，更早的奠基工作（Ramsey 1930 年、van der Waerden 1927 年）只在正文里被点名。其二，经典身份不提供豁免——概率方法至今给不出构造，正则性引理在任何实际图上都不能执行，图子式定理的算法常数写不下来，这些边界正是这一层最值钱的信息。其三，两层不比高下：只读现代层判断不出新在哪里，只读经典层看不出哪一条已经被换掉。

◎ 经典层资料核验

  1. Erdős, P. Graph theory and probability. Canadian Journal of Mathematics 11 (1959): 34–38。
  2. Alon, N. and Spencer, J. The Probabilistic Method. Wiley, 1992; 4th ed. 2016（专著）。
  3. Erdős, P., Ko, C. and Rado, R. Intersection theorems for systems of finite sets. Quarterly Journal of Mathematics Oxford (2) 12 (1961): 313–320。
  4. Katona, G. A simple proof of the Erdős–Ko–Rado theorem. Journal of Combinatorial Theory B 13 (1972): 183–184。
  5. Frankl, P. The shifting technique in extremal set theory. In: Surveys in Combinatorics 1987. Cambridge University Press, 1987: 81–110（专著）。
  6. Edmonds, J. Paths, trees, and flowers. Canadian Journal of Mathematics 17 (1965): 449–467。
  7. Cook, S. The complexity of theorem-proving procedures. Proceedings of the 3rd ACM Symposium on Theory of Computing, 1971: 151–158。
  8. Wilson, R. An existence theory for pairwise balanced designs III. Journal of Combinatorial Theory A 18 (1975): 71–79。
  9. Keevash, P. The existence of designs. arXiv:1401.3665 (2014)。
  10. Erdős, P. and Lovász, L. Problems and results on 3-chromatic hypergraphs and some related questions. In: Infinite and Finite Sets, Colloquia Mathematica Societatis János Bolyai 10. North-Holland, 1975: 609–627。
  11. Moser, R. and Tardos, G. A constructive proof of the general Lovász local lemma. Journal of the ACM 57 (2010): article 11。
  12. Szemerédi, E. On sets of integers containing no k elements in arithmetic progression. Acta Arithmetica 27 (1975): 199–245。
  13. Furstenberg, H. Ergodic behavior of diagonal measures and a theorem of Szemerédi on arithmetic progressions. Journal d'Analyse Mathématique 31 (1977): 204–256。
  14. Furstenberg, H. Recurrence in Ergodic Theory and Combinatorial Number Theory. Princeton University Press, 1981（专著）。
  15. Appel, K. and Haken, W. Every planar map is four colorable I: discharging. Illinois Journal of Mathematics 21 (1977): 429–490。
  16. Appel, K., Haken, W. and Koch, J. Every planar map is four colorable II: reducibility. Illinois Journal of Mathematics 21 (1977): 491–567。
  17. Robertson, N., Sanders, D., Seymour, P. and Thomas, R. The four-colour theorem. Journal of Combinatorial Theory B 70 (1997): 2–44。
  18. Gonthier, G. Formal proof — the four-color theorem. Notices of the AMS 55 (2008): 1382–1393。
  19. Szemerédi, E. Regular partitions of graphs. In: Problèmes combinatoires et théorie des graphes, Colloques Internationaux CNRS 260 (1978): 399–401。
  20. Gowers, W. T. Lower bounds of tower type for Szemerédi's uniformity lemma. Geometric and Functional Analysis 7 (1997): 322–337。
  21. Lovász, L. Large Networks and Graph Limits. AMS Colloquium Publications 60, 2012（专著）。
  22. Lovász, L. On the Shannon capacity of a graph. IEEE Transactions on Information Theory 25 (1979): 1–7。
  23. Goemans, M. and Williamson, D. Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming. Journal of the ACM 42 (1995): 1115–1145。
  24. Graham, R., Rothschild, B. and Spencer, J. Ramsey Theory. Wiley, 1980; 2nd ed. 1990（专著）。
  25. Robertson, N. and Seymour, P. Graph minors XX: Wagner's conjecture. Journal of Combinatorial Theory B 92 (2004): 325–357。
  26. Downey, R. and Fellows, M. Parameterized Complexity. Springer, 1999（专著）。
  27. Rödl, V. On a packing and covering problem. European Journal of Combinatorics 6 (1985): 69–78。
  28. Alon, N., Kim, J. H. and Spencer, J. Nearly perfect matchings in regular simple hypergraphs. Israel Journal of Mathematics 100 (1997): 171–187。
  29. Bollobás, B. Random Graphs. Academic Press, 1985; 2nd ed. Cambridge University Press, 2001（专著）。
  30. Barabási, A.-L. and Albert, R. Emergence of scaling in random networks. Science 286 (1999): 509–512。
  31. Kahn, J., Kalai, G. and Linial, N. The influence of variables on Boolean functions. Proceedings of the 29th IEEE Symposium on Foundations of Computer Science, 1988: 68–80。
  32. Friedgut, E. Sharp thresholds of graph properties and the k-SAT problem. Journal of the AMS 12 (1999): 1017–1054。
  33. Kahn, J. and Kalai, G. Thresholds and expectation thresholds. Combinatorics, Probability and Computing 16 (2007): 495–502。
  34. Chung, F., Graham, R. and Wilson, R. Quasi-random graphs. Combinatorica 9 (1989): 345–362。
  35. Thomason, A. Pseudo-random graphs. Annals of Discrete Mathematics 33 (1987): 307–331。
  36. Radhakrishnan, J. An entropy proof of Bregman's theorem. Journal of Combinatorial Theory A 77 (1997): 161–164。
  37. Chung, F., Graham, R., Frankl, P. and Shearer, J. Some intersection theorems for ordered sets and graphs. Journal of Combinatorial Theory A 43 (1986): 23–37。
  38. Chung, F. and Graham, R. Erdős on Graphs: His Legacy of Unsolved Problems. A K Peters, 1998（专著）。
  39. Erdős, P. Some of my favourite problems in various branches of combinatorics. Matematiche (Catania) 47 (1992): 231–240。
  40. Alon, N. Combinatorial Nullstellensatz. Combinatorics, Probability and Computing 8 (1999): 7–29。
  41. Dvir, Z. On the size of Kakeya sets in finite fields. Journal of the AMS 22 (2009): 1093–1097。
  42. Gowers, W. T. A new proof of Szemerédi's theorem. Geometric and Functional Analysis 11 (2001): 465–588。
  43. Tao, T. and Vu, V. Additive Combinatorics. Cambridge University Press, 2006（专著）。
  44. Bollobás, B. Extremal Graph Theory. Academic Press, 1978（专著）。
  45. Lovász, L. Combinatorial Problems and Exercises. North-Holland, 1979（专著）。

本表只列经典层（1950–2006）所依据的出处，不并入上文现代层的资料核验。专著、讲义集与机构文件按原始形态著录：这一段年代的正主本来就有相当比例不是期刊论文，改引一篇后世综述反而失真。2006 年之后的文献只用于说明流变，不改变经典条的入选年份。

新思想前沿 · 第 6 号《组合数学》· 20 条现代思想 ＋ 20 条 1950–2006 经典思想 · 双层资料核验 · 王德生 亲撰 · ← 回到 626 个领域总览