[論文レビュー] Narrowing the Complexity Gap for Colouring ($C_s$,$P_t$)-Free Graphs

Shenwei Huang, Matthew Johnson+1 more|arXiv (Cornell University)|Jul 6, 2014

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

ひとこと要約

この論文は、(C_s, P_t)-free 図形における k-彩色、k-部分彩色拡張、リスト k-彩色の計算量的複雑性を解明し、完全な二分岐を確立する。各 k, s, t に対して、問題は多項式時間で解けるか、NP完全のどちらかである。主な貢献は、固定された s と k に対して、 tractable と intractable なケースを分ける正確な t の閾値を特定することであり、特にリスト k-彩色が k ≥ 4, s = 3, t ≥ 8 および s ≥ 5, t ≥ 6 の場合に NP 完全であることを示している。一方、t が小さい場合や k ≤ 3 の場合には多項式時間で解ける。

ABSTRACT

For a positive integer $k$ and graph $G=(V,E)$, a $k$-colouring of $G$ is a mapping $c: V ightarrow\{1,2,\ldots,k\}$ such that $c(u) eq c(v)$ whenever $uv\in E$. The $k$-Colouring problem is to decide, for a given $G$, whether a $k$-colouring of $G$ exists. The $k$-Precolouring Extension problem is to decide, for a given $G=(V,E)$, whether a colouring of a subset of $V$ can be extended to a $k$-colouring of $G$. A $k$-list assignment of a graph is an allocation of a list -a subset of $\{1,\ldots,k\}$- to each vertex, and the List $k$-Colouring problem is to decide, for a given $G$, whether $G$ has a $k$-colouring in which each vertex is coloured with a colour from its list. We continued the study of the computational complexity of these three decision problems when restricted to graphs that contain neither a cycle on $s$ vertices nor a path on $t$ vertices as induced subgraphs (for fixed positive integers $s$ and~$t$).

研究の動機と目的

• (C_s, P_t)-free 図形における k-彩色、k-部分彩色拡張、リスト k-彩色の計算量的複雑性を分類すること。
• 固定された s と k に対して、t の正確な閾値を特定することで、これらの問題の複雑性ギャップを埋めること。この閾値は、多項式時間で解けるか NP 完全に分かれる境界を示す。
• 既存の結果（例えば、弦型、二部、(K_r,s, P_t)-free 図形）を拡張し、より強い二分岐定理を導出すること。
• 未解決のケースを特定し、特にリスト k-彩色と k-彩色の複雑性の不一致に注目した新たな研究課題を提示すること。

提案手法

• 著者らは、文献からの既知の結果と新しい還元を組み合わせて、特定のパrameter 範囲における NP 完全性を証明する。
• クリーケ・幅が有界であることを応用し、彩色数が有界なグラフクラス（例えば、定理 5.2 の (K_s, P_t)-free 図形）の結果を適用する。
• 多項式時間で解ける場合、P_t-free および (C_s, P_t)-free 図形における既知の tractability 結果を活用する。特に、P_5-free 図形におけるリスト k-彩色の線形時間アルゴリズムを用いる。
• 既知の NP 完全問題からの還元を用いて、困難性（intractability）を証明する。特に、リスト k-彩色および k-部分彩色拡張に対して用いる。
• さまざまなグラフクラス（例えば、弦型、二部、(K_r,s, P_t)-free）の結果を統合し、二分岐を強化する。
• k ≥ 4 および s = 3 または s ≥ 5 の場合に特に注目し、既存の研究と新しい結果を統合することで、定理 1.1 を証明する。

実験結果

リサーチクエスチョン

• RQ1 (C_s, P_t)-free 図形において、リスト k-彩色が NP 完全または多項式時間で解けるのは、s, t, k のどの値のときか？
• RQ2 固定された s と k に対して、k-部分彩色拡張が tractable から NP 完全に移行する t の正確な閾値は何か？
• RQ3 k ≥ 3 となるグラフ H および k が存在し、H-free 図形においてリスト k-彩色は NP 完全だが、k-彩色は多項式時間で解けるという例は存在するか？
• RQ4 二部グラフで P_7-free の場合、リスト 4-彩色は NP 完全か？
• RQ5 3-彩色と 3-部分彩色拡張の複雑性は、弦型二部グラフにおいてどうか？

主な発見

• リスト k-彩色は、k ≥ 4, s = 3, t ≥ 8 および k ≥ 4, s ≥ 5, t ≥ 6 の場合に NP 完全である。
• リスト k-彩色は、k ≤ 2, s ≥ 3, t ≥ 1；k = 3, s = 3, t ≤ 6；および k = 3, s ≥ 5, t ≤ 6 の場合に多項式時間で解ける。
• k-部分彩色拡張は、k = 4, s = 3, t ≥ 10 および k ≥ 5, s = 3, t ≥ 10 の場合に NP 完全である。
• k-彩色は、k = 4, s = 3, t ≥ 22 および k ≥ 5, s = 3, t ≥ t_k の場合に NP 完全であり、t_k は k のみに依存する。
• k-彩色は、k = 3, s = 3, t ≤ 7 および k = 3, s ≥ 5, t ≤ 7 の場合に多項式時間で解ける。
• 本論文は、3 つの問題において合計 21 個の未解決ケースを特定しており、特に k = 4, s = 3, t = 7 から 21 まで、および k ≥ 5, s = 3, t = k+3 から t_k−1 までのケースが含まれる。