[論文レビュー] Linear Kernels on Graphs Excluding Topological Minors

Alexander Langer, Felix Reidl+2 more|arXiv (Cornell University)|Jan 13, 2012

Advanced Graph Theory Research参考文献 18被引用数 6

ひとこと要約

本稿では、有限整数インデックスおよび木幅を有界にする性質を持つ任意のグラフ問題が、固定されたトポロジカルマイナーを除外するグラフ上で線形カーネルを有することを確立している。H-トポロジカルマイナーを除外するグラフの構造的性質と、鍵となる分解補題を活用することで、従来のマイナーを除外するグラフや genus を有界にするグラフに対する結果を一般化し、Feedback Vertex Set、Chordal Vertex Deletion、Edge Dominating Set などの問題に対して線形カーネルを証明している。

ABSTRACT

We show that problems which have finite integer index and satisfy a requirement we call treewidth-bounding admit linear kernels on the class of $H$-topological-minor free graphs, for an arbitrary fixed graph $H$. This builds on earlier results by Fomin et al.\ on linear kernels for $H$-minor-free graphs and by Bodlaender et al.\ on graphs of bounded genus. Our framework encompasses several problems, the prominent ones being Chordal Vertex Deletion, Feedback Vertex Set and Edge Dominating Set.

研究の動機と目的

• H-マイナーを除外するグラフに限らない、より広いクラスのH-トポロジカルマイナーを除外するグラフへの線形カーネライゼーション理論の拡張。
• スパarsなグラフクラスにおいて線形カーネルを有するための十分条件（有限整数インデックスおよび木幅を有界にする性質）の同定。
• 平面的、有界 genus、マイナーを除外するグラフにおける従来の線形カーネルに関する結果の統合と一般化。
• Feedback Vertex Set や Chordal Vertex Deletion といった代表的な問題へのフレームワークの適用可能性の提示。
• 接続性を有する変種および幅を有界にする削除問題について、トポロジカルマイナーを除外するグラフ上での影響の探求。

提案手法

• 木幅を有界にする問題という概念を導入・形式化し、小さな頂点集合が残りのグラフの木幅を定数にまで低下させることを特徴づける。
• 有限整数インデックスを、大きな構造を模倣する小さな置換可能な部分構造の存在を保証する性質として定義する。
• H-トポロジカルマイナーを除外するグラフに関する鍵となる構造的補題を用いて、カーネライゼーションが必要となる大きな複雑な成分の数を有界化する。
• 有限整数インデックスを利用した削減規則を適用し、大きな非重要部分を有界サイズの部分構造に圧縮する。
• H-トポロジカルマイナーを除外するグラフにおいて、木幅、枝幅、クリーク幅が定数倍の範囲で等価であることを活用し、カーネルサイズの上限を保証する。
• 多項式時間で実行され、パrameter k に対して線形サイズのカーネルを生成するカーネライゼーションアルゴリズムを構築する。

実験結果

リサーチクエスチョン

• RQ1 H-マイナーを除外するグラフに比べ、H-トポロジカルマイナーを除外するグラフ上での線形カーネルを得るための条件を弱めることが可能か？
• RQ2 有限整数インデックスおよび木幅を有界にする性質を持つ標準的なグラフ問題のうち、H-トポロジカルマイナーを除外するグラフ上で線形カーネルを有するものは何か？
• RQ3 H-トポロジカルマイナーを除外するグラフの構造的性質は、H-マイナーを除外するグラフよりもカーネライゼーションの可能性をどの程度拡張可能か？
• RQ4 構造定理（例：Grohe-Marx分解）が存在しない場合、線形カーネルが得られないのか、それとも代替的手法によって達成可能か？
• RQ5 このフレームワークは、強く単調ではない可能性がある接続性を有する頂点削除問題の変種へも拡張可能か？

主な発見

• 有限整数インデックスおよび木幅を有界にする性質を持つ任意の問題は、H-トポロジカルマイナーを除外するグラフ上で線形カーネルを有する。
• このフレームワークは、Feedback Vertex Set、Chordal Vertex Deletion、Edge Dominating Set およびその他のいくつかの頂点削除問題に適用可能である。
• Connected Vertex Cover や Connected Cluster Vertex Deletion などの接続性を有する変種も、同じ条件下で線形カーネルを有する。
• 木幅、枝幅、またはクリーク幅を k 個の頂点の削除によって有界にする問題は、H-トポロジカルマイナーを除外するグラフ上で線形カーネルを有する。
• 有限整数インデックスを有する双次元的問題については、H-トポロジカルマイナーを除外するグラフ上でも線形カーネルが存在し、双次元性フレームワークが拡張される。
• この結果は、H-トポロジカルマイナーを除外するグラフの Grohe-Marx 構造定理に依存せず、代わりに直接的な構造的補題に依存している。