[论文解读] Four-coloring $P_6$-free graphs. II. Finding an excellent precoloring

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

Advanced Graph Theory Research参考文献 6被引用 13

一句话总结

本文提出了一种多项式时间算法，可将任意 $P_6$-free 图的 4-预着色转换为一个多项式规模的‘优秀预着色’集合，这些预着色更易于处理。关键贡献在于，判断原始预着色是否可扩展为完整 4-着色的问题，可简化为检查每个优秀预着色，从而在 $P_6$-free 图上以多项式时间完整解决 4-预着色扩展问题。

ABSTRACT

This is the second paper in a series of two. The goal of the series 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 starts with a $4$-precoloring of a graph with no induced six-vertex path, and outputs a polynomial-size collection of so-called excellent precolorings. Excellent precolorings are easier to handle than general ones, and, in addition, in order to determine whether the initial precoloring can be extended to the whole graph, it is enough to answer the same question for each of the excellent precolorings in the collection. The first paper in the series deals with excellent precolorings, thus providing a complete solution to the problem.

研究动机与目标

• 开发一种多项式时间算法，将 $P_6$-free 图上的 4-预着色扩展问题约化为有限数量的更简单实例。
• 定义并表征‘优秀预着色’作为保持预着色扩展问题可解性的规范形式。
• 确保此类优秀预着色的数量在输入图大小上保持多项式规模。
• 通过约化为这些结构化预着色，实现 4-着色的高效判定与构造。
• 完成对具有连通禁止诱导子图的图的 4-着色复杂性的分类，解决 Huang 的猜想。

提出的方法

• 该算法从 $P_6$-free 图的 4-预着色开始，通过一系列变换生成一组‘种子’预着色。
• 每个种子预着色通过迭代应用结构引理（引理 14、16、19、21、23、24、25、26）进行细化，逐步简化预着色结构。
• 该过程确保最终的预着色为‘星形’并满足一组结构约束（I）–（VIII），从而被定义为‘优秀’。
• 该变换保持原始预着色可扩展为 4-着色当且仅当输出集合中至少一个优秀预着色可扩展的性质。
• 该算法在多项式时间内运行，并生成大小至多为 $|V(G)|^C$ 的集合（$C$ 为某常数），确保效率。
• 核心技术依赖于对 $P_6$-free 图的结构分析，包括邻域约束、连通性以及路径避免，以控制着色数量。

实验结果

研究问题

• RQ1 能否在多项式时间内解决 $P_6$-free 图上的 4-预着色扩展问题？
• RQ2 $P_6$-free 图的何种结构特性使其可约化为一个多项式规模的规范预着色集合？
• RQ3 如何将一般 4-预着色转换为一组保持扩展性质的‘优秀’预着色？
• RQ4 何种条件可确保此类优秀预着色的数量在输入规模上保持多项式？
• RQ5 是否存在一种预着色的规范形式，可简化 $P_6$-free 图中 4-着色判定问题？

主要发现

• 该算法生成一个优秀预着色集合 $\mathcal{L}$，满足 $|\mathcal{L}| \leq |V(G)|^C$（$C$ 为某常数），确保集合大小为多项式规模。
• 集合 $\mathcal{L}$ 中每个优秀预着色满足 $|S'| \leq C$，其中 $S'$ 为新实例中未预着色的顶点集合，确保复杂度有界。
• 原始 4-预着色可扩展为完整 4-着色当且仅当 $\mathcal{L}$ 中至少一个预着色可扩展，保持正确性。
• 该算法在多项式时间内运行，可在存在解时高效计算 4-着色扩展。
• 该变换确保 $X_0 \subseteq S' \cup X_0'$ 且 $f'|_{X_0} = f|_{X_0}$，保持原始预着色约束。
• 最终输出为结构简单且足以判定原问题的预着色，从而完整解决了 $P_6$-free 图上的 4-预着色扩展问题。