[论文解读] A Survey on the Computational Complexity of Colouring Graphs with Forbidden Subgraphs
本综述全面分析了在排除一个或两个诱导子图的图类上，图着色问题（包括着色、k-着色、预着色扩展、列表着色和可选着色）的计算复杂性。它建立了二分结果，表明复杂性关键取决于禁止子图的结构：当禁止子图是最大度有界的森林且每棵子树中至多有一个度为3的顶点时，问题可在多项式时间内求解；否则为NP难。
For a positive integer $k$, a $k$-colouring of a graph $G=(V,E)$ is a mapping $c: V ightarrow\{1,2,...,k\}$ such that $c(u) eq c(v)$ whenever $uv\in E$. The Colouring problem is to decide, for a given $G$ and $k$, whether a $k$-colouring of $G$ exists. If $k$ is fixed (that is, it is not part of the input), we have the decision problem $k$-Colouring instead. We survey known results on the computational complexity of Colouring and $k$-Colouring for graph classes that are characterized by one or two forbidden induced subgraphs. We also consider a number of variants: for example, where the problem is to extend a partial colouring, or where lists of permissible colours are given for each vertex.
研究动机与目标
- 系统分类排除一个或两个诱导子图的图类上图着色问题的计算复杂性。
- 解决关于此类图类上着色、预着色扩展、列表着色和可选着色复杂性的开放问题。
- 基于禁止诱导子图的结构性质（特别是树宽、路径宽和平面性）建立二分结果。
- 比较强H-自由图、H-极小图和H-拓扑极小图上问题的复杂性，突出可解性差异。
提出的方法
- 作者使用结构图论，特别是禁止诱导子图刻画，对图类进行分类。
- 他们应用关于树宽和路径宽的已知结果（如Bienstock等人的研究和Fellows等人的研究），以界定H-自由图的结构参数。
- 论文利用二分定理（例如定理4.1）判断问题是否可在多项式时间内求解或为NP完全。
- 通过归约和难解性证明推导复杂性结果，包括最大度为4的图上3-着色问题的NP完全性。
- 作者使用Menger定理和拓扑极小图论证，证明在结构约束下某些图被排除。
- 他们将参数复杂性结果（例如3-可选着色的Π₂^p难解性）与结构约束相结合，以分类可选着色的复杂性。
实验结果
研究问题
- RQ1对于哪些图H，着色问题在H-自由图上是多项式时间可解的？
- RQ2在排除一个或两个诱导子图的图上，预着色扩展和列表着色的复杂性如何变化？
- RQ3强H-自由图、H-极小图和H-拓扑极小图上问题的复杂性之间有何关系？
- RQ4在H的何种结构条件下，可选着色在H-自由图上是多项式时间可解或Π₂^p难解？
- RQ5是否存在某些图H，使得着色问题在H-极小图和H-拓扑极小图上的复杂性不同？
主要发现
- 对于K₁,₅-极小图，着色问题是多项式时间可解的，但对于最大度为4的图，着色问题是NP完全的，表明极小图类与度有界类之间存在复杂性差距。
- 对于H-拓扑极小图，若H是长度r≥3的环Cr，则着色问题是多项式时间可解，原因在于长路径和长环的缺失。
- 当H是最大度至多为3且每连通分量中至多有一个度为3的顶点的森林时，强H-自由图上的可选着色问题可在线性时间内求解。
- 即使3-可选着色问题在强H-自由图上也是Π₂^p难解的，当H是非平面图或包含奇圈时。
- 对于H-极小图，若H是平面图，则可选着色问题可在线性时间内求解；若H是非平面图，则为Π₂^p难解，从而建立了完整的二分结果。
- 可选着色的复杂性在强H-自由图与H-极小图之间存在差异（例如当H为奇圈时），表明极小图与诱导子图排除导致了不同的复杂性图景。
更好的研究，从现在开始
从论文设计到论文写作，大幅缩短您的研究时间。
无需绑定信用卡
本解读由 AI 生成，并经人工编辑审核。