[論文レビュー] Incompressibility of H-free edge modification problems: Towards a dichotomy

Dániel Marx, R. B. Sandeep|arXiv (Cornell University)|Apr 24, 2020

Optimization and Search Problems被引用数 5

ひとこと要約

本稿は、5個以上の頂点をもつグラフ H に対する H-フリー辺変更問題（編集、削除、補完）のカーネル化複雑度を分類するフレームワークを確立する。非完全かつ非空の H に対して、5頂点からなる臨界グラフの有限集合（編集問題では9つ、削除問題では19つ）を同定することで、これらのグラフにおける非圧縮性の証明が、5個以上の頂点をもつすべての非完全かつ非空の H における非圧縮性を示すものとなることが示された。標準的な複雑度仮定のもとで、これはすべての非完全かつ非空の H に対して非圧縮性が成立することを意味する。

ABSTRACT

Given a graph $G$ and an integer $k$, the $H$-free Edge Editing problem is to find whether there exists at most $k$ pairs of vertices in $G$ such that changing the adjacency of the pairs in $G$ results in a graph without any induced copy of $H$. The existence of polynomial kernels for $H$-free Edge Editing received significant attention in the parameterized complexity literature. Nontrivial polynomial kernels are known to exist for some graphs $H$ with at most 4 vertices, but starting from 5 vertices, polynomial kernels are known only if $H$ is either complete or empty. This suggests the conjecture that there is no other $H$ with at least 5 vertices were $H$-free Edge Editing admits a polynomial kernel. Towards this goal, we obtain a set $\\mathcal{H}$ of nine 5-vertex graphs such that if for every $H\\in\\mathcal{H}$, $H$-free Edge Editing is incompressible and the complexity assumption $NP \ ot\\subseteq coNP/poly$ holds, then $H$-free Edge Editing is incompressible for every graph $H$ with at least five vertices that is neither complete nor empty. That is, proving incompressibility for these nine graphs would give a complete classification of the kernelization complexity of $H$-free Edge Editing for every $H$ with at least 5 vertices. We obtain similar result also for $H$-free Edge Deletion. Here the picture is more complicated due to the existence of another infinite family of graphs $H$ where the problem is trivial (graphs with exactly one edge). We obtain a larger set $\\mathcal{H}$ of nineteen graphs whose incompressibility would give a complete classification of the kernelization complexity of $H$-free Edge Deletion for every graph $H$ with at least 5 vertices. Analogous results follow also for the $H$-free Edge Completion problem by simple complementation.

研究の動機と目的

• 5個以上の頂点をもつグラフ H に対して、H-フリー辺編集問題のカーネル化複雑度に関する二分法を確立すること。
• すべての非完全かつ非空の H に対して、5頂点からなる臨界グラフの有限集合を同定し、それらの非圧縮性の証明が、5個以上の頂点をもつすべての非完全かつ非空の H における非圧縮性を示すことにつながることを示すこと。
• 補完と構造的解析を用いて、H-フリー辺削除および補完問題への分類を拡張すること。
• かぎりないやその他の特殊グラフクラスにおける多項式カーネルの未解決問題を解消すること。
• H-フリー辺変更問題の完全な二分法を確立する基盤を築くこと。

提案手法

• すべての H ∈ HE に対して非圧縮性が成立するような、9つの5頂点グラフ（HE）を同定し、それらすべてに対して非圧縮性が成立すれば、|V(H)| ≥ 5 かつ非完全・非空のすべての H に対して非圧縮性が成立することを示す。
• NP ⊈ coNP/poly の仮定の下で、有界深さの探索木と H-フリーなグラフにおける構造的制約に基づく還元フレームワークを用いて非圧縮性を証明する。
• 同様のアプローチを辺削除問題に適用し、1つの辺をもつグラフという自明な無限族の存在により、19個のグラフ（HD）の集合を同定する。
• 補完を用いて、辺編集問題から得られた結果を辺補完問題へ拡張する。
• 誘導部分グラフ（例：C4、P3、ダイヤモンド）および共通の隣接頂点制約を分析する構造的補題を用い、解の構築における矛盾を導出する。
• 禁止辺条件と近傍の帰納的議論を組み合わせ、H-フリー性を保つあらゆる解は特定の構成を避ける必要があることを示す。

実験結果

リサーチクエスチョン

• RQ1 H が5個以上の頂点をもち、非完全かつ非空であるとき、H-フリー辺編集問題は標準的な複雑度仮定のもとで非圧縮的であるか？
• RQ2 すべての非完全かつ非空の H に対して、H-フリー辺編集問題に多項式カーネルが存在しないことを、有限個の臨界5頂点グラフにおける非圧縮性の証明によって除外できるか？
• RQ3 H-フリー辺削除問題において非圧縮的となる完全なグラフの集合は何か？また、自明なケースの存在により、編集問題とはどのように異なるか？
• RQ4 H-フリー辺編集問題に多項式カーネルが存在しないという事実は、完全グラフおよび空グラフを除き、|V(H)| ≥ 5 であるすべての H に拡張可能か？
• RQ5 本フレームワークは、{かぎりない、ダイヤモンド} のような2つの禁止グラフをもつ H-フリー辺変更問題へ拡張可能か？

主な発見

• 本稿では、すべての H ∈ HE に対して非圧縮性が成立するような9つの5頂点グラフの集合 HE を同定し、それらすべてに対して非圧縮性が成立すれば、|V(H)| ≥ 5 かつ非完全・非空のすべての H に対して非圧縮性が成立することを示した。
• H-フリー辺削除問題においては、追加の自明な無限族（1つの辺をもつグラフ）の存在により、同じ含意のもとで19個のグラフの集合 HD が同定された。
• 補完を用いることで、結果は H-フリー辺補完問題へ拡張され、対称的な分類が得られた。
• 本フレームワークは、今後の研究の完全な境界を提供する：HE や HD に属するグラフにおける非圧縮性の証明が、カーネル化複雑度の完全な二分法をもたらす。
• 本稿は、H-フリー辺変更問題のカーネル化複雑度の境界を解消し、未解決問題を有限個のケースに簡略化した。
• 結果は、|V(H)| ≥ 5 かつ H が完全でも空でもないすべての H に対して多項式カーネルが存在しないという予想を支持する。ただし、NP ⊆ coNP/poly でない限り。