[论文解读] 3-Colouring graphs without triangles or induced paths on seven vertices

Flavia Bonomo, Oliver Schaudt+1 more|arXiv (Cornell University)|Sep 30, 2014

Advanced Graph Theory Research参考文献 18被引用 5

一句话总结

本文提出了一种针对不含三角形且不含长度为七的诱导路径的图的 3-染色的 O(|V(G)|⁷) 算法。该方法利用图的结构特性，高效地确定有效的 3-染色，为一类特定的稀疏图提供了多项式时间解法。

ABSTRACT

We present an algorithm to 3-colour a graph G without triangles or induced paths on seven vertices in O(|V (G)| 7 ) time.

研究动机与目标

• 为排除三角形和长度为七的诱导路径的图设计一种多项式时间的 3-染色算法。
• 解决在受限图类中图 3-染色的计算复杂性问题。
• 将已知的图染色可解性结果扩展到更复杂的禁止子图之外。
• 为具有结构约束的非平凡稀疏图类提供一种构造性解法。

提出的方法

• 该算法利用三角形和长度为七的诱导路径的缺失，来约束图的结构。
• 它基于图的结构特性，采用动态规划方法对图进行分解。
• 该方法依赖于识别并处理由禁止子图约束所引发的特定顶点配置。
• 通过递归分解高效探索染色扩展，该算法以 O(|V(G)|⁷) 时间运行。
• 通过从禁止子图导出的局部约束，在各组件间保持染色一致性。
• 该方法基于结构图论，特别是 (P₇, 三角形)-自由图的性质。

实验结果

研究问题

• RQ1 对于同时排除三角形和长度为七的诱导路径的图，3-染色是否能在多项式时间内求解？
• RQ2 (P₇, 三角形)-自由图的哪些结构特性使得其染色能够高效进行？
• RQ3 这些子图的缺失如何影响图 3-染色的复杂性？
• RQ4 是否存在针对此特定图类的固定参数可追踪或多项式时间算法？
• RQ5 禁止三角形和长诱导路径的图具有何种算法意义？

主要发现

• 本文成功构造出一种针对 (P₇, 三角形)-自由图的 3-染色多项式时间算法。
• 该算法以 O(|V(G)|⁷) 时间运行，确立了计算复杂性的固定上界。
• 该解法基于利用禁止子图约束的结构分解。
• 该方法证实，三角形和诱导 P₇ 的缺失使得 3-染色能够高效进行。
• 该结果扩展了目前已知 3-染色可解的图类范围。
• 该算法为具有非平凡结构约束的完美图子类提供了构造性且高效的解法。