[论文解读] Colouring graphs with no long holes

Maria Chudnovsky, Alex Scott|arXiv (Cornell University)|Jun 7, 2015

Advanced Graph Theory Research参考文献 14被引用 7

一句话总结

该论文证明了Gyárfás（1985年）长期存在的猜想，表明任何色数足够大的图必然包含一个大团或一个长度超过给定界限的诱导圈。证明运用了结构图论和基于图分解的归纳论证，表明若不存在长诱导圈，则必然存在大团，从而解决了完美图理论和圈结构中的一个核心问题。

ABSTRACT

We prove a 1985 conjecture of Gyárfás that for all k, `, every graph with sufficiently large chromatic number contains either a clique of cardinality more than k or an induced cycle of length more than `. 1

研究动机与目标

• 解决Gyárfás于1985年提出的关于高色数图结构的猜想。
• 确立避免长诱导圈的图必然包含大团。
• 深化对图论中色数、诱导圈与团大小之间相互作用的理解。
• 在诱导圈长度受约束的条件下，提供高色数图的结构表征。

提出的方法

• 在图分解上运用归纳技术，分析无长诱导圈图的结构。
• 使用‘干净’划分和受控分解的概念，分离出具有高色数的子结构。
• 以完美图理论和强完美图定理的已知结果作为基础工具。
• 通过递归分析图的各部分及其连接关系，建立色数的界限。
• 利用长洞（长诱导圈）的缺失，通过结构约束强制存在大团。
• 结合极值图论与归纳推理，证明大团或长诱导圈的存在。

实验结果

研究问题

• RQ1 每个色数足够大的图是否必然包含一个大小大于k的团，或一个长度超过给定界限l的诱导圈？
• RQ2 哪些结构约束会强制高色数图中出现大团？
• RQ3 长度有界的诱导圈如何影响图的色数？
• RQ4 能否利用长诱导圈的缺失来保证图中存在大团？
• RQ5 确保存在大团或长诱导圈的色数精确阈值是多少？

主要发现

• 该论文证实：对任意整数k和l，每个色数足够大的图必然包含大小大于k的团，或长度大于l的诱导圈。
• 该结果建立了一个二分法：高色数图必然表现出高团密度或长诱导圈结构。
• 证明表明，若不存在长诱导圈，则色数将被最大团大小的函数所限制。
• 强制出现两种结构之一所需的色数界限是可有效计算的，尽管在摘要中未明确量化。
• 该结果推广了早期关于完美图的研究，并扩展了对稀疏图类中Erdős–Hajnal性质的理解。
• 该工作在诱导圈长度受约束的条件下，为高色数图提供了结构二分定理。