[論文レビュー] Kernel Bounds for Path and Cycle Problems

Hans L. Bodlaender, Bart M. P. Jansen+1 more|arXiv (Cornell University)|Jun 21, 2011

Advanced Graph Theory Research被引用数 10

ひとこと要約

本稿は、頂点被覆、最大葉数、クラスターランダムグラフへのモジュレータなど、構造的グラフパラメータでパラメータ化されたパスおよびサイクル問題（例：長さサイクル、素性パス、禁止ペア付き最長パス）に対して多項式カーネル化を確立する。二部マッチングに基づくカーネル化技術と2進表現を用いて、O(|X|²)の頂点カーネルを達成する一方で、クロスコンポジションを用いたカーネル下界の証明により、ハミルトン閉路問題は、外部平面グラフへのモジュレータでパラメータ化された場合、NP ⊆ coNP/polyでない限り多項式カーネルを有しないことを示している。

ABSTRACT

Connectivity problems like k-Path and k-Disjoint Paths relate to many important milestones in parameterized complexity, namely the Graph Minors Project, color coding, and the recent development of techniques for obtaining kernelization lower bounds. This work explores the existence of polynomial kernels for various path and cycle problems, by considering nonstandard parameterizations. We show polynomial kernels when the parameters are a given vertex cover, a modulator to a cluster graph, or a (promised) max leaf number. We obtain lower bounds via cross-composition, e.g., for Hamiltonian Cycle and related problems when parameterized by a modulator to an outerplanar graph.

研究の動機と目的

• 解のサイズkによる自然なパラメータ化では失敗するが、頂点被覆や最大葉数といった非標準的パラメータ化の下で、パスおよびサイクル問題が多項式カーネルを有するかどうかを調査すること。
• 構造的パラメータ（例：クラスターランダムグラフへのモジュレータ）に基づく、二部マッチングと2進表現に依存する一般化されたカーネル化フレームワークを構築すること。
• クロスコンポジション技術を用いて、ハミルトン閉路および関連問題のカーネル化下界を確立すること。
• さまざまなパラメータ化の下で、禁止ペアを含むパス問題のパrameterized複雑性の研究を開始すること。
• 強力なパラメータ（例：頂点被覆）と弱いパラメータ（例：外部平面グラフへのモジュレータ）を比較することで、カーネル化の tractable と intractable の境界を明らかにすること。

提案手法

• 二部マッチングを用いて、パスおよびサイクル問題における不要な頂点を特定・削減し、頂点被覆Xでパラメータ化した場合にO(|X|²)の頂点カーネルを導出する。
• クラスターグラフにおけるクリークサイズの2進表現を用いて、大きなクリークを効率的に処理し、明示的なサイズ制限なしに多項式カーネルを実現する。
• 重み付きバージョンを元の無重み問題に還元するために、カープ還元を適用する。特に、長さサイクルおよび最長パス問題に有効である。
• クロスコンポジション技術を用いてカーネル下界を証明し、特定のパラメータ化が、NP ⊆ coNP/polyでない限り多項式カーネルを有しないことを示す。
• ガジェットに基づく還元を構築し、禁止ペア制約をパス問題に模倣し、インスタンス間で解の同値性を保つ。
• FPTアルゴリズム、W[1]-hardness証明、およびpara-NP完全性結果を組み合わせることで、禁止ペア付きパス問題のパrameterized複雑性を分析する。

実験結果

リサーチクエスチョン

• RQ1 解のサイズkによる自然なパラメータ化では失敗するが、頂点被覆や最大葉数といった強力な構造的パラメータでパラメータ化した場合、パスおよびサイクル問題が多項式カーネルを有するかどうか。
• RQ2 クラスターランダムグラフや外部平面グラフへのモジュレータといった構造的パラメータを用いた場合、パスおよびサイクル問題に一般化可能なカーネル化技術は何か。
• RQ3 クロスコンポジション技術は、ハミルトン閉路および関連問題におけるカーネル化の本質的制限をどの程度明らかにするか。
• RQ4 禁止ペアの存在が、さまざまなパラメータ化の下でパス問題のカーネル化複雑性に与える影響は何か。
• RQ5 解のサイズとグラフクラスへの削除距離の組み合わせ（複合パラメータ）が、長さサイクルおよび素性パス問題のカーネル化に与える影響は何か。

主な発見

• 本稿は、二部マッチングに基づく一般化されたカーネル化技術を提示し、頂点被覆Xでパラメータ化した場合、長さサイクル、最長パス、素性パス、素性サイクルに対してO(|X|²)の頂点カーネルを達成する。
• 最大葉数やクラスターランダムグラフへのモジュレータでパラメータ化された問題に対しては、大きなクリークを圧縮する2進表現のテクニックを用いて多項式カーネルを達成し、以前のハミルトン閉路に関する結果を一般化する。
• クロスコンポジションを用いて、二部パスへのモジュレータでパラメータ化された有向ハミルトン閉路問題は、NP ⊆ coNP/polyでない限り多項式カーネルを有しないことを証明する。
• 同様のクロスコンポジション構成により、外部平面グラフへのモジュレータでパラメータ化されたハミルトン閉路問題についても、同じ仮定の下で多項式カーネルを有しないことが示される。
• 禁止ペア付きパス問題に関しては、W[1]-hardness、FPTアルゴリズム、para-NP完全性を確立し、頂点被覆でパラメータ化した場合、最長パス（禁止ペア付き）はNP ⊆ coNP/polyでない限り多項式カーネルを有しないことを証明する。
• 結果として、頂点被覆や最大葉数といった強力な構造的パラメータでは多項式カーネルが達成可能であるのに対し、外部平面グラフへのモジュレータといった弱いパラメータでは達成不可能であるという明確な二分岐が示された。これは標準的な複雑性仮定のもとで成立する。