[论文解读] 4-coloring $P_6$-free graphs with no induced 5-cycles

Maria Chudnovsky, Peter Maceli+2 more|arXiv (Cornell University)|Jul 9, 2014

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

一句话总结

本文提出了一种针对 $(P_6, C_5)$-自由图的 4-色问题的多项式时间算法，结合了新型的团割集分解与局部一致性检测。关键贡献在于证明了当图同时排除一个 6 个顶点的路径和一个 5-圈时，4-色问题可在多项式时间内求解，从而解决了参数化图着色领域长期悬而未决的开放问题。

ABSTRACT

We show that the 4-coloring problem can be solved in polynomial time for graphs with no induced 5-cycle $C_5$ and no induced 6-vertex path $P_6$.

研究动机与目标

• 为解决 $P_6$-自由图中无诱导 5-圈的 4-色问题的复杂性，该问题尽管已知在更大路径下为 NP-完全，但此前仍为开放问题。
• 建立 $(P_6, C_5)$-自由图中 4-色问题的多项式时间算法，此类图被证实是 $k=4$ 且 $t=6$ 情况下唯一剩余的难题。
• 提供 $(P_6, C_5)$-自由图的结构表征，使其可通过分解与一致性检查实现高效着色。
• 表明列表着色版本仍为 NP-完全，凸显了该类图中列表着色与标准着色之间的本质差异。

提出的方法

• 应用 Phase I 算法，通过特定割集对图进行约简，利用结构不变量确保正确性。
• 使用团割集分解将图分解为更小的、不含团割集的不可约分组件。
• 通过检测 7-反洞检查每个组件是否为完美图；完美图可在多项式时间内 4-着色。
• 对非完美组件，应用基于局部一致性和列表着色到 2SAT 的 Phase II 算法。
• 通过在两种颜色上构建辅助列表与约束，将剩余子图上的 4-着色问题约简为 2SAT。
• 整合所有组件的着色结果并反向还原约简操作，重构出原图的有效 4-着色。

实验结果

研究问题

• RQ1 在已知 $P_7$-自由图与 $C_5$-自由图各自为 NP-完全的前提下，$P_6$-自由图中无诱导 5-圈的 4-色问题是否可在多项式时间内求解？
• RQ2 能否基于团割集与一致性检测的结构分解方法，解决 $(P_6, C_5)$-自由图中的 4-色问题？
• RQ3 标准 4-色问题与列表 4-色问题在 $(P_6, C_5)$-自由图中的复杂性有何区别？
• RQ4 禁止子图 $P_6$ 与 $C_5$ 如何相互作用以实现多项式时间可解性？
• RQ5 该算法方法能否推广至 $P_t$-自由图中附加环约束的其他 $k$-色问题？

主要发现

• 4-色问题在 $(P_6, C_5)$-自由图上可多项式时间求解，解决了参数化图着色领域的一个重大开放案例。
• 该算法采用两阶段方法：Phase I 通过割集操作约简图，Phase II 应用团割集分解与基于 2SAT 的一致性检测。
• 完美 $(P_6, C_5)$-自由图可 4-着色，且可通过检测 7-反洞在多项式时间内识别与着色。
• 非完美组件通过 Phase II 算法处理，该算法将着色问题约简为大小至多为二的辅助列表上的 2SAT。
• 该问题的列表着色版本仍为 NP-完全，表明在此类图中标准着色与列表着色存在显著差异。
• 整体算法运行时间为多项式时间，所有步骤——分解、一致性检查与 2SAT 约简——均在 $O(n^4)$ 时间内完成。