[論文レビュー] Improved Complexity Results on $k$-Coloring $P_t$-Free Graphs

Shenwei Huang|arXiv (Cornell University)|Apr 21, 2013

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

ひとこと要約

本稿では、3-SATからの新しい還元枠組みを用いて、$P_7$-free 図形における4-彩色と$P_6$-free 図形における5-彩色が両方ともNP完全であることを確立している。これらの結果により、$k \geq 4$ の$k$-彩色の$P_t$-free 図形における複雑性のギャップが埋まり、残された未解決な問題は$P_6$-free 図形における4-彩色に限られ、著者らはその問題が多項式時間で解けると予想しており、$P$-free 図形を含む部分クラスではその正しさを証明している。

ABSTRACT

A graph is $H$-free if it does not contain an induced subgraph isomorphic to $H$. We denote by $P_k$ and $C_k$ the path and the cycle on $k$ vertices, respectively. In this paper, we prove that 4-COLORING is NP-complete for $P_7$-free graphs, and that 5-COLORING is NP-complete for $P_6$-free graphs. These two results improve all previous results on $k$-coloring $P_t$-free graphs, and almost complete the classification of complexity of $k$-COLORING $P_t$-free graphs for $k\ge 4$ and $t\ge 1$, leaving as the only missing case 4-COLORING $P_6$-free graphs. We expect that 4-COLORING is polynomial time solvable for $P_6$-free graphs; in support of this, we describe a polynomial time algorithm for 4-COLORING $P_6$-free graphs which are also $P$-free, where $P$ is the graph obtained from $C_4$ by adding a new vertex and making it adjacent to exactly one vertex on the $C_4$.

研究の動機と目的

• $k$-COLORING が $P_t$-free 図形において $k \geq 4$ の場合に計算複雑性を解明すること。
• 4-彩色の$P_t$-free 図形における分類の残りのギャップを埋めるために、$P_7$-free および $P_6$-free 図形におけるNP完全性を証明すること。
• この文脈におけるNP完全性を示すために、3-SATからの新しい簡素化された還元枠組みを提供すること。
• 4-彩色が$P_6$-free 図形において多項式時間で解けると予想する根拠を、$(P_6, P)$-free 図形という部分クラスにおいて証明すること。

提案手法

• 3-SATからの一般還元枠組みを構築し、$P_t$-free 図形における$k$-COLORING のNP完全性を証明する。
• 変数と節を模倣するための特定の頂点集合と隣接関係を持つパス$P_t$の構築を行う。
• 特定の頂点集合間の反完全性（anti-completeness）などの主要な構造的性質を証明し、結果の図形が$P_t$-freeであることを保証する。
• 近傍の性質と誘導部分グラフの性質を活用して、禁止されたパスやサイクルの出現を防ぐ。
• 多項式時間のケースでは、事前彩色とスターベース構造の解析を用いて$(P_6, P)$-free 図形における彩色の拡張を行う。
• この枠組みを同時に適用することで、両方のNP完全性結果を示し、従来の構成を簡素化する。

実験結果

リサーチクエスチョン

• RQ1 4-彩色は$P_7$-free 図形においてNP完全か？
• RQ2 5-彩色は$P_6$-free 図形においてNP完全か？
• RQ3 $P_6$-free 図形における4-彩色の複雑性は解けるか？
• RQ4 追加の誘導部分グラフ（例：$P$）を禁止することで、$P_6$-free 図形における4-彩色が容易になるか？
• RQ5 一般枠組みを用いて、$P_t$-free 図形における$k$-COLORING のNP完全性証明を統一できるか？

主な発見

• 4-彩色は$P_7$-free 図形においてNP完全であり、分類における重要な未解決事項が解決された。
• 5-彩色は$P_6$-free 図形においてNP完全であり、従来の結果を改善している。
• NP完全性の結果は、3-SATからの新しい簡素化された還元枠組みを用いて証明された。
• $P_t$-free 図形における$k$-COLORING の中で唯一未解決なケースは、$P_6$-free 図形における4-彩色である。
• 4-彩色は$(P_6, P)$-free 図形において多項式時間で解ける。ここで$P$は$C_4$から導かれる特定の5頂点グラフである。
• これらの結果は、短い誘導サイクルを禁止することで彩色問題が単純化される可能性を示唆しているが、$C_3$-free かつ $P_{164}$-free 図形では4-彩色が依然としてNP完全のままである。