MathLabs

解法:康–凯利–库恩–梅苏库–奥斯图斯基于迭代吸收法的渐近证明(2021年)

第 8/8 步:闭合逻辑:埃尔德什–法伯–洛瓦斯猜想对大 nn 成立
通俗地说

至此拼图的每一块都已就位:无论线性超图 H\mathcal{H} 接近有限射影平面、接近完全图 KnK_n、接近近铅笔结构,还是远离所有这三种极端形状,分层染色流水线都能将其所有超边装入至多 nn 个颜色类中。

埃尔德什、法伯与洛瓦斯1972年在一次聚会上作为超图理论看似温和的试金石所提出的问题,最终通过融汇五十年来的概率组合工具——罗德尔蚕食法、局部稀疏图染色、顶点吸收以及 11-因子化——对所有充分大的 nn 得到了解决。

∀ n≥n0, ∀ linear H on n vertices:χ′(H)≤n\forall\, n \ge n_0,\ \forall\, \text{linear } \mathcal{H} \text{ on } n \text{ vertices}: \quad \chi'(\mathcal{H}) \le n
详细分析

Kang、Kelly、Kühn、Methuku 与 Osthus(2023年,第8节)将第5、6、7节的分类讨论结合起来,完成了定理1.1的证明:存在 n0n_0,使得对所有 n≥n0n \ge n_0,nn 个顶点上的任意线性超图 H\mathcal{H} 的色指数都满足 χ′(H)≤n\chi'(\mathcal{H}) \le n。由对偶性,这同时证明了1.1节中全部三个等价表述:线性超图的边染色、两两至多共享一个顶点的 nn 个大小至多为 nn 的团之并的顶点染色,以及两两交集大小至多为 11 的 nn 个大小为 nn 的集合的染色。

正如作者在1.2节所指出的,证明中的每一个概率步骤都可以转化为针对大 nn 的随机多项式时间染色算法。

本步骤用到的知识