[論文レビュー] Three-coloring graphs with no induced seven-vertex path II : using a triangle

Maria Chudnovsky, Peter Maceli+1 more|arXiv (Cornell University)|Mar 12, 2015

Advanced Graph Theory Research参考文献 14被引用数 17

ひとこと要約

本稿では、三角形を含み、7頂点のパス（P₇）を誘導部分グラフとして持たないグラフ（P₇-freeグラフ）の3色可能性を判定する多項式時間アルゴリズムを提示する。ノーマルトライポッド構造を活用し、問題を有界リスト彩色のインスタンスに還元することで、アルゴリズムの実行時間はO(|V(G)|²⁴)に抑えられ、P₇-freeグラフの3彩色問題が完全に解かれた。これはグラフ彩色の複雑性に関する未解決問題を解決する。

ABSTRACT

In this paper, we give a polynomial time algorithm which determines if a given graph containing a triangle and no induced seven-vertex path is 3-colorable, and gives an explicit coloring if one exists. In previous work, we gave a polynomial time algorithm for three-coloring triangle-free graphs with no induced seven-vertex path. Combined, our work shows that three-coloring a graph with no induced seven-vertex path can be done in polynomial time.

研究の動機と目的

• P₇-freeグラフに三角形を含む場合の3彩色問題を解き、P₇-freeグラフの3彩色の複雑性分類を完成させること。
• 三角形を含まないP₇-freeグラフに関する先行研究を拡張し、三角形が存在する場合の処理を実現すること。
• P₇-freeグラフの3彩色問題に対して多項式時間アルゴリズムを提供し、グラフ理論における未解決問題に答えること。
• 3彩色可能性を保ちつつ探索空間を単純化する、パレットと制限を用いた還元フレームワークを構築すること。

提案手法

• アルゴリズムは、グラフを連結で三角形を含まない、または(A₁,A₂,A₃)-クリーンなグラフにまで縮小する前処理ステップを経て、3彩色可能性を確認する。
• グラフ内にノーマルトライポッド（A₁,A₂,A₃）を用いて、彩色の制約を構造化し、探索を導く。
• O(|V(G)|¹²)個の順序3パレットを生成し、それぞれがグラフの彩色制約の可能性を表す。
• 各パレットに対して、各頂点が最大2色まで利用可能なO(|V(G)|⁹)個の制限を構築し、取り扱いやすさを確保する。
• 各制限に対して、有界リスト彩色のための既知のO(|V(G)|³)アルゴリズムを用いて彩色可能性を検査する。
• 成功した制限から、O(|V(G)|²)時間で有効な3彩色を再構築する。全アルゴリズムの実行時間はO(|V(G)|²⁴)に抑えられる。

実験結果

リサーチクエスチョン

• RQ1 P₇-freeグラフに三角形が含まれる場合、3彩色問題は多項式時間で解けるか？
• RQ2 P₇-freeグラフに三角形が存在する場合でも、効率的な3彩色を可能にする構造的分解（例えばノーマルトライポッド）が存在するか？
• RQ3 問題を多項式時間で解ける有界リスト彩色インスタンスに還元できるか？
• RQ4 P₇-freeグラフに三角形が存在する場合、3彩色可能性の完全な特徴付けが可能か？

主な発見

• 本稿では、三角形を含むP₇-freeグラフの3色可能性を判定する多項式時間アルゴリズムを提示し、実行時間はO(|V(G)|²⁴)である。
• アルゴリズムは、三角形を含まないP₇-freeグラフに関する先行結果を、三角形が存在する場合にまで拡張し、P₇-freeグラフの3彩色の分類を完全に完了させた。
• グラフ内にノーマルトライポッドが存在することにより、有界リスト彩色問題への構造的還元が可能となり、効率的に解ける。
• アルゴリズムはパレットベースの還元フレームワークを用い、O(|V(G)|¹²)個のパレットとO(|V(G)|²¹)個の制限を生成し、それぞれの制限はO(|V(G)|³)時間で解ける。
• 還元されたインスタンスの3彩色をO(|V(G)|²)時間で元のグラフに拡張でき、正しさと効率性が保証される。
• 統合的なアプローチにより、P₇-freeグラフの3彩色が多項式時間で解けることが確認され、先行研究で提起された未解決問題が解決された。