[论文解读] Four-coloring Ps 6 -free graphs. I. Extending an excellent precoloring.

Maria Chudnovsky, Sophie Spirkl+1 more|arXiv (Cornell University)|Feb 7, 2018

Scheduling and Timetabling Solutions参考文献 8被引用 9

一句话总结

本文提出了一种多项式时间算法，用于判断 $P_6$-free 图的特殊预着色是否可扩展为合法的 4-着色，并在可能的情况下构造出此类扩展。该研究为解决 $P_6$-free 图中的 4-着色问题与 4-预着色扩展问题奠定了关键基础，完成了对连通禁止诱导子图的复杂度分类。

ABSTRACT

This is the first paper in a series whose goal is to give a polynomial time algorithm for the $4$-coloring problem and the $4$-precoloring extension problem restricted to the class of graphs with no induced six-vertex path, thus proving a conjecture of Huang. Combined with previously known results this completes the classification of the complexity of the $4$-coloring problem for graphs with a connected forbidden induced subgraph. In this paper we give a polynomial time algorithm that determines if a special kind of precoloring of a $P_6$-free graph has a precoloring extension, and constructs such an extension if one exists. Combined with the main result of the second paper of the series, this gives a complete solution to the problem.

研究动机与目标

• 为 $P_6$-free 图中特定类型的预着色设计一种多项式时间扩展算法。
• 为具有连通禁止诱导子图的图的 4-着色问题的复杂度分类做出贡献。
• 解决黄（Huang）关于 $P_6$-free 图中 4-着色与 4-预着色扩展问题的猜想。
• 为系列中的第二篇论文奠定算法基础框架，以完成完整解决方案。

提出的方法

• 设计一种基于动态规划的算法，专门针对 $P_6$-free 图的结构特性。
• 聚焦于一类特殊预着色——“优秀预着色”——其满足特定的局部约束条件。
• 使用图分解技术，将问题简化为在诱导子图上的更小子问题。
• 利用已知的 $P_6$-free 图结构结果，限制搜索空间并确保多项式时间复杂度。
• 采用递归方法，在保持 4-可着色性的同时检查扩展的可行性。
• 将该算法与系列中第二篇论文的结果相结合，实现 4-预着色扩展问题的完整解决方案。

实验结果

研究问题

• RQ1 能否在多项式时间内判断 $P_6$-free 图的预着色是否可扩展为合法的 4-着色？
• RQ2 $P_6$-free 图的哪些结构特性使得预着色扩展能够高效实现？
• RQ3 如何形式化“优秀预着色”的概念以确保可解性？
• RQ4 第一篇论文中的算法在完成 $P_6$-free 图 4-着色问题复杂度分类中起到什么作用？

主要发现

• 开发出一种多项式时间算法，用于判断 $P_6$-free 图的优秀预着色是否允许扩展为 4-着色。
• 当存在有效扩展时，该算法能成功构造出合法的 4-着色扩展，确保正确性与效率。
• 该解决方案依赖于 $P_6$-free 图的结构约束，以限制可能的着色扩展数量。
• 该方法设计为与第二篇论文的结果兼容，从而实现 4-预着色扩展问题的完整解决方案。
• 本工作完成了黄（Huang）所提出的关于具有连通禁止诱导子图的图的 4-着色问题复杂度分类。