[論文レビュー] Everything you always wanted to know about the parameterized complexity of Subgraph Isomorphism (but were afraid to ask)

Dániel Marx, Michał Pilipczuk|arXiv (Cornell University)|Jul 8, 2013

Advanced Graph Theory Research参考文献 43被引用数 13

ひとこと要約

この論文は、パターングラフ $H$ およびテキストグラフ $G$ の両方の10のパラメータを体系的に評価することで、部分グラフ同型のパラメータ化された複雑さを分析する包括的なフレームワークを提供する。11の最大の肯定的結果（効率的アルゴリズム）と17の最大の否定的結果（W[1]-hardnessの証明）を確立し、$G$ における有界次数、フィードバック頂点集合、およびハドウィガー数が $H$ における有界パス幅および最大次数と組み合わさることで、非常に非自明な tractable なケースが得られることを明らかにしている。一方で、$H$ が有界次数の木でパス幅が定数であり、$G$ が有界パス幅の平面グラフであるという極めて制限された条件下でも W[1]-hard であることを証明している。

ABSTRACT

Given two graphs $H$ and $G$, the Subgraph Isomorphism problem asks if $H$ is isomorphic to a subgraph of $G$. While NP-hard in general, algorithms exist for various parameterized versions of the problem: for example, the problem can be solved (1) in time $2^{O(|V(H)|)}\cdot n^{O( w(H))}$ using the color-coding technique of Alon, Yuster, and Zwick; (2) in time $f(|V(H)|, w(G))\cdot n$ using Courcelle's Theorem; (3) in time $f(|V(H)|,\genus(G))\cdot n$ using a result on first-order model checking by Frick and Grohe; or (4) in time $f(\maxdeg(H))\cdot n^{O( w(G)})$ for connected $H$ using the algorithm of Matoušek and Thomas. Already this small sample of results shows that the way an algorithm can depend on the parameters is highly nontrivial and subtle. We develop a framework involving 10 relevant parameters for each of $H$ and $G$ (such as treewidth, pathwidth, genus, maximum degree, number of vertices, number of components, etc.), and ask if an algorithm with running time \[ f_1(p_1,p_2,..., p_\ell)\cdot n^{f_2(p_{\ell+1},..., p_k)} \] exist, where each of $p_1,..., p_k$ is one of the 10 parameters depending only on $H$ or $G$. We show that {\em all} the questions arising in this framework are answered by a set of 11 maximal positive results (algorithms) and a set of 17 maximal negative results (hardness proofs); some of these results already appear in the literature, while others are new in this paper. On the algorithmic side, our study reveals for example that an unexpected combination of bounded degree, genus, and feedback vertex set number of $G$ gives rise to a highly nontrivial algorithm for Subgraph Isomorphism. On the hardness side, we present W[1]-hardness proofs under extremely restricted conditions, such as when $H$ is a bounded-degree tree of constant pathwidth and $G$ is a planar graph of bounded pathwidth.

研究の動機と目的

• パターングラフ $H$ およびテキストグラフ $G$ のパラメータの組み合わせが、部分グラフ同型の効率的パラメータ化アルゴリズムを許容するかどうかを体系的かつ包括的に調査すること。
• パラメータ化された部分グラフ同型において長年の欠落していた否定的結果（intractable なケース）を特定することで、その長年の欠落を解消すること。
• 色分け法（color-coding）、カーセルの定理（Courcelle’s Theorem）、CSPに基づくアプローチといった既存のアルゴリズム的結果を、一つの包括的フレームワークに統合・拡張すること。
• 構造的パラメータ（例：次数、木幅、生成 genus、フィードバック頂点集合）の特定の組み合わせが、固定パラメータの tractability をもたらすかどうかを同定すること。

提案手法

• 著者らは、$H$ および $G$ の両方について10のパラメータ（木幅、パス幅、生成 genus、最大次数、フィードバック頂点集合、ハドウィガー数、連結成分数など）を含むフレームワークを定義する。
• すべての可能なパラメータの組み合わせを、アルゴリズム的（肯定的）および非 tractable（否定的）なケースに分類し、形式 $f_1(p_1,\dots,p_\ell) \cdot n^{f_2(p_{\ell+1},\dots,p_k)}$ に注目する。
• 肯定的結果については、制約充足問題（CSP）への還元と、既知の tractable なCSPアルゴリズム（特に有界拡張性およびマイナー閉性に基づくもの）を用いる。
• 否定的結果については、ユニタリーバインパッキングや他の W[1]-hard 問題からのパラメータ化還元を用い、非常に制限されたパラメータの組み合わせでも非 tractability が生じることを示す。
• $H$ が有界次数の木でパス幅が定数であり、$G$ が有界パス幅の平面グラフである場合でさえ、問題が W[1]-hard であることを証明する。
• $G$ における有界次数およびフィードバック頂点集合が、$H$ における有界ハドウィガー数および有界最大次数と組み合わさることで、効率的な部分グラフ同型が可能であるという、新しい構造的結果を導入する。

実験結果

リサーチクエスチョン

• RQ1 パターングラフ $H$ およびテキストグラフ $G$ のどのパラメータの組み合わせが、部分グラフ同型の固定パラメータの tractable アルゴリズムを許容するか？
• RQ2 $H$ が有界次数で $G$ が有界フィードバック頂点集合を持つ場合、他のパラメータが無限大であっても、問題が効率的に解けるか？
• RQ3 $H$ が木で $G$ が平面グラフである場合、追加の構造的制約のもとで、非自明なアルゴリズムが存在するか？
• RQ4 非常に制限されたパラメータ値であっても、問題が W[1]-hard のままとなる最大の非 tractable ケースは存在するか？
• RQ5 このフレームワークは、11の最大の tractable および17の最大の intractable なパラメータの組み合わせを完全かつ最小限に同定できるか？

主な発見

• 有界次数および $G$ におけるフィードバック頂点集合、それに加えて $H$ における有界ハドウィガー数および最大次数を組み合わせた場合、$f_1(\Delta(G), \mathbf{fvs}(G)) \cdot n^{f_2(\mathbf{hadw}(G), \Delta(H))}$ の実行時間で部分グラフ同型を解くアルゴリズムが存在し、これは非自明な tractable ケースを示している。
• $H$ が有界次数の木でパス幅が定数であり、$G$ が有界パス幅の平面グラフである場合でさえ、問題が W[1]-hard であることが示され、このような制限されたパラメータの組み合わせでも tractability が保証されないことが明らかになった。
• 部分グラフ同型を $G$ のマイナー上のCSPに還元する新しいアルゴリズムが提示され、有界拡張性およびマイナー閉性の性質を活用して、効率的な計算を実現している。
• フレームワークにより、11の最大の肯定的結果と17の最大の否定的結果が同定され、部分グラフ同型のパラメータの組み合わせに対する完全な分類が得られた。
• この論文は、木幅が指数関数的に現れる（色分け法の例）場合と、乗数因子に現れる（カーセルの定理の例）場合の2つの根本的に異なるアルゴリズム的パラダイムを明らかにすることで、長年の未解決問題を解決した。
• ユニタリーバインパッキングから部分グラフ同型への還元により、$G$ がパスの disjoint な和集合（パス幅1、最大次数2）で、$H$ がパスの disjoint な和集合である場合でさえ、$H$ の連結成分数が少ない場合でも W[1]-hard であることが証明された。