[論文レビュー] The parameterized complexity of k-edge induced subgraphs

Bingkai Lin, Yijia Chen|arXiv (Cornell University)|May 3, 2011

Advanced Graph Theory Research参考文献 19被引用数 4

ひとこと要約

この論文は、kエッジ部分グラフの探索問題が固定パrameter tractable (FPT) であることを確立し、Leizhen Cai が提起した未解決問題を解消した。著者らは、局所的に有界な木幅を持つグラフにおける一階論理の FPT モデルチェック（Frick と Grohe の結果）に基づく論理的手法と、三角数に関するガウスのユーレカ定理とラマジー型の議論を組み合わせることで、局所的に有界でないグラフに対しても対応し、最終的に残渣グラフにおける再帰的分解と有界な頂点被覆に関する議論により FPT を証明した。

ABSTRACT

We prove that finding a $k$-edge induced subgraph is fixed-parameter tractable, thereby answering an open problem of Leizhen Cai. Our algorithm is based on several combinatorial observations, Gauss' famous \emph{Eureka} theorem [Andrews, 86], and a generalization of the well-known fpt-algorithm for the model-checking problem for first-order logic on graphs with locally bounded tree-width due to Frick and Grohe [Frick and Grohe, 01]. On the other hand, we show that two natural counting versions of the problem are hard. Hence, the $k$-edge induced subgraph problem is one of the rare known examples in parameterized complexity that are easy for decision while hard for counting.

研究の動機と目的

• Leizhen Cai が提起した、k-エッジ部分グラフの決定問題のパrameter化された複雑性を解明すること。
• k をパrameterとしてパrameter化した場合に、k-エッジ部分グラフの存在が効率的に決定可能かどうかを特定すること。
• 数え上げ問題の複雑性と決定問題の複雑性のギャップを、数え上げ問題に既知の難易度があることを踏まえて調査すること。
• 一般グラフに対して有効な、論理的モデルチェックと組合せ的分解技術を統合した新しい FPT アルゴリズムを開発すること。
• 特に局所的木幅や次数の上限が成り立たない場合に、問題が依然として tractable であるための構造的条件を分析すること。

提案手法

• k-エッジ部分グラフの存在を一階論理で表現し、局所的に有界な木幅を持つグラフに対して Frick と Grohe の FPT モデルチェック結果を適用可能にする。
• 論理的手法を次数が k の関数で有界なグラフに拡張し、補グラフを用いて低次数および高次数の頂点の両方に対して FPT アルゴリズムを可能にする。
• 次数極端グラフ（非常に低次または非常に高次な頂点を含むグラフ）の概念を導入し、同じ論理的枠組みを用いてその FPT 可解性を証明する。
• 中程度の次数を持つ中心頂点の周囲で頂点集合を再帰的に分割し、エッジカット集合が有界な部分グラフにグラフを分解する。
• ラマジーの定理を用いて、有界サイズの集合 B を削除した後の残渣グラフの構造を分析し、大きな独立集合が存在するか、または3つの互いに隣接しないクリークが存在することを示す。
• ガウスの定理（3つの三角数の和）を用いて、3つの互いに隣接しないクリークのケースにおいて k-エッジ部分グラフの存在を証明し、FPT 証明を完了する。

実験結果

リサーチクエスチョン

• RQ1 k-エッジ部分グラフの決定問題は、k をパrameterとして固定パrameter tractable か？
• RQ2 木幅や次数が有界でない一般グラフに対しても、FPT 結果を拡張可能か？
• RQ3 決定問題が FPT である一方で、数え上げ版が依然として難しいのはなぜか？
• RQ4 どのようなグラフ構造的性質が、k-エッジ部分グラフの存在が FPT 時間で決定可能であることを可能にするか？
• RQ5 局所的に有界でない問題に対して、組合せ的分解と論理的アプローチを効果的に統合できるか？

主な発見

• k-エッジ部分グラフの決定問題は固定パrameter tractable であり、Leizhen Cai が提起した未解決問題を解決した。
• FPT アルゴリズムは、Frick と Grohe の論理的モデルチェックと、ラマジー理論および三角数に関するガウスの定理を含む組合せ的技術を統合している。
• アルゴリズムの実行時間は k に対して三重指数時間であるが、理論的複雑性解析においても有意義な結果である。
• 問題の数え上げ版 p-#Edge-Induced-Subgraph は #P-hard であるため、決定問題が数え上げ版よりも厳密に簡単であることが示された。
• 孤立頂点を除く制限付き数え上げ版 p-#Edge-Induced-Subgraph∗ は、fpt チューリング還元を用いて p-#Independent-Set から示されたように #W[1]-hard である。
• 証明により、任意のグラフは、構造的分解により直接的に k-エッジ部分グラフを含むか、ガウスの定理が存在を保証するケースに還元可能であることが示された。