[論文レビュー] Vertex Cover Structural Parameterization Revisited

Fomin, Fedor V., Strømme, Torstein J. F.|arXiv (Cornell University)|Mar 2, 2016

Advanced Graph Theory Research被引用数 6

ひとこと要約

本稿では、擬似森モジュレータをパrameterとする頂点被覆問題に対して多項式カーネル化を提示し、任意のインスタンスを $\mathcal{O}(|X|^{12})$ 頂点のものに縮小する。ここで $X$ はモジュレータである。さらに、$\text{NP} \subseteq \text{coNP/poly}$ でない限り、模造森モジュレータに対する同種のカーネルは存在しないことが示され、これにより外部平面的およびカスケードグラフモジュレータに対しても多項式カーネルの存在が排除される。

ABSTRACT

A pseudoforest is a graph whose connected components have at most one cycle. Let X be a pseudoforest modulator of graph G, i. e. a vertex subset of G such that G-X is a pseudoforest. We show that Vertex Cover admits a polynomial kernel being parameterized by the size of the pseudoforest modulator. In other words, we provide a polynomial time algorithm that for an input graph G and integer k, outputs a graph G' and integer k', such that G' has O(|X|12) vertices and G has a vertex cover of size k if and only if G' has vertex cover of size k'. We complement our findings by proving that there is no polynomial kernel for Vertex Cover parameterized by the size of a modulator to a mock forest (a graph where no cycles share a vertex) unless NP is a subset of coNP/poly. In particular, this also rules out polynomial kernels when parameterized by the size of a modulator to outerplanar and cactus graphs.

研究の動機と目的

• フィードバック頂点集合や次数2モジュレータを超える頂点被覆の多項式カーネル化結果を拡張すること。
• 木幅2のグラフクラスへのモジュレータをパrameterとする頂点被覆に多項式カーネルが存在するかを調査すること。
• 頂点被覆の構造的パラメータ化におけるカーネル化の限界を特定すること。
• 模造森、外部平面的、カスケードグラフへのモジュレータに対するタイトな下界を確立すること。

提案手法

• 擬似森構造に特化した還元規則を用いたカーネル化アルゴリズムの設計。
• 擬似木における最大独立集合に関する新しい組合せ的補題を活用し、還元を指針づける。
• サイズ $\mathcal{O}(|X|^{12})$ の同値インスタンスを出力する多項式時間の前処理アルゴリズムの構築。
• 3-SATからの還元を用いて下界を証明し、$G - X$ が模造森であるようなグラフを構築する。
• 模造森モジュレータに対する多項式カーネルが存在すれば、$\text{NP} \subseteq \text{coNP/poly}$ が成り立つことを証明する。
• 外部平面的およびカスケードグラフが模造森に包含されることを示し、下界をそれらのグラフに対しても適用する。

実験結果

リサーチクエスチョン

• RQ1 頂点被覆問題は、擬似森モジュレータのサイズをパラメータとする場合に多項式カーネルを有するか？
• RQ2 フィードバック頂点集合に対するカーネル化結果は、擬似森のようなより強い構造的パラメータに拡張可能か？
• RQ3 模造森、外部平面的、またはカスケードグラフへのモジュレータをパラメータとする頂点被覆に多項式カーネルは存在するか？
• RQ4 木幅2のグラフを越える構造的パラメータ化における頂点被覆のカーネル化の限界は何か？
• RQ5 標準の複雑性仮定のもとで、模造森モジュレータに対する多項式カーネルの存在は排除できるか？

主な発見

• 頂点被覆問題は、擬似森モジュレータのサイズをパラメータとする場合に多項式カーネルを有し、カーネルサイズは $\mathcal{O}(|X|^{12})$ 頂点で抑えられる。
• カーネル化アルゴリズムは構成的であり、擬似木における最大独立集合に関する新しい組合せ的補題に依存している。
• 模造森モジュレータをパラメータとする頂点被覆の多項式カーネルが存在すれば、$\text{NP} \subseteq \text{coNP/poly}$ が成り立つが、これは不自然と見なされている。
• この下界は、外部平面的グラフおよびカスケードグラフへのモジュレータに対しても多項式カーネルの存在を排除する。
• 下界は、変数の真理値割り当てに対応するモジュレータ $X$ と、節ガジェットが充足可能性を強制する3-SATへの還元によって確立される。
• 構成により $G - X$ が外部平面的であり、下界がブロックグラフに対しても拡張可能であることが示された。