[論文レビュー] The Power of Dynamic Distance Oracles: Efficient Dynamic Algorithms for the Steiner Tree

Jakub Łącki, Jakub Oćwieja+3 more|arXiv (Cornell University)|Aug 15, 2013

Complexity and Algorithms in Graphs参考文献 46被引用数 7

ひとこと要約

本稿では、動的頂点色距離オラクルとオンラインSteiner木技術を用いて、Steiner木問題に対する最初の非線形時間動的アルゴリズムを提示する。一般グラフでは更新ごとに Õ(√n log D) 時間で (6+ε)-近似が達成され、平面グラフでは (2+ε)-近似が得られ、近似度が緩和された条件下では平面グラフに対してより高速な多項式対数時間アルゴリズムが実現される。

ABSTRACT

In this paper we study the Steiner tree problem over a dynamic set of terminals. We consider the model where we are given an $n$-vertex graph $G=(V,E,w)$ with positive real edge weights, and our goal is to maintain a tree which is a good approximation of the minimum Steiner tree spanning a terminal set $S \subseteq V$, which changes over time. The changes applied to the terminal set are either terminal additions (incremental scenario), terminal removals (decremental scenario), or both (fully dynamic scenario). Our task here is twofold. We want to support updates in sublinear $o(n)$ time, and keep the approximation factor of the algorithm as small as possible. We show that we can maintain a $(6+\varepsilon)$-approximate Steiner tree of a general graph in $ ilde{O}(\sqrt{n} \log D)$ time per terminal addition or removal. Here, $D$ denotes the stretch of the metric induced by $G$. For planar graphs we achieve the same running time and the approximation ratio of $(2+\varepsilon)$. Moreover, we show faster algorithms for incremental and decremental scenarios. Finally, we show that if we allow higher approximation ratio, even more efficient algorithms are possible. In particular we show a polylogarithmic time $(4+\varepsilon)$-approximate algorithm for planar graphs. One of the main building blocks of our algorithms are dynamic distance oracles for vertex-labeled graphs, which are of independent interest. We also improve and use the online algorithms for the Steiner tree problem.

研究の動機と目的

• 端末の追加・削除を伴うSteiner木問題に対する、非線形更新時間を持つ効率的な動的アルゴリズムの開発。
• 特にスパースで平面的なグラフにおいて、高速な更新時間と併せて近似比を最小限に抑えること。
• 効率的な動的Steiner木の維持のためのコアな構成要素として、動的頂点色距離オラクルを導入・活用すること。
• オンラインSteiner木アルゴリズムと実用的で証明可能な非線形更新時間を持つ動的アルゴリズムの間のギャップを埋めること。
• 特に平面グラフにおいて、より良い近似比が動的設定で達成可能かどうかの調査。

提案手法

• 動的頂点色距離オラクルを活用し、変化する頂点集合における端末間の近似距離を効率的に計算する。
• 平面グラフにおける階層的分解とポータルベース接続に基づく、一般的な距離オラクルの構築法を適用する。
• 各更新後に低コストな木を維持するために、貪欲法および置換ベースの戦略を用いたオンラインSteiner木アルゴリズムを適用する。
• 双方向エミュレータを用いてメトリック閉包をシミュレートし、Steiner木問題を動的MSTの維持問題に還元する。
• 平面グラフの分離定理と再帰的分解を用いて、低次数かつ有界ストレッチを持つオラクルを構築する。
• 減損的および増大的オンラインアルゴリズムを効率的なデータ構造と組み合わせた完全動的フレームワークを実装する。

実験結果

リサーチクエスチョン

• RQ1 平面グラフにおいて、非線形更新時間で (2+ε)-近似のSteiner木を維持することは可能か？
• RQ2 動的距離オラクルを用いて、平面グラフにおける動的Steiner木の更新時間を多項式対数時間に抑えることは可能か？
• RQ3 動的アルゴリズムにおいて、メトリックのストレッチDに依存するのを回避することは可能か？
• RQ4 動的オラクルを用いて、平面グラフにおける動的Steiner木で (1+ε)-近似を達成することは可能か？
• RQ5 一般グラフにおいて、動的アルゴリズムの事前処理時間と記憶領域を線形に近づけることは可能か？

主な発見

• 一般グラフでは、更新ごとに Õ(√n log D) 時間で (6+ε)-近似のSteiner木が維持可能であり、Dはメトリックのストレッチである。
• 平面グラフでは、更新ごとに Õ(√n log D) 時間で (2+ε)-近似のSteiner木が維持可能であり、これは既知の最良の静的近似に一致する。
• 平面グラフにおいて、多項式対数時間の (4+ε)-近似動的アルゴリズムが達成され、平均更新時間は O(ε⁻¹ log⁶ n) である。
• 双方向エミュレータの構築により、メトリック閉包の効率的シミュレーションが可能となり、問題が動的MSTの維持問題に還元された。
• 一般グラフでは (3+ε)-近似、平面グラフでは (1+ε)-近似を持つ動的頂点色距離オラクルが開発された。
• フレームワークは増分的および減損的更新の両方を効率的にサポートし、それぞれの状況で改善された境界が得られた。