[論文レビュー] Kernelization Using Structural Parameters on Sparse Graph Classes

Gajarsk\'y, Jakub, Hlin\v{e}n\'y, Petr+6 more|arXiv (Cornell University)|Feb 27, 2013

Advanced Graph Theory Research参考文献 30被引用数 33

ひとこと要約

本稿では、定数の木幅へのモジュレータのサイズという新しいパラメータを導入することで、スパースなグラフクラスにおける線形およびほぼ線形のカーネライゼーションのメタ定理を確立する。定数の木幅を持つグラフ上で有限整数インデックス（FII）を持つ任意のグラフ問題は、この構造的モジュレータをパラメータとして用いることで、有界拡張性グラフ上で線形カーネル、ノーウェアラスなグラフ上でほぼ線形カーネルを実現できることを示し、従来の木幅モジュレータに起因する制限を克服する。

ABSTRACT

Meta-theorems for polynomial (linear) kernels have been the subject of intensive research in parameterized complexity. Heretofore, meta-theorems for linear kernels exist on graphs of bounded genus, $H$-minor-free graphs, and $H$-topological-minor-free graphs. To the best of our knowledge, no meta-theorems for polynomial kernels are known for any larger sparse graph classes; e.g., for classes of bounded expansion or for nowhere dense ones. In this paper we prove such meta-theorems for the two latter cases. More specifically, we show that graph problems that have finite integer index (FII) have linear kernels on graphs of bounded expansion when parameterized by the size of a modulator to constant-treedepth graphs. For nowhere dense graph classes, our result yields almost-linear kernels. While our parameter may seem rather strong, we argue that a linear kernelization result on graphs of bounded expansion with a weaker parameter (than treedepth modulator) would fail to include some of the problems covered by our framework. Moreover, we only require the problems to have FII on graphs of constant treedepth. This allows us to prove linear kernels for problems such as Longest Path/Cycle, Exact $s,t$-Path, Treewidth, and Pathwidth, which do not have FII on general graphs (and the first two not even on bounded treewidth graphs).

研究の動機と目的

• 有界拡張性およびノーウェアラスなグラフといったより大きなスパースなグラフクラスにおける多項式カーネルのメタ定理のギャップを埋める。
• 特に木幅モジュレータが失敗する自然な問題（例：Longest Path や Treewidth）に対して線形カーネルを実現できないという、従来のカーネライゼーションパラメータの制限を克服する。
• 辺の分割に対して増加する構造的パラメータを同定し、それがスパースなグラフクラスにおけるFII問題の線形カーネライゼーションを可能にする。
• FIIが定数の木幅グラフ上で成り立つという基礎的性質に注目することで、既存のカーネライゼーションメタ定理を統一的かつ一般化する。

提案手法

• 辺の分割に対して増加するという性質を持つ、構造的パラメータとしての木幅モジュレータを導入する。木幅モジュレータとは異なり、このパラメータは分割に対して安定である。
• 定数の木幅を持つグラフ上でFIIを満たす問題が、洗練されたプロトローション置換技術を用いて、有界拡張性グラフ上で線形カーネルをもつことを証明する。
• グラフの直和や辺収縮といったグラフ操作に対してFIIが安定することを活用し、有界木幅および有界パス幅を基本ケースとして用いる。
• 木分解と最小分離集合に基づく再帰的分解戦略を用い、モジュレータ削除後の部分グラフの幅を制御する。
• t境界付きグラフと同値関係（≃pw,t, ≡pw,t）の概念を用い、カーネライゼーションにおいて考慮すべき異なるグラフタイプの数を制限する。
• 有界木幅グラフ上で木幅とパス幅がFIIを満たすことを確立し、このフレームワークがこれらの基本的問題に適用可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 線形カーネルのメタ定理は、有界拡張性やノーウェアラスなグラフといったより大きなスパースなグラフクラスへ拡張可能か？
• RQ2 木幅モジュレータが失敗するスパースなグラフクラスにおいて、木幅モジュレータが線形カーネルを達成するための有効なパラメータであるか？
• RQ3 一般または有界木幅グラフ上でFIIを満たさない問題（例：Longest Path や Treewidth）が、木幅モジュレータをパラメータとして用いることで、依然として線形カーネルを有するか？
• RQ4 定数の木幅グラフ上でFIIが成り立つという性質は、スパースなグラフクラス全体にわたるカーネライゼーションメタ定理の統一的条件として機能できるか？
• RQ5 定数の木幅グラフ上でFIIが成り立つことと、ノーウェアラスなグラフクラスにおけるほぼ線形カーネルの存在との関係は何か？

主な発見

• 定数の木幅を持つグラフ上で有限整数インデックス（FII）を持つ任意のグラフ問題は、定数の木幅へのモジュレータのサイズをパラメータとして用いることで、有界拡張性グラフ上で線形カーネルを有する。
• ノーウェアラスなグラフクラスでは、同じフレームワークによりほぼ線形カーネルが得られ、従来の強い構造的仮定を必要としていた結果を改善する。
• 木幅モジュレータは本質的である：有界拡張性グラフ上で木幅モジュレータを用いた線形カーネライゼーションは、Feedback Vertex Set や Treewidth t-Vertex Deletion といった自然な問題を含まない可能性がある。
• パス幅および木幅問題は、有界木幅グラフ上でFIIを満たすため、このフレームワークがこれらの基本的問題に適用可能である。
• このフレームワークは、異なるスパースなグラフクラスにわたる基礎的条件（定数の木幅グラフ上でのFII）を統一することで、既存のメタ定理を一般化する。
• 結果として、定数の木幅グラフ上でのFIIは、一般または有界木幅グラフ上でFIIを満たさない問題に対しても、スパースなグラフクラスにおけるカーネライゼーションの十分かつ構造的に整合性のある条件であることが示された。