[论文解读] A survey of $\chi$-boundedness

Alex Scott, Paul Seymour|arXiv (Cornell University)|Dec 18, 2018

Limits and Structures in Graph Theory参考文献 99被引用 18

一句话总结

本综述全面回顾了$χ$-有界性这一图论核心概念的最新进展，该概念涉及色数($\chi$)与团数($\omega$)之间的关系。综述整合了关于$χ$-有界理想的研究成果，特别是排除奇洞、带弦圈或特定点极小子结构的图类，提供了紧致的界，并指出了开放性问题，包括多项式$χ$-绑定函数及算法影响。

ABSTRACT

If a graph has bounded clique number and sufficiently large chromatic number, what can we say about its induced subgraphs? András Gyárfás made a number of challenging conjectures about this in the early 1980s, which have remained open until recently; but in the last few years there has been substantial progress. This is a survey of where we are now.

研究动机与目标

• 系统化并总结$χ$-有界性领域的最新突破，该领域由安德拉斯·盖尔法什发起，长期受到关注。
• 阐明在团数有界时，图的色数被团数函数有界所依赖的结构条件。
• 识别并分析与$χ$-有界理想相关的关键猜想与定理，特别是排除奇洞、带弦圈或特定点极小子结构配置的图类。
• 突出显示在$χ$-有界类中计算色数及检测诱导子结构方面的开放性问题与算法挑战。

提出的方法

• 综述基础性结果，包括强完美图定理以及埃拉多斯–洛瓦兹–图灵构造的不含三角形但色数很高的图。
• 通过结构分解与禁止子图刻画分析，证明各类图类的$χ$-有界性。
• 应用极值图论、随机图方法及显式构造技术（如莫伊兹基、埃拉多斯、图灵）来展示高$χ$与低$ω$图的存在性。
• 利用点极小操作与圈图表示，建立在点极小封闭下理想中$χ$-有界性的结论。
• 借助算法结果（如多项式时间检测奇洞）支持以$ω$表示的$χ$的构造性界。
• 提出关于多项式$χ$-绑定函数与结构划分（如划分为完美图）的猜想，以强化已知界。

实验结果

研究问题

• RQ1 在何种条件下，具有有界团数但色数较大的图必然包含诱导奇洞？
• RQ2 对于所有$H$，$H$-自由图的色数能否被团数的函数有界？
• RQ3 排除一个圈上恰好$k$条弦的图类是否$χ$-有界？
• RQ4 所有关于点极小封闭的真理想是否$χ$-有界？在这些类中，最大团与稳定集能否在多项式时间内计算？
• RQ5 对于关键图类，能否使$χ$-绑定函数为多项式而非双指数形式（以$ω$为变量）？

主要发现

• 对每个$\kappa$，若$\omega(G) \leq \kappa$且$\chi(G) > 2^{2^{\kappa+2}}$，则$G$包含一个奇洞，证实了盖尔法什的猜想。
• 排除奇洞的图类是$χ$-有界的，其双指数$χ$-绑定函数为$f(x) = 2^{2^{x+2}}$。
• 排除作为诱导子图的恰好有$k$条弦的圈的图类在$k = 2, 3$时是$χ$-有界，且一个猜想将其推广至所有$k$。
• 排除存在一个顶点在圈上有$k$个邻居的诱导圈的图类被猜想为$χ$-有界。
• 圈图类是多项式$χ$-有界的，其绑定函数为二次函数，且该结论可推广至所有点极小封闭且排除所有圈图的图类。
• 近期结果证实，每个关于点极小封闭的真理想都是$χ$-有界，支持了吉姆·吉尔斯长期以来的猜想。