[论文解读] Three-coloring graphs with no induced seven-vertex path II : using a triangle

Maria Chudnovsky, Peter Maceli+1 more|arXiv (Cornell University)|Mar 12, 2015

Advanced Graph Theory Research参考文献 14被引用 17

一句话总结

本文提出了一种多项式时间算法，用于判断包含三角形且无诱导七顶点路径（P₇-free图）的图的3-可图染色性。通过利用正规三叉架结构，并将问题约化为有界列表染色实例，该算法的时间复杂度为O(|V(G)|²⁴)，从而完整解决了P₇-free图的3-可图染色问题，并解决了图染色复杂性领域的一个开放问题。

ABSTRACT

In this paper, we give a polynomial time algorithm which determines if a given graph containing a triangle and no induced seven-vertex path is 3-colorable, and gives an explicit coloring if one exists. In previous work, we gave a polynomial time algorithm for three-coloring triangle-free graphs with no induced seven-vertex path. Combined, our work shows that three-coloring a graph with no induced seven-vertex path can be done in polynomial time.

研究动机与目标

• 解决含有三角形的P₇-free图的3-可图染色问题，完成对P₇-free图3-可图染色复杂性的分类。
• 通过处理三角形存在的情况，扩展先前关于无三角形P₇-free图的研究。
• 为P₇-free图的3-可图染色问题提供一个多项式时间算法，回答图论中的一个开放问题。
• 开发一种基于调色板与限制条件的约化框架，保持3-可图染色性的同时简化搜索空间。

提出的方法

• 该算法首先通过预处理步骤检查3-可图染色性，将图约化为连通的、无三角形或(A₁,A₂,A₃)-干净图。
• 在图中利用一个正规三叉架(A₁,A₂,A₃)来组织染色约束并引导搜索过程。
• 生成一组O(|V(G)|¹²)阶为3的调色板，每种调色板代表图的一种可能染色约束。
• 针对每个调色板，构建O(|V(G)|⁹)个限制条件，其中每个顶点最多仅有两种可用颜色，以确保可处理性。
• 使用已知的O(|V(G)|³)时间复杂度的有界列表染色算法，检查每个限制条件的可染色性。
• 在O(|V(G)|²)时间内从成功的限制条件中重构出有效的3-可图染色，整个算法的时间复杂度为O(|V(G)|²⁴)。

实验结果

研究问题

• RQ1 当图包含三角形时，P₇-free图的3-可图染色问题是否可在多项式时间内求解？
• RQ2 是否存在一种结构分解（如正规三叉架），可实现P₇-free图中含三角形情况下的高效3-可图染色？
• RQ3 该问题是否可约化为多项式时间可解的有界列表染色实例？
• RQ4 P₇-free图中三角形的存在是否允许对3-可图染色性进行完整刻画？

主要发现

• 本文提出了一种多项式时间算法，可判断含有三角形的P₇-free图是否为3-可图染色，时间复杂度为O(|V(G)|²⁴)。
• 该算法成功将先前关于无三角形P₇-free图的研究结果扩展至三角形存在的场景，完成了对P₇-free图3-可图染色复杂性的完整分类。
• 图中存在正规三叉架使得问题可被结构化地约化为有界列表染色问题，而后者是高效可解的。
• 该算法采用基于调色板的约化框架，生成O(|V(G)|¹²)个调色板和O(|V(G)|²¹)个限制条件，每个限制条件可在O(|V(G)|³)时间内求解。
• 对约化实例的3-可图染色可于O(|V(G)|²)时间内扩展至原图，确保了正确性与效率。
• 综合方法证实，P₇-free图的3-可图染色问题可在多项式时间内求解，解决了先前文献中提出的开放问题。