[论文解读] Improved Complexity Results on $k$-Coloring $P_t$-Free Graphs

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

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

一句话总结

本文证明了在 $P_7$-free 图中 4-COLORING 是 NP-完全的，且在 $P_6$-free 圖中 5-COLORING 是 NP-完全的，採用一種新的歸約框架從 3-SAT 進行。這些結果填補了 $k$-coloring $P_t$-free 圖在 $k \geq 4$ 時的複雜度差距，僅剩 4-COLORING 在 $P_6$-free 圖中尚未解決，作者 conjecture 其為多項式時間可解，並證明其在包含 $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$ 時的計算複雜度。
• 透過證明 $P_7$-free 和 $P_6$-free 圖中 $k$-COLORING 的 NP-完全性，填補 $k$-COLORING 在 $P_t$-free 圖分類中剩餘的差距。
• 提供一種新的、簡化的從 3-SAT 歸約框架，以證明此情境下的 NP-完全性。
• 透過證明 $(P_6, P)$-free 圖中 4-COLORING 的多項式時間可解性，支持 4-COLORING 在 $P_6$-free 圖中為多項式時間可解的猜想。

提出的方法

• 發展一種從 3-SAT 到 $k$-COLORING 在 $P_t$-free 圖中 NP-完全性的通用歸約框架。
• 該構造使用具有特定頂點集合和鄰接規則的路徑 $P_t$，以模擬 3-SAT 的子句與變數。
• 證明關鍵結構性陳述（例如，某些頂點集合之間的反完全性），以確保所得圖為 $P_t$-free。
• 利用鄰域與誘導子圖的性質，防止出現禁止的路徑與環。
• 針對多項式時間情況，使用預著色與星形結構分析，以在 $(P_6, P)$-free 圖中擴展著色。
• 該框架同時應用於證明兩項 NP-完全性結果，簡化了先前的構造。

实验结果

研究问题

• RQ1 4-COLORING 在 $P_7$-free 圖中是否為 NP-完全？
• RQ2 5-COLORING 在 $P_6$-free 圖中是否為 NP-完全？
• RQ3 4-COLORING 在 $P_6$-free 圖中的複雜度是否可解決？
• RQ4 禁止額外的誘導子圖（如 $P$）是否能使 $P_6$-free 圖中的 4-COLORING 可 tractable？
• RQ5 能否發展一種通用框架，統一 $k$-COLORING 在 $P_t$-free 圖中的 NP-完全性證明？

主要发现

• 4-COLORING 在 $P_7$-free 圖中為 NP-完全，解決了此分類中的一個關鍵開放案例。
• 5-COLORING 在 $P_6$-free 圖中為 NP-完全，優於先前結果。
• NP-完全性結果透過一種新的、簡化的從 3-SAT 歸約框架證明。
• 在 $k$-COLORING 於 $P_t$-free 圖中唯一尚未解決的情況是 4-COLORING 在 $P_6$-free 圖中。
• 4-COLORING 在 $(P_6, P)$-free 圖中為多項式時間可解，其中 $P$ 是從 $C_4$ 衍生出的特定 5-頂點圖。
• 結果顯示，禁止短誘導環可能簡化著色問題，但 $C_3$-free $P_{164}$-free 圖中 4-COLORING 仍為 NP-完全。