[論文レビュー] 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色付けに拡張可能であることと、出力集合内の少なくとも1つの優れた前色付けが拡張可能であることの同値性が保たれる。
• アルゴリズムは多項式時間で実行され、出力集合のサイズが $|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}| \leq |V(G)|^C$ を満たす優れた前色付けの集合 $\mathcal{L}$ を生成する。このため、多項式サイズが保証される。
• 集合 $\mathcal{L}$ 内の各優れた前色付けは、$|S'| \leq C$ を満たす。ここで $S'$ は新しいインスタンスにおいて前色付けされていない頂点の集合であり、複雑性が有界であることを示す。
• 元の4色前色付けが完全な4色付けに拡張可能であることと、$\mathcal{L}$ 内の少なくとも1つの前色付けが拡張可能であることとは同値であり、正しさが保たれる。
• アルゴリズムは多項式時間で実行され、解が存在する場合には効率的に4色付けの拡張が計算可能である。
• 変換により、$X_0 \subseteq S' \cup X_0'$ かつ $f'|_{X_0} = f|_{X_0}$ が保たれ、元の前色付け制約が維持される。
• 最終出力は、構造的に単純かつ元の問題を解くのに十分な前色付けから構成されており、$P_6$-free 図形における4色前色付け拡張問題の解決を完了する。