[論文レビュー] Induced Disjoint Paths in Claw-Free Graphs

Petr A. Golovach, Daniël Paulusma+1 more|arXiv (Cornell University)|Feb 20, 2012

Advanced Graph Theory Research参考文献 36被引用数 5

ひとこと要約

本稿では、構造的グラフ理論と準線形グラフ上の動的計画法を用いて、クラウフフリーなグラフにおいて、Induced Disjoint Paths問題がパrameter k に対して固定パrameter可 tractable であることを確立している。主な貢献は、固定 k に対して多項式時間アルゴリズムを提供することであり、K₁,₄-フリーなグラフへの拡張や多項式カーネルの存在は、標準的な複雑性仮定のもとでは不可能であることを示すタイトネス結果を含む。

ABSTRACT

Paths P1,...,Pk in a graph G=(V,E) are said to be mutually induced if for any 1 <= i < j <= k, Pi and Pj have neither common vertices nor adjacent vertices (except perhaps their end-vertices). The Induced Disjoint Paths problem is to test whether a graph G with k pairs of specified vertices (si,ti) contains k mutually induced paths Pi such that Pi connects si and ti for i=1,...,k. We show that this problem is fixed-parameter tractable for claw-free graphs when parameterized by k. Several related problems, such as the k-in-a-Path problem, are proven to be fixed-parameter tractable for claw-free graphs as well. We show that an improvement of these results in certain directions is unlikely, for example by noting that the Induced Disjoint Paths problem cannot have a polynomial kernel for line graphs (a type of claw-free graphs), unless NP \subseteq coNP/poly. Moreover, the problem becomes NP-complete, even when k=2, for the more general class of K_1,4-free graphs. Finally, we show that the n^O(k)-time algorithm of Fiala et al. for testing whether a claw-free graph contains some k-vertex graph H as a topological induced minor is essentially optimal by proving that this problem is W[1]-hard even if G and H are line graphs.

研究の動機と目的

• クラウフリーなグラフにおける Induced Disjoint Paths 問題のパラメータ化された複雑性を特定すること。
• 標準的な不交差パス問題から特殊グラフクラスにおける誘導変種への既知の tractability 結果の拡張すること。
• k-in-a-Path や k-in-a-Cycle などの関連問題への還元を分析することで、 tractability の限界を調査すること。
• ライングラフや K₁,₄-フリーなグラフなどの部分クラスにおけるカーネル化と複雑性の下界を確立すること。
• 重複する端末ペアを含む一般化された問題のパラメータ化された複雑性を調査すること。

提案手法

• クラウフリーなグラフを、クラウフリー性を保つ構造的変換を用いて準線形グラフに還元すること。
• Chudnovsky と Seymour の特徴付けを活用した、準線形グラフの構造に基づく動的計画法の適用。
• 固定 k に対して、準線形グラフ上での k-Induced Disjoint Paths 問題に多項式時間アルゴリズムを適用すること。
• 既知の難問からの還元により、ライングラフ上での誘導的トポロジカルマイナー問題が W[1]-hard であることを証明すること。
• K₁,₄-フリーなグラフ上での 2-Induced Disjoint Paths 及び関連問題の NP 完全性証明の構築。
• Disjoint Paths 問題から得られるカーネル化下界技術を、ライングラフ上での Induced Disjoint Paths 問題に適応すること。

実験結果

リサーチクエスチョン

• RQ1 クラウフリーなグラフにおいて、Induced Disjoint Paths 問題はパrameter k に対して固定パラメータ可 tractable か？
• RQ2 この問題は、K₁,₄-フリーなグラフへ拡張可能であり、かつ tractability を保つか？
• RQ3 ライングラフ上での Induced Disjoint Paths 問題は、パrameter k に対して多項式カーネルを有するか？
• RQ4 ライングラフ上での誘導的トポロジカルマイナー問題のパラメータ化された複雑性は何か？
• RQ5 重複する端末ペアの許容が、誘導的不交差パス問題の複雑性にどのように影響するか？

主な発見

• クラウフリーなグラフにおいて、Induced Disjoint Paths 問題はパrameter k に対して固定パラメータ可 tractable であり、実行時間は n^O(k) である。
• k-in-a-Path、k-in-a-Cycle、k-in-a-Tree 問題は、クラウフリーなグラフにおいてパrameter k に対して固定パラメータ可 tractable である。
• クラウフリーなグラフにおいて、アンカーデッド誘導的トポロジカルマイナー問題は、ターゲットグラフ H の頂点数をパラメータとして固定パラメータ可 tractable である。
• ライングラフ上での Induced Disjoint Paths 問題には、NP ⊆ coNP/poly が成り立たない限り多項式カーネルが存在しない。
• K₁,₄-フリーなグラフで最大次数が3である場合でさえ、2-Induced Disjoint Paths 問題は NP 完全である。
• ライングラフ上でも誘導的トポロジカルマイナー問題は W[1]-hard であるため、Fiala らのアルゴリズムは本質的に最適である。