[論文レビュー] Approximate Distance Oracle with Constant Query Time

Shiri Chechik|arXiv (Cornell University)|May 14, 2013

Complexity and Algorithms in Graphs参考文献 12被引用数 8

ひとこと要約

この論文は、非負の辺重みをもつ無向グラフのための新しい近似距離オラクルを提示する。これは $2k-1$ のストレッチを達成し、定数 $O(1)$ のクエリ時間を持つ一方で、$O(kn^{1+1/k})$ の空間を維持する。この手法は、初期推定に Mendel-Naor の距離オラクルを組み合わせ、Thorup-Zwick フレームワークを修正して、事前に計算された距離閾値とピボット構造を用いて定数時間クエリを可能にする。

ABSTRACT

An approximate distance oracle is a succinct data structure that provides fast answers to distance queries between any two nodes. In this paper we consider approximate distance oracles for general undirected graphs with non-negative edge weights with constant query time. We present a distance oracle of size O(k n^{1+1/k}), with 2k-1 stretch and O(1) query time. This improves the O(log{k}) query time of Wulff-Nilsen's distance oracle [SODA '13], which in turn improved the O(k) query time of Thorup and Zwick's distance oracle [J. ACM '05].

研究の動機と目的

• 非負の辺重みをもつ一般の無向グラフに対して、定数時間クエリを実現する距離オラクルの設計。
• Wulff-Nilsen のような、$O(\log k)$ クエリ時間であった過去のオラクルを、$O(1)$ に低減すること。
• $2k-1$ のストレッチを達成しながら、$O(kn^{1+1/k})$ の近似的最適な空間バウンドを維持すること。
• 部分線形クエリ時間が必須となる大規模ネットワークにおける実用的導入を可能にすること。

提案手法

• Mendel-Naor の距離オラクルを活用し、すべての頂点対に対して $O(ck)$ ストレッチの推定値を $O(1)$ 時間で得る。
• ピボット集合とバンチを用いて、$2k-1$-ストレッチクエリをサポートする修正された Thorup-Zwick オラクルを構築する。
• 距離閾値 $\tilde{\cal D}(d)$ を、Mendel-Naor の距離集合 $\cal D_{MN}$ と Thorup-Zwick の集合 $\cal D_{TZ}$ をマージすることで事前処理する。
• 各頂点 $u$ に対して、$\delta_j(u)$、$\Delta_j(u)$ を計算し、それらを用いて定数時間クエリルーティングを可能にするインデックス $x_1(i,u)$、$x_2(i,u)$、$x_3(i,u)$ を事前計算する。
• ハッシュ関数 $h_u$ とリスト $L_u$ を用い、クエリ時の距離を事前計算値に効率的にマッピングする。
• Mendel-Naor の $O(1)$ 時間オラクルと Thorup-Zwick の $2k-1$-ストレッチ構造を、最良の推定値を定数時間で選択するハイブリッドクエリアルゴリズムによって統合する。

実験結果

リサーチクエスチョン

• RQ1 $O(1)$ クエリ時間でありながら、$2k-1$ ストレッチと $O(kn^{1+1/k})$ 空間を維持できる距離オラクルは実現可能か？
• RQ2 Wulff-Nilsen のオラクルの $O(\log k)$ クエリ時間は、普遍的な定数にまで低減可能か？
• RQ3 低ストレッチの初期推定値と Thorup-Zwick 方式の構造をどのように組み合わせれば、定数時間クエリを実現できるか？
• RQ4 定数時間クエリを実現する際の、$2k-1$ ストレッチを達成するための構築時間のオーバーヘッドはどの程度か？

主な発見

• 提案された距離オラクルは、$O(1)$ クエリ時間、$2k-1$ ストレッチ、$O(kn^{1+1/k})$ 空間を達成し、Wulff-Nilsen の $O\left(\log k\right)$ クエリ時間のオラクルを改善した。
• 構築時間は $O\left(kmn^{1/k} + kn^{1+1/k}\log n + mn^{1/(ck)}\log^3 n\right)$ であり、スパarsなグラフに対しては効率的である。
• 高速な初期推定を提供する Mendel-Naor オラクルと、洗練された Thorup-Zwick 構造を組み合わせることで、ストレッチ保証を確保した。
• 各頂点の事前処理は $O(k^2)$ 時間で行われ、全体の事前処理時間は $O(nk\log n)$ となり、大規模グラフに対しても効率的である。
• すべての頂点とクエリペアに対して、重要な距離閾値とルーティングインデックスを事前計算することで、$O(1)$-時間クエリを実現した。
• データ構造のサイズは $O(kn^{1+1/k})$ であり、girth 予想に基づく定数係数のオーダーで最適なトレードオフを達成している。