[論文レビュー] On the Parameterized Complexity of Graph Modification to First-Order Logic Properties

Fedor V. Fomin, Petr A. Golovach+1 more|arXiv (Cornell University)|May 11, 2018

semigroups and automata theory参考文献 20被引用数 7

ひとこと要約

この論文は、一階論理（FOL）の性質へのグラフ修正問題のパrameterized 複雑さについて、二分法を確立する。FOL式の量化子接頭辞構造に基づき、その問題が固定パrameter可 tractable（FPT）であるか、多項式カーネルを備えるかを示す。問題が有界な入れ代わりの繰り返しを示し、全称的量化子の後に存在的量化子が来ない場合、FPTであることが示され、高レベルの入れ代わりや特定の量化子パターンを含む式では、NP ⊆ coNP/poly でない限りカーネル化は不可能であることが証明される。

ABSTRACT

We consider the problems of deciding whether an input graph can be modified by removing/adding at most k vertices/edges such that the result of the modification satisfies some property definable in first-order logic. We establish a number of sufficient and necessary conditions on the quantification pattern of the first-order formula \\phi for the problem to be fixed-parameter tractable or to admit a polynomial kernel.

研究の動機と目的

• 目標は、第一階論理（FOL）で表現可能な性質を目的とするグラフ修正問題のパrameterized 複雑さを特定することである。
• FOL式の量化子接頭辞に関する、対応するグラフ修正問題が固定パrameter可 tractable（FPT）であるための十分かつ必要条件を同定することである。
• 標準的な複雑さ仮定の下で、そのような問題が多項式カーネルを備える条件を特徴づけることである。
• FOL式の自然な翻訳を用いて、無向グラフから有向グラフへの結果の拡張を図ることである。

提案手法

• 著者は、変数と量化子の入れ代わりの数が有界な前件標準形（prenex normal form）のFOL式を分析する。
• 著者は、Kleene-Mostowski階層に基づく接頭辞クラスを定義し、量化子接頭辞内の入れ代わりのパターンに注目する。
• 著者は、カーネル化の下界を証明するためにクロスコンポジション技術を用い、Clique問題をグラフ修正問題に還元する。
• 著者は、有界な入れ代わりと特定の量化子順序（特に、全称的量化子の後に存在的量化子が来ないもの）を持つ式に対してFPTアルゴリズムを構築する。
• 著者は、高レベルの入れ代わりや特定の量化子パターン（例：∃∀）を含む式では、W[2]-hard であり、NP ⊆ coNP/poly でない限り多項式カーネルを備えないことを証明する。
• 著者は、隣接関係述語を対称的アーク述語に置き換えることで、有向グラフへの結果の拡張を図る。

実験結果

リサーチクエスチョン

• RQ1 FOL式のどの量化子接頭辞構造に対して、修正回数をパラメータとするグラフ修正問題が固定パrameter可 tractable（FPT）となるか？
• RQ2 量化子接頭辞にどのような条件が課されると、グラフ修正問題が多項式カーネルを備えるか？
• RQ3 FPTおよびカーネル化の二分法を有向グラフへ拡張できるか？
• RQ4 量化子の入れ代わりと順序が、FOLに基づくグラフ修正問題の複雑さを決定づける役割を果たすか？

主な発見

• FOL式の量化子接頭辞が有界な入れ代わりを示し、全称的量化子の後に存在的量化子が来ない場合、グラフ修正問題は固定パrameter可 tractable（FPT）である。
• 式の接頭辞に∃∀パターンまたは高レベルの入れ代わりが含まれる場合、変数数が定数であっても、W[2]-hard である。
• ∃∀接頭辞パターンを含む式では、NP ⊆ coNP/poly でない限り、多項式カーネル化は不可能である。
• Clique問題は、特定のFOL式に対する頂点削除問題にORクロスコンポジションする。このことは、カーネル化の下界を証明する。
• FPTおよびカーネル化の結果は、対称的アーク述語を用いたFOL式の自然な翻訳により、有向グラフへも拡張可能である。
• 本結果は、標準的な複雑さ仮定の下で、FOLに基づくグラフ修正問題に対する完全な二分法を提供する。