解法:康–凯利–库恩–梅苏库–奥斯图斯基于迭代吸收法的渐近证明(2021年)
通俗地说
在一般的线性超图 中,超边的大小可以从 一直到 :射影平面中的边大小约为 ,而近铅笔结构有一条大小为 的巨型边。没有任何单一染色工具能通用于所有尺度,因为两条巨型边几乎总会在公共顶点处冲突,而小边却很少冲突。
因此作者将 按大小划分为不同层级——超大边、射影平面尺度 附近的边、中等边以及有界大小的小边——然后从最大到最小依次染色,使得最棘手的冲突在全部 种颜色都还可用时先行解决。
详细分析
Kang、Kelly、Kuhn、Methuku 与 Osthus (2023, 第2.2与第5节) 按边的大小分层,并单独处理困难的大边构型。线性性并不意味着任意两条大于 的边都相交;相反,它只把其中两两不交的边数限制在 以内。证明提取相交性很强的大边构型,尤其是接近有限射影平面尺度 的构型,再利用其结构与稳定性给相交的边使用不同颜色。
- 线图
- 以 的超边为顶点的普通图,当两条超边在 中共享一个顶点时,它们在 中连一条边;对 进行边染色等价于对 进行顶点染色。
- 局部稀疏图
- 最大度数为 且每个顶点的邻域内边数相对较少的图;约翰逊型定理表明这类图可以用 种颜色染色,远少于平凡的 。