[論文レビュー] Parameterized Max Min Feedback Vertex Set

Michael Lampis, Nikolaos Melissinos+1 more|arXiv (Cornell University)|Jan 1, 2023

Advanced Graph Theory Research参考文献 25被引用数 3

ひとこと要約

本稿では、最大最小フィードバック頂点集合問題（Max Min FVS）に対する改善されたパrameterizedアルゴリズムを提示し、treewidthに基づくアルゴリズムを導入した。このアルゴリズムの実行時間は $ ww^{O( ww)}n^{O(1)}$ であり、従来の頂点被覆に基づく手法を一般化する。また、この実行時間がExponential Time Hypothesis (ETH)のもとで本質的に最適であることを証明した。さらに、誤りを含んでいた $10^k n^{O(1)}$ の分岐アルゴリズムを是正し、正しい $9.34^k n^{O(1)}$ のアルゴリズムを提供した。これにより、自然パrameter $k$ に対するタイトなパラメータ化された複雑さの境界が確立された。

ABSTRACT

Given a graph $G$ and an integer $k$, Max Min FVS asks whether there exists a minimal set of vertices of size at least $k$ whose deletion destroys all cycles. We present several results that improve upon the state of the art of the parameterized complexity of this problem with respect to both structural and natural parameters. Using standard DP techniques, we first present an algorithm of time $ extrm{tw}^{O( extrm{tw})}n^{O(1)}$, significantly generalizing a recent algorithm of Gaikwad et al. of time $ extrm{vc}^{O( extrm{vc})}n^{O(1)}$, where $ extrm{tw}, extrm{vc}$ denote the input graph's treewidth and vertex cover respectively. Subsequently, we show that both of these algorithms are essentially optimal, since a $ extrm{vc}^{o( extrm{vc})}n^{O(1)}$ algorithm would refute the ETH. With respect to the natural parameter $k$, the aforementioned recent work by Gaikwad et al. claimed an FPT branching algorithm with complexity $10^k n^{O(1)}$. We point out that this algorithm is incorrect and present a branching algorithm of complexity $9.34^k n^{O(1)}$.

研究の動機と目的

• Max Min FVS に対しては、固定パラメータ可 tractability が知られているものの、具体的なFPTアルゴリズムが不足しているという問題に取り組む。
• treewidth や頂点被覆などの構造的パラメータに関して、Max Min FVS のための最新のパrameterizedアルゴリズムを改善する。
• 自然パラメータ $k$ に対して、以前に主張された $10^k n^{O(1)}$ の分岐アルゴリズムに誤りが示されたため、これを是正する。
• ETH に基づく最適性を示すことで、$ ww^{O( ww)}n^{O(1)}$ のアルゴリズムが本質的に最適であることを確立する。
• Minimal FVS Extension 問題が $k$-in-a-Tree 問題以上に難しい証拠を提供し、その複雑さが XP に属さない可能性を示唆する。

提案手法

• treewidth にパラメータ化した動的計画法アルゴリズムを開発し、実行時間を $\tww^{O(\tww)}n^{O(1)}$ に抑える。これは、従来の $\mathsf{vc}^{O(\mathsf{vc})}n^{O(1)}$ アルゴリズムの自然な一般化である。
• 頂点被覆に基づくアルゴリズムからの還元を用いて、treewidth アルゴリズムが以前の $\mathsf{vc}^{O(\mathsf{vc})}n^{O(1)}$ アルゴリズムの自然な一般化であることを示す。
• ETH に基づく最適性を証明するため、$\mathsf{vc}^{O(\mathsf{vc})}n^{O(1)}$ アルゴリズムが存在すれば ETH が反証されることを示し、$\tww^{O(\tww)}n^{O(1)}$ が最適であることを示す。
• 分岐プロセスを分析し、分岐木に関する組合せ的境界を用いて、誤りを含んでいた $10^k n^{O(1)}$ の分岐アルゴリズムを是正し、正しい分岐係数が $9.34^k n^{O(1)}$ であることを証明する。
• $k$-in-a-Tree 問題から Minimal FVS Extension 問題への新しい fpt-還元を構築し、後者の方が前者以上に難しいことを示す。
• 分岐木における良い頂点と最小フィードバック頂点集合の構造を分析し、再帰呼び出し回数の上限を導出し、$9.34^k$ 要因を導出する。

実験結果

リサーチクエスチョン

• RQ1 treewidth にパラメータ化した Max Min FVS のための、最新の技術を上回る高速な FPT アルゴリズムを設計できるか？
• RQ2 Exponential Time Hypothesis (ETH) のもとで、Max Min FVS の $ ww^{O( ww)}n^{O(1)}$ 実行時間は最適か？
• RQ3 以前に主張された $10^k n^{O(1)}$ の分岐アルゴリズムが誤りであることが判明したが、自然パラメータ $k$ にパラメータ化した FPT アルゴリズムの正しい分岐係数は何か？
• RQ4 与えられた集合 $S$ のサイズにパラメータ化した Minimal FVS Extension 問題は、固定パラメータ可 tractable か、それとも $k$-in-a-Tree 問題と同程度に難しいか？
• RQ5 Minimal FVS Extension 問題の複雑さは、$k$-in-a-Tree 問題と完全に特徴づけられるか？

主な発見

• 本稿では、treewidth にパラメータ化した Max Min FVS のための動的計画法アルゴリズムを提示し、実行時間は $\tww^{O(\tww)}n^{O(1)}$ である。これは、従来の $\mathsf{vc}^{O(\mathsf{vc})}n^{O(1)}$ アルゴリズムを一般化するものである。
• 実行時間 $ ww^{O( ww)}n^{O(1)}$ が本質的に最適であることが示された。なぜなら、$\mathsf{vc}^{O(\mathsf{vc})}n^{O(1)}$ アルゴリズムが存在すれば、Exponential Time Hypothesis (ETH) が反証されるからである。
• 自然パラメータ $k$ に対して以前に主張された $10^k n^{O(1)}$ の分岐アルゴリズムは誤りであったが、正しい $9.34^k n^{O(1)}$ のアルゴリズムが新たに提示され、正当性が証明された。
• 分岐木の組合せ的解析と良い頂点の数を用いて、分岐アルゴリズムの再帰呼び出し回数の上限を導出し、$9.34^k$ 要因が得られた。
• $k$-in-a-Tree 問題から Minimal FVS Extension 問題への新しい fpt-還元を構築し、後者の方が前者以上に難しいことを示した。
• Minimal FVS Extension 問題が固定 $|S|$ に対して XP に属さない可能性を示す根拠を提供した。なぜなら、それによって $k$-in-a-Tree 問題が多項式時間で解けるようになり、長年の未解決問題が解決されるからである。