[論文レビュー] On Directed Steiner Trees with Multiple Roots

Ondřej Suchý|arXiv (Cornell University)|Apr 18, 2016

Advanced Graph Theory Research参考文献 23被引用数 4

ひとこと要約

本稿では、有向スティーナー木と強連結スティーナー部分グラフを一般化する $q$-Root Steiner Tree ($q$-RST) 問題を導入し、$R \subseteq T$ という制限付きのケースに対して、$O(2^{2q+4|T|} \times n^{2q+O(1)})$ 時間で実行されるFPTアルゴリズムを提示する。さらに、平面グラフにおいては $2^{O(q\log q + |T|\log q)} \cdot n^{O(\sqrt{q})}$ 時間で実行可能であり、主な構造的制約のもとで固定パrameter tractable（FPT）を達成する。

ABSTRACT

We introduce a new Steiner-type problem for directed graphs named extsc{$q$-Root Steiner Tree}. Here one is given a directed graph $G=(V,A)$ and two subsets of its vertices, $R$ of size $q$ and $T$, and the task is to find a minimum size subgraph of $G$ that contains a path from each vertex of $R$ to each vertex of $T$. The special case of this problem with $q=1$ is the well known extsc{Directed Steiner Tree} problem, while the special case with $T=R$ is the extsc{Strongly Connected Steiner Subgraph} problem. We first show that the problem is W[1]-hard with respect to $|T|$ for any $q \ge 2$. Then we restrict ourselves to instances with $R \subseteq T$. Generalizing the methods of Feldman and Ruhl [SIAM J. Comput. 2006], we present an algorithm for this restriction with running time $O(2^{2q+4|T|}\cdot n^{2q+O(1)})$, i.e., this restriction is FPT with respect to $|T|$ for any constant $q$. We further show that we can, without significantly affecting the achievable running time, loosen the restriction to only requiring that in the solution there are a vertex $v$ and a path from each vertex of $R$ to $v$ and from $v$ to each vertex of~$T$. Finally, we use the methods of Chitnis et al. [SODA 2014] to show that the restricted version can be solved in planar graphs in $O(2^{O(q \log q+|T|\log q)}\cdot n^{O(\sqrt{q})})$ time.

研究の動機と目的

• 有向グラフにおける新しいスティーナー型問題、$q$-Root Steiner Tree ($q$-RST) のパrameterized複雑性を研究すること。
• $|T|$（端点の数）、$q$（ルートの数）、および解のサイズといった主要パラメータに関して、$q$-RST のパrameterized複雑性を特定すること。
• $R \subseteq T$ またはすべてのパスが共通の頂点を通るような構造的制約の下で、$q$-RST が固定パラメータ tractable（FPT）となる条件を同定すること。
• ゲーム理論的加速と木幅に基づく最適化を活用して、標準的な DST および SCSS に対する FPT アルゴリズムを $q$-RST に拡張すること。
• 平面グラフにおける $q$-RST の複雑性を調査し、同様の設定における既知の DST および SCSS アルゴリズムの効率性に並ぶ結果を得ること。

提案手法

• 各ルート $R$ から各端点 $T$ へ有向パスを提供する最小部分グラフを求める問題として、$q$-RST を定義する。
• $R \subseteq T$ という制限付きバージョンを導入し、動的計画法と木分解技術の適用を可能にする。
• Chitnis らの研究にインspされた加速ゲームフレームワークを適用し、パス構築をトークン移動としてモデル化することで探索空間を削減する。
• 導出された有向グラフ $D_X$ の辺および頂点にラベルを割り当て、各移動で処理されたルートおよび端点の集合（$D$-トークン）を追跡するラベル化方式を採用する。
• コスト関数 $cv$ と $ce$ を用いて、スーパーモーブ（例：MultipleFlips）の最小コストを計算する。ここで $ce$ は、パスの重複を考慮するため、最短経路オракル $ST(x,Y)$ を再定義して使用する。
• 木幅に制限されたグラフ上で Klein と Marx のアルゴリズムを適用し、木分解における動的計画法により $n^{O(\sqrt{q})}$ 時間で実行可能となる。

実験結果

リサーチクエスチョン

• RQ1 $q$ が定数である場合、特に $R \subseteq T$ の制約のもとで、$|T|$ に関して $q$-RST 問題が固定パラメータ tractable（FPT）であるか？
• RQ2 平面有向グラフにおいて $q$-RST 問題は効率的に解けるか？ また、最良のパラメータ化実行時間は何か？
• RQ3 効率的なアルゴリズム設計を可能にする解の構造的性質は何か？ 特に、すべての必要パスが共通の頂点を通過する場合、FPT アルゴリズムが可能になるか？
• RQ4 $q$-RST に用いられたアルゴリズム的手法は、制限なしの $q$-RST に拡張可能か？ それとも根本的に難しい問題か？
• RQ5 非端点の数をパラメータとした $q$-RST のパラメータ化複雑性は何か？ また、既知の難易度結果と比較するとどうなるか？

主な発見

• $q \geq 2$ に対して、$|T|$ に関して $q$-RST 問題は W[1]-hard であることが判明し、一般には構造的制約なしでは FPT である可能性が低いことが示された。
• $R \subseteq T$ の制限付きケースでは、$O(2^{2q+4|T|} \cdot n^{2q+O(1)})$ 時間で実行可能な FPT アルゴリズムが存在し、$q$ が定数のとき $|T|$ に関して FPT であることが保証された。
• $R \subseteq T$ の制限は、すべてのルート $R$ が頂点 $v$ に到達可能で、$v$ がすべての端点 $T$ に到達可能であるような共通頂点 $v$ が存在するという条件に緩和可能であり、実行時間に顕著な増加は生じない。
• 平面グラフでは、制限付き $q$-RST 問題が $2^{O(q\log q + |T|\log q)} \cdot n^{O(\sqrt{q})}$ 時間で解けることが示され、平面設定における既知の DST および SCSS アルゴリズムの効率性と一致した。
• 本アルゴリズムは、ゲーム理論的加速、トークンベースラベル化、木分解における動的計画法の新規な組み合わせを用いて、同種の問題において最良の実行時間達成を実現した。
• アルゴリズムの正しさは、加速ゲームの表現可能性および SCSS に関する先行研究の補題に裏打ちされており、解が妥当かつ最適であることが保証された。