[論文レビュー] Three-coloring graphs with no induced seven-vertex path I : the triangle-free case

Maria Chudnovsky, Peter Maceli+1 more|arXiv (Cornell University)|Sep 17, 2014

Advanced Graph Theory Research参考文献 9被引用数 16

ひとこと要約

本稿では、三角形を含まず、7頂点のパス（P7）を誘導部分グラフとして持たないグラフにおける3色可能性を決定する多項式時間アルゴリズムを提示する。構造的分解、パレット更新、2-SATへの還元を活用することで、5サイクルに関する包括的ケース解析と制御されたサブパレット列挙を介して、3色付けを効率的にテストする。P7-およびC3-自由グラフの全クラスに対して、O(|V|¹⁸)の実行時間を達成する。

ABSTRACT

In this paper, we give a polynomial time algorithm which determines if a given triangle-free graph with no induced seven-vertex path is 3-colorable, and gives an explicit coloring if one exists.

研究の動機と目的

• 三角形を含まず、誘導部分グラフとしてP7を含まないグラフにおける3色付け問題を解く。
• P5-およびP6-自由グラフにおける既知の多項式時間結果をP7-自由の場合に拡張する。
• ℓ ≥ 7 に対するPℓ-自由グラフにおける3色付け問題という未解決問題に取り組む。
• HがパスであるH-自由グラフに対して、構造的アルゴリズム枠組みを構築する。
• 3色付けを生成的に決定するアルゴリズムを開発し、多項式時間内で存在するか否かを特定する。

提案手法

• 構造的解析を簡素化するための明確なグラフ変換を用いる。
• 5サイクル（C5）、7サイクル（C7）およびシェルに基づく再帰的分解を適用し、頂点集合を分割する。
• 固定色の頂点に基づいて色の選択肢を減らすためにパレット更新を実装する。
• サブパレット列挙を用いて、問題を複数の2-SATインスタンスに還元する。
• Aspvall-Plass-Tarjanを介して2-SATソルバーを適用し、各頂点の色が最大2色に制限されたパレットの色付け可能性をテストする。
• 5サイクルの3色付けに関する包括的ケース解析とサブパレットの刈り込みを組み合わせることで、探索空間を制限する。

実験結果

リサーチクエスチョン

• RQ1 三角形を含まず、P7を誘導部分グラフとして持たないグラフにおいて、3色可能性を多項式時間で決定できるか？
• RQ2 P7-自由で三角形を含まないグラフのどのような構造的性質が効率的な色付けを可能にするか？
• RQ3 パレット更新とサブパレット列挙をどのように用いることで、3色付けの探索空間を縮小できるか？
• RQ4 P7-自由グラフにおける3色付け問題を多項式個の2-SATインスタンスに還元できるか？
• RQ5 5サイクル、シェル、7サイクルは、このようなグラフのアルゴリズム的分解において果たす役割は何か？

主な発見

• P7-およびC3-自由グラフに対して、アルゴリズムはO(|V|¹⁸)時間で実行され、多項式時間での可解性が確立される。
• P7-、C3-、C7-、シェル-自由で5サイクルを含むグラフに対して、アルゴリズムはO(|V|⁶)時間で実行される。
• アルゴリズムは、5サイクルの色付けから導かれる有限のサブパレット集合（O(|V|⁴)）を用いて、グローバルな3色付け可能性をテストする。
• パレット更新により、初期制約を適用した後、すべての頂点パレットのサイズが最大2に保証される。
• アルゴリズムは、5サイクルの53通りの可能な3色付けとそれらに整合する拡張をすべてテストすることで、3色可能性を正しく決定する。
• 解法は、C7やシェルを含まないP7-自由で三角形を含まないグラフが双対的であることに依存しており、O(|V|³)時間で2色付けが可能である。