[論文レビュー] Tight Lower Bounds for Problems Parameterized by Rank-Width

Benjamin Bergougnoux, Tuukka Korhonen+1 more|arXiv (Cornell University)|Oct 5, 2022

Complexity and Algorithms in Graphs被引用数 1

ひとこと要約

この論文は、ランク幅をパラメータとするいくつかの基本的グラフ問題について、最初のETHタイトな下界を確立し、2^o(k²)n^O(1)時間のアルゴリズムが存在しないことを示している。これは、指数時間仮説（ETH）が成り立たない限り成立しない。著者たちは、線形ランク幅が有界なグラフ上の独立集合問題への3-SATからの還元を構築することで、独立集合、重み付き支配集合、最大誘導マッチング、フィードバック頂点集合の既知の2^O(k²)n^O(1)時間アルゴリズムがETHのもとで最適であることを示した。

ABSTRACT

We show that there is no $2^{o(k^2)} n^{O(1)}$ time algorithm for Independent Set on $n$-vertex graphs with rank-width $k$, unless the Exponential Time Hypothesis (ETH) fails. Our lower bound matches the $2^{O(k^2)} n^{O(1)}$ time algorithm given by Bui-Xuan, Telle, and Vatshelle [Discret. Appl. Math., 2010] and it answers the open question of Bergougnoux and Kanté [SIAM J. Discret. Math., 2021]. We also show that the known $2^{O(k^2)} n^{O(1)}$ time algorithms for Weighted Dominating Set, Maximum Induced Matching and Feedback Vertex Set parameterized by rank-width $k$ are optimal assuming ETH. Our results are the first tight ETH lower bounds parameterized by rank-width that do not follow directly from lower bounds for $n$-vertex graphs.

研究の動機と目的

• ランク幅をパラメータとする問題における既知の上界と下界のギャップを埋める。
• 独立集合および関連問題における2^O(k²)n^O(1)時間アルゴリズムの最適性に関する未解決の問いを解消する。
• これらのアルゴリズムが指数時間仮説（ETH）のもとで最適であることを確立し、単なる予想ではなく、実際に最適であることを示す。
• n頂点グラフ還元に依存しない、ランク幅パラメータ化におけるETHタイトな下界を示すための新しいフレームワークを提供する。

提案手法

• クリークと独立集合を用いて、構造化された頂点集合上にランク幅と線形ランク幅を制御したグラフ族を構築する。
• 変数と節のガジェットをグラフ構造に埋め込み、充足可能性をシミュレートするように、3-SATから独立集合問題への還元を用いる。
• 独立集合問題に対する2^o(lrw²)n^O(1)時間のアルゴリズムが存在すれば、ETHに反する、すなわち3-SATを指数時間未満で解けることになることを示し、ETHが破綻することを証明する。
• バランスの取れたカット補題を用いてブール幅の下界を確立し、特定のカットが重要な頂点集合の大きな部分集合を分割しなければならないことを示す。
• ランク幅の上界を証明するため、クリークと独立集合構造を用いて、ランク幅が有界であることを保証する線形順序を構築する。
• ランク幅と時間計算量を保存する還元を用いて、下界構築を重み付き支配集合、最大誘導マッチング、フィードバック頂点集合などの他の問題へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 ランク幅をパラメータとする独立集合問題における2^O(k²)n^O(1)時間アルゴリズムは、ETHのもとで最適か？
• RQ2 n頂点グラフ還元に依存せずに、ランク幅パラメータ化における問題に対するタイトなETH下界を確立できるか？
• RQ3 重み付き支配集合、最大誘導マッチング、フィードバック頂点集合の既知の2^O(k²)n^O(1)時間アルゴリズムは、ETHのもとで最適か？
• RQ4 同じ技術を用いて、(重みなし)支配集合やq-彩色など、ランク幅パラメータ化の他の問題のアルゴリズムの最適性を示すことができるか？
• RQ5 ランク幅をパラメータとする彩色数問題におけるn^2^O(k)時間アルゴリズムは、ETHのもとで最適か？

主な発見

• ETHが成立する限り、線形ランク幅がlrwであるグラフ上の独立集合問題に対して、2^o(lrw²)n^O(1)時間のアルゴリズムは存在しない。
• Bui-Xuan, Telle, および Vatshelleによる独立集合問題の2^O(k²)n^O(1)時間アルゴリズムは、ETHのもとで最適である。
• 重み付き支配集合、最大誘導マッチング、フィードバック頂点集合の同じ2^O(k²)n^O(1)時間アルゴリズムも、ETHのもとで最適である。
• 構築されたグラフ族のブール幅は少なくともk(k−3)/6である。この値が下界の導出に用いられた。
• 構築されたグラフのランク幅は2k+1以下である。これにより、パラメータ化が意味を持ち、有界であることが保証された。
• 本研究の結果は、n頂点グラフ還元に依存しない、ランク幅パラメータ化における最初のETHタイトな下界である。