[論文レビュー] (Meta) Kernelization

Hans L. Bodlaender, Fedor V. Fomin+4 more|arXiv (Cornell University)|Apr 4, 2009

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

ひとこと要約

本稿では、有界 genus のグラフ上のパラメータ付き問題におけるカーネル化に関する2つのメタ定理を提示する。Counting Monadic Second-Order Logic (CMSO) で表現可能で、カバレージ性を満たす問題は多項式カーネルを有することが示され、有限整数指数（FII）を有し、弱いカバレージ性条件を満たす問題は線形カーネルを有する。これらの結果は、突出置換と論理的特徴付け技術を用いて、従来の平面的および有界 genus グラフにおけるカーネル化結果を統一的かつ一般化する。

ABSTRACT

In a parameterized problem, every instance I comes with a positive integer k. The problem is said to admit a polynomial kernel if, in polynomial time, one can reduce the size of the instance I to a polynomial in k, while preserving the answer. In this work we give two meta-theorems on kernelzation. The first theorem says that all problems expressible in Counting Monadic Second Order Logic and satisfying a coverability property admit a polynomial kernel on graphs of bounded genus. Our second result is that all problems that have finite integer index and satisfy a weaker coverability property admit a linear kernel on graphs of bounded genus. These theorems unify and extend all previously known kernelization results for planar graph problems.

研究の動機と目的

• 有界 genus のグラフ上のパラメータ付き問題が多項式または線形カーネルを有する一般的な条件を確立すること。
• 論理的および組合せ的性質を用いて、平面的および有界 genus グラフ問題における既存のカーネル化結果を統一的かつ拡張すること。
• カバレージ性および有限整数指数（FII）が効率的なカーネル化を可能にする役割を形式化すること。
• 突出置換と CMSO における論理的定義可能性を用いた自動カーネル化のための枠組みを提供すること。
• 非準拠カバレージ性を有する問題が多項式カーネルを有しないこと（P = NP でない限り）を示すことにより、カーネル化の限界を特定すること。

提案手法

• 大きな部分グラフ（突出）を同等の小さな部分グラフに置き換える、新たな突出置換に基づくフレームワークを導入する。
• カバレージ性および準カバレージ性の概念を定義し、カーネル化が可能となる条件を特徴付ける。
• Courcelle の定理の変種を用いて境界付き構造上のモデルチェックを確立し、問題の論理的特徴付けを可能にする。
• 有限整数指数（FII）を用いて、各突出タイプに対して有限個の最小代表元が十分であることを保証する。
• CMSO における論理的表現可能性およびグラフの構造的性質に基づいて、カーネル化規則を体系的に構築する方法を開発する。
• 有界 genus および木幅を活用し、問題の答えを変更せずに突出を体系的に置換可能であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 CMSO で定義可能な問題が有界 genus グラフ上で多項式カーネルを有するための論理的および組合せ的条件は何か？
• RQ2 有限整数指数（FII）の性質を用いて、有界 genus グラフ上の問題に対して線形カーネルを導出できるか？
• RQ3 カバレージ性、準カバレージ性、および多項式または線形カーネルの存在との関係は何か？
• RQ4 Vertex Cover や Dominating Set といった問題とは異なり、p-Longest Path はなぜ平面的グラフ上では多項式カーネルを有しないのか？
• RQ5 提案されたメタ定理を、局所木幅が有界または拡張が有界なグラフクラスなど、より広いグラフクラスへ拡張できるか？

主な発見

• Counting Monadic Second-Order Logic (CMSO) で表現可能で、カバレージ性を満たすすべての問題は、有界 genus グラフ上で多項式カーネルを有する。
• 有限整数指数（FII）を有し、弱いカバレージ性条件（準カバレージ性）を満たすすべての問題は、有界 genus グラフ上で線形カーネルを有する。
• これらの結果は、平面的グラフ問題（例：Vertex Cover, Dominating Set, Feedback Vertex Set, Cycle Packing）における従来のカーネル化結果を統一的かつ一般化する。
• p-Hamiltonian Path Completion 問題は FII を有し強く単調であるが、準カバレージ性を満たさないため、P = NP でない限りカーネルを有しない。
• p-Longest Path や p-Longest Cycle のような問題は、平面的グラフ上では多項式カーネルを有しない（coNP ⊆ NP/poly でない限り）、カバレージ性条件の必要性を示している。
• 突出置換技術は体系的なカーネル化を可能にし、有界 genus グラフにとどまらず、H-minor-free や有界拡張グラフなどにも成功裏に応用されている。