[论文解读] Three-coloring graphs with no induced seven-vertex path I : the triangle-free case

Maria Chudnovsky, Peter Maceli+1 more|arXiv (Cornell University)|Sep 17, 2014

Advanced Graph Theory Research参考文献 9被引用 16

一句话总结

本文提出了一种多项式时间算法，用于判断不含三角形且无诱导七顶点路径（P7-free）的图的3-可图染色性。通过结构分解、调色板更新以及归约为2-SAT，该算法通过在5-圈上的穷举案例分析与受控的子调色板枚举，高效地测试3-染色，对于P7-和C3-自由图类，其时间复杂度为O(|V|¹⁸)。

ABSTRACT

In this paper, we give a polynomial time algorithm which determines if a given triangle-free graph with no induced seven-vertex path is 3-colorable, and gives an explicit coloring if one exists.

研究动机与目标

• 解决不含三角形且无诱导P7的图的3-染色问题。
• 将已知的P5-和P6-自由图的多项式时间结果扩展至P7-自由情形。
• 解决ℓ ≥ 7时Pℓ-自由图中3-染色的开放问题。
• 为H-自由图（H为路径）构建一种结构化的算法框架。
• 提供一种构造性算法，可在多项式时间内生成3-染色或确定其不存在。

提出的方法

• 使用清晰的图变换以简化结构分析。
• 基于5-圈（C5）、7-圈（C7）和壳结构进行递归分解，以划分顶点集。
• 采用调色板更新技术，根据已固定颜色的顶点减少染色选择。
• 通过子调色板枚举，将问题归约为多个2-SAT实例。
• 应用2-SAT求解器（基于Aspvall-Plass-Tarjan算法），测试每个顶点至多两种颜色的调色板的可染色性。
• 结合对5-圈的3-染色穷举案例分析与子调色板剪枝，以控制搜索空间。

实验结果

研究问题

• RQ1 能否在多项式时间内判定不含三角形的P7-自由图的3-可图染色性？
• RQ2 P7-自由且不含三角形的图具有何种结构特性，使其可高效染色？
• RQ3 如何利用调色板更新与子调色板枚举来减少3-染色问题的搜索空间？
• RQ4 能否将P7-自由图的3-染色问题归约为多项式数量的2-SAT实例？
• RQ5 5-圈、壳结构与7-圈在该类图的算法分解中起到何种作用？

主要发现

• 对于{P7, C3}-自由图，该算法的时间复杂度为O(|V|¹⁸)，确立了多项式时间可解性。
• 对于包含5-圈的{P7, C3, C7, shell}-自由图，该算法的时间复杂度为O(|V|⁶)。
• 该算法使用从5-圈染色导出的有限子调色板集合（O(|V|⁴)）来测试全局3-可图染色性。
• 调色板更新确保在应用初始约束后，所有顶点的调色板大小至多为2。
• 该算法通过测试53种可能的5-圈3-染色及其相容扩展，正确判断了3-可图染色性。
• 该解法依赖于这样一个事实：不含C7或壳结构的P7-自由、三角形自由图是二分图，因此可在O(|V|³)时间内实现2-染色。