解法:康–凯利–库恩–梅苏库–奥斯图斯基于迭代吸收法的渐近证明(2021年)
通俗地说
至此拼图的每一块都已就位:无论线性超图 接近有限射影平面、接近完全图 、接近近铅笔结构,还是远离所有这三种极端形状,分层染色流水线都能将其所有超边装入至多 个颜色类中。
埃尔德什、法伯与洛瓦斯1972年在一次聚会上作为超图理论看似温和的试金石所提出的问题,最终通过融汇五十年来的概率组合工具——罗德尔蚕食法、局部稀疏图染色、顶点吸收以及 -因子化——对所有充分大的 得到了解决。
详细分析
Kang、Kelly、Kühn、Methuku 与 Osthus(2023年,第8节)将第5、6、7节的分类讨论结合起来,完成了定理1.1的证明:存在 ,使得对所有 , 个顶点上的任意线性超图 的色指数都满足 。由对偶性,这同时证明了1.1节中全部三个等价表述:线性超图的边染色、两两至多共享一个顶点的 个大小至多为 的团之并的顶点染色,以及两两交集大小至多为 的 个大小为 的集合的染色。
正如作者在1.2节所指出的,证明中的每一个概率步骤都可以转化为针对大 的随机多项式时间染色算法。