[論文レビュー] Complexity of the Steiner Network Problem with Respect to the Number of Terminals

Eduard Eiben, Dušan Knop+2 more|arXiv (Cornell University)|Feb 22, 2018

Complexity and Algorithms in Graphs参考文献 16被引用数 2

ひとこと要約

この論文は、端末数 |T| に関する有効パラメータ化複雑性に対する、Directed Steiner Network (DSN) 問題のタイトな境界を確立する。グラフが genus g の曲面に埋め込める場合、f(R) · |V(G)|^{O(c_g · |T|)} 時間で実行されるアルゴリズムを提示し、一般のグラフでは Exponential Time Hypothesis (ETH) が成立しない限り、f(R) · |V(G)|^{o(|T|^{2}/log|T|)} のアルゴリズムは存在しないことを証明する。これにより、DSN の複雑性の地図における長年のギャップが埋められた。

ABSTRACT

In the Directed Steiner Network problem we are given an arc-weighted digraph $G$, a set of terminals $T \subseteq V(G)$, and an (unweighted) directed request graph $R$ with $V(R)=T$. Our task is to output a subgraph $G' \subseteq G$ of the minimum cost such that there is a directed path from $s$ to $t$ in $G'$ for all $st \in A(R)$. It is known that the problem can be solved in time $|V(G)|^{O(|A(R)|)}$ [Feldman&Ruhl, SIAM J. Comput. 2006] and cannot be solved in time $|V(G)|^{o(|A(R)|)}$ even if $G$ is planar, unless Exponential-Time Hypothesis (ETH) fails [Chitnis et al., SODA 2014]. However, as this reduction (and other reductions showing hardness of the problem) only shows that the problem cannot be solved in time $|V(G)|^{o(|T|)}$ unless ETH fails, there is a significant gap in the complexity with respect to $|T|$ in the exponent. We show that Directed Steiner Network is solvable in time $f(R)\cdot |V(G)|^{O(c_g \cdot |T|)}$, where $c_g$ is a constant depending solely on the genus of $G$ and $f$ is a computable function. We complement this result by showing that there is no $f(R)\cdot |V(G)|^{o(|T|^2/ \log |T|)}$ algorithm for any function $f$ for the problem on general graphs, unless ETH fails.

研究の動機と目的

• 端末数 |T| に関する既知の DSN 問題の複雑性境界のギャップを埋めること。
• 既知の |V(G)|^{O(|A(R)|)} 上界よりも高速なアルゴリズムが存在するかどうかを特定すること。
• 一般のグラフにおける DSN アルゴリズムの実行時間に対するタイトな下界を確立すること。
• グラフの位相的性質、特に genus が DSN の tractability に与える影響を調査すること。

提案手法

• 解の構造とコスト制約を保つように、Parameterized Set Cover 問題 (PSI) から DSN への新しい還元を設計する。
• PSI インスタンスの解に対応する DSN の解が得られるように、有向ホストグラフ G′ とリクエストグラフ R を構築する。
• DSN の構築において、予算を厳密に管理することで、PSI の有効な解のみが低コストの DSN 解をもたらすように保証する。
• 構築された DSN インスタンス内のパスの構造を分析し、H から G への単射かつエッジを保存する写像を強制する。
• Exponential Time Hypothesis (ETH) を適用し、DSN のより高速なアルゴリズムが存在すれば PSI のより高速なアルゴリズムが得られることを示して、下界を導出する。
• 位相的グラフ理論を活用し、genus g が有界なグラフでは、f(R) · |V(G)|^{O(c_g · |T|)} 時間で DSN を解けることを示す。

実験結果

リサーチクエスチョン

• RQ1 端末数 |T| に関する Directed Steiner Network 問題の複雑性を、より厳密に特定できるか？
• RQ2 一般のグラフにおいて、|V(G)|^{o(|T|²/log|T|)} 時間で DSN を解くことは、根本的に不可能な障壁があるか？
• RQ3 ホストグラフの genus が DSN の tractability に影響を与えるか、その影響はどのようなものか？
• RQ4 構造的リクエストグラフに対して、既知の |V(G)|^{O(|A(R)|)} 上界を改善できるか？
• RQ5 有界 genus グラフにおける DSN の現在の上界が、漸近的に最適か？

主な発見

• genus g の曲面に埋め込めるグラフに対して、DSN 問題は f(R) · |V(G)|^{O(c_g · |T|)} 時間で解ける。ここで c_g は g のみに依存する定数である。
• 一般のグラフでは、Exponential Time Hypothesis (ETH) が成立しない限り、f(R) · |V(G)|^{o(|T|²/log|T|)} のアルゴリズムは存在しない。
• 下界の構築はタイトであり、|T|²/log|T| の指数が ETH の下で漸近的に最適であることを示している。
• PSI から DSN への還元は解のコストと構造を保ち、下界の正しさとタイトさを保証する。
• 固定のマイナーを除外するグラフクラスでは n^{O(|T|^{3/2})} アルゴリズムが存在するが、n^{O(|T|)} アルゴリズムが可能かどうかは未解決のままである。
• 本論文は、対数要因を除いて一致する上界と下界を確立することで、DSN の複雑性における大きなギャップを埋めた。