[論文レビュー] Dynamic Decremental Approximate Distance Oracles with $(1+ε, 2)$ stretch

Ittai Abraham, Shiri Chechik|arXiv (Cornell University)|Jul 5, 2013

Complexity and Algorithms in Graphs参考文献 50被引用数 9

ひとこと要約

本稿では、$(1+\epsilon, 2)$ ストレッチを達成し、合計更新コストが $\hat{O}(n^{5/2})$ である動的減損近似距離オラクルを提示する。階層的クラスタリングと洗練された照会メカニズムを活用して、辺の削除下でも低コストの距離推定を維持し、同じコストで従来の $3+\epsilon$ ストレッチの境界を上回る。

ABSTRACT

We provide a decremental approximate Distance Oracle that obtains stretch of $1+ε$ multiplicative and 2 additive and has $\hat{O}(n^{5/2})$ total cost (where $\hat{O}$ notation suppresses polylogarithmic and $n^{O(1)/\sqrt{n}}$ factors). The best previous results with $\hat{O}(n^{5/2})$ total cost obtained stretch $3+ε$.

研究の動機と目的

• 辺の削除下でも効率的な近似距離照会をサポートする動的減損距離オラクルの設計。
• $(1+\epsilon, 2)$ ストレッチ（乗法的要因 $1+\epsilon$ と加法的要因 2）を達成しつつ、低平均更新コストを維持すること。
• 合計更新コストが $\hat{O}(n^{5/2})$ のまま、ストレッチを $3+\epsilon$ から $(1+\epsilon, 2)$ に改善すること。
• 減損モデルにおいて正しくかつ効率的に動作するように、$O(1)$ の照会時間の維持。

提案手法

• 各クラスタ $T(v)$ がピボットノード $p_j(s)$ に関連付けられる、距離閾値 $2^j$ に基づく階層的クラスタリング構造を用いる。
• 近似距離を維持するために、クラスタ上で変更されたダイクストラに類似した緩和プロセスを実行し、効率的な更新のための優先度キューを用いる。
• 照会アルゴリズムを導入し、最小のインデックス $i$ に対して $t \in T(p_i(s))$ を満たすような $O(1)$ 個の候補ピボットのみをチェックすることで、$O(1)$ の照会時間を達成する。
• 初期の $O(1)$ 時間、ストレッチ 3 の推定を導くために、BernsteinとRoditty [10] の減損アルゴリズム（$k=2$）をベースに用いる。
• 各ノードがそのクラスタのピボットへの距離のヒープを保持する階層的データ構造を適用し、効率的な経路推定を可能にする。
• 合計更新コストを束縛するためにポテンシャル関数の議論を適用し、すべての辺の削除にわたって $\hat{O}(n^{5/2})$ の平均コストを保証する。

実験結果

リサーチクエスチョン

• RQ1 動的減損距離オラクルは、合計更新コストが $\hat{O}(n^{5/2})$ のもとで、$(1+\epsilon, 2)$ ストレッチを達成できるか？
• RQ2 照会時間を $O(1)$ にまで低減しつつ、低ストレッチと低更新コストを維持するにはどうすればよいか？
• RQ3 合計更新コストを増加させずに、ストレッチを $3+\epsilon$ から $(1+\epsilon, 2)$ に改善することは可能か？
• RQ4 辺の削除下でも効率的な近似距離維持が可能なグラフの構造的性質は何か？

主な発見

• 提案された動的減損距離オラクルは、ストレッチが $(1+\epsilon, 2)$ を達成しており、返される距離が真の距離の $(1+\epsilon)$ 倍に加えて 2 を加えた値以下であることを意味する。
• 合計更新コストは $\hat{O}(n^{5/2})$ で束縛されており、多項式対数因子および $n^{O(1)/\sqrt{\log n}}$ 要因を抑圧している。これは、$3+\epsilon$ ストレッチの最良既知のコストと一致する。
• 照会時間は $O(1)$ であり、過去のアルゴリズムからの粗い初期推定値を用いて、各照会で $O(1)$ 個の候補ピボットのみをチェックすることで達成される。
• 従来の研究を改善し、合計更新コストを同じままストレッチを $3+\epsilon$ から $(1+\epsilon, 2)$ に低減している。
• 照会距離推定の正しさは、照会ノードとクラスタピボットの相対的位置に関するケース解析により証明されており、$(1+\epsilon)^{O(1)}$ ストレッチを保証する。
• 距離推定が常に低く見積もられることを防ぎ、望ましいストレッチ境界内に保つために、階層的構造と慎重なヒープメンテナンスに依存している。