[論文レビュー] Almost Tight Lower Bounds for Hard Cutting Problems in Embedded Graphs

Vincent Cohen-Addad, Éric Colin de Verdière+2 more|arXiv (Cornell University)|Jan 1, 2019

Complexity and Algorithms in Graphs被引用数 1

ひとこと要約

本稿は、指数時間仮説（ETH）の下で、表面に埋め込まれたグラフ上の2つの基本的なカット問題—Shortest Cut Graph および Multiway Cut—について、ほぼタイトな条件付き下界を確立する。両問題に対する既存の最良のアルゴリズムが、指数部における対数要因を除いてほぼ最適であることが示され、表面の genus g におけるパラメータ化された複雑性とアルゴリズムの最適性に関する長年の未解決問題が解決された。

ABSTRACT

We prove essentially tight lower bounds, conditionally to the Exponential Time Hypothesis, for two fundamental but seemingly very different cutting problems on surface-embedded graphs: the Shortest Cut Graph problem and the Multiway Cut problem. A cut graph of a graph G embedded on a surface S is a subgraph of G whose removal from S leaves a disk. We consider the problem of deciding whether an unweighted graph embedded on a surface of genus g has a cut graph of length at most a given value. We prove a time lower bound for this problem of n^{Omega(g/log g)} conditionally to ETH. In other words, the first n^{O(g)}-time algorithm by Erickson and Har-Peled [SoCG 2002, Discr. Comput. Geom. 2004] is essentially optimal. We also prove that the problem is W[1]-hard when parameterized by the genus, answering a 17-year old question of these authors. A multiway cut of an undirected graph G with t distinguished vertices, called terminals, is a set of edges whose removal disconnects all pairs of terminals. We consider the problem of deciding whether an unweighted graph G has a multiway cut of weight at most a given value. We prove a time lower bound for this problem of n^{Omega(sqrt{gt + g^2}/log(gt))}, conditionally to ETH, for any choice of the genus g >=0 of the graph and the number of terminals t >=4. In other words, the algorithm by the second author [Algorithmica 2017] (for the more general multicut problem) is essentially optimal; this extends the lower bound by the third author [ICALP 2012] (for the planar case). Reductions to planar problems usually involve a grid-like structure. The main novel idea for our results is to understand what structures instead of grids are needed if we want to exploit optimally a certain value g of the genus.

研究の動機と目的

• 表面に埋め込まれたグラフ上のカット問題のパラメータ化された複雑性の理解におけるギャップを埋めること。特に、genus g のグラフについて。
• 17年前の未解決問題である、Shortest Cut Graph 問題が genus をパラメータとして FPT であるかどうかを解明すること。
• Multiway Cut 問題について、既知の平面グラフへの下界を、より高い genus の表面へと拡張すること。
• グリッド構造ではなく、トポロジカルな genus を活用する新たな還元技術の開発

提案手法

• 4正則なプライマルグラフを有する2値制約充足問題（CSP）から還元し、変数と制約の相互作用をクロスガジェットで符号化する。
• genus g に特化した計画的還元フレームワークを構築し、グリッド構造の代わりに genus 専用のトポロジカル構成を用いることで、複雑性を保持する。
• CSP インスタンスの複雑さと Multiway Cut 問題の下界との関係を、木幅に基づく議論で結びつける。
• アルゴリズムの実行時間の下界を導出するために、指数時間仮説（ETH）を条件付き仮定として用いる。
• 構築されたグラフにおけるマルチウェイカットが隣接するクロスガジェット間で一致するように保証する、新規の還元技術を適用する。
• 双次元性理論とトポロジカルグラフ理論の結果を組み合わせ、実行時間の指数部におけるタイトな下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 表面の genus g をパラメータとして Shortest Cut Graph 問題は FPT か？
• RQ2 Shortest Cut Graph の O(n^g) アルゴリズムを、例えば f(g)n^O(1) に著しく改善できるか？
• RQ3 genus g のグラフに t 個の端点が埋め込まれた場合、Multiway Cut 問題の最適実行時間は何か？
• RQ4 平面グラフにおける Multiway Cut の ETH に基づく下界を、より高い genus の表面へと拡張できるか？
• RQ5 genus g の表面の構造的特徴は、ETH に基づく還元において、グリッドの役割をどのように置き換えるか？

主な発見

• ETH の下で、Shortest Cut Graph 問題には n^Ω(g / log g) の条件付き下界が存在し、Erickson と Har-Peled が提案した O(n^g) アルゴリズムが本質的に最適であることが証明された。
• Shortest Cut Graph 問題は、genus g をパラメータとして W[1]-hard であることが示され、17年前の未解決問題が解決された。
• t 個の端点を持つ genus-g グラフ上の Multiway Cut 問題には、ETH の下で n^Ω(√(gt) + g² + t / log(g+t)) の条件付き下界が存在し、既存の最良のアルゴリズムと対数要因を除いて一致する。
• 還元フレームワークは、グリッドベースの構成を genus-aware なトポロジカルガジェットに置き換えることで、より高い genus の表面におけるタイトな下界を可能にした。
• 本稿は、平面グラフにおける平方根現象が、同じ方法でより高い genus のグラフへと拡張されないことを示しており、指数部が genus と端点数の両方に依存することを明らかにした。
• ETH が成り立たない限り、t 個の端点を持つ genus-g グラフ上の Multiway Cut 問題を、O(n^α√(gt) + t / log(g+t)) 時間で解けるアルゴリズムは存在しない、という結果が導かれた。