[論文レビュー] Faster Approximate Distance Queries and Compact Routing in Sparse Graphs

Rachit Agarwal, P. Brighten Godfrey+1 more|arXiv (Cornell University)|Jan 12, 2012

Caching and Content Delivery参考文献 12被引用数 4

ひとこと要約

本稿では、調整可能なパrameter α を用いることで、古典的な空間-ストレッチのトレードオフの壁を打ち破る、スパースグラフ向けの新しい距離オラクルおよびコン pactルーティング方式を提示する。線形空間（O(m)）と定数ストレッチ（2）を達成し、部分線形のクエリ時間を持つ。これにより、近似距離クエリの効率的実行と、スパースグラフにおいて最適なストレッチ2を有する最初のコンパクトルーティングが可能になる。

ABSTRACT

A distance oracle is a compact representation of the shortest distance matrix of a graph. It can be queried to approximate shortest paths between any pair of vertices. Any distance oracle that returns paths of worst-case stretch (2k-1) must require space $Ω(n^{1 + 1/k})$ for graphs of n nodes. The hard cases that enforce this lower bound are, however, rather dense graphs with average degree Ω(n^{1/k}). We present distance oracles that, for sparse graphs, substantially break the lower bound barrier at the expense of higher query time. For any 1 \leq α\leq n, our distance oracles can return stretch 2 paths using O(m + n^2/α) space and stretch 3 paths using O(m + n^2/α^2) space, at the expense of O(αm/n) query time. By setting appropriate values of α, we get the first distance oracles that have size linear in the size of the graph, and return constant stretch paths in non-trivial query time. The query time can be further reduced to O(α), by using an additional O(m α) space for all our distance oracles, or at the cost of a small constant additive stretch. We use our stretch 2 distance oracle to present the first compact routing scheme with worst-case stretch 2. Any compact routing scheme with stretch less than 2 must require linear memory at some nodes even for sparse graphs; our scheme, hence, achieves the optimal stretch with non-trivial memory requirements. Moreover, supported by large-scale simulations on graphs including the AS-level Internet graph, we argue that our stretch-2 scheme would be simple and efficient to implement as a distributed compact routing protocol.

研究の動機と目的

• ストレッチ (2k−1) に対して Ω(n^{1+1/k}) の空間を要する既存の距離オラクルの限界、特にスパースグラフにおける課題を解決すること。
• 調整可能なパrameter α を導入することで、スパースグラフにおける空間-ストレッチのトレードオフの壁を打ち破り、空間とクエリ時間のバランスを取ること。
• スパースグラフに対して、最悪ケースストレッチ2を有する最初のコンパクトルーティング方式を設計し、非自明なメモリ使用量で最適なストレッチを達成すること。
• 実用的展開を可能にするために、効率的なクエリメカニズムを提供し、ASレベルのインターネットグラフを含む実世界のグラフにおける大規模シミュレーションによる検証を実施すること。

提案手法

• 空間とクエリ時間のトレードオフを制御するパrameter α を導入し、α ∈ [1, n] とする。
• O(m + n²/α) の空間と O(αm/n) のクエリ時間でストレッチ2の経路を返す距離オラクルを構築し、ストレッチ3の経路に対しては O(m + n²/α²) の空間を用いる。
• 追加の O(mα) の補助空間を追加することでクエリ時間を O(α) に最適化する。あるいは、わずかな定数加法的ストレッチを許容することで、さらなる高速化を実現する。
• ストレッチ2の距離オラクルを活用し、最悪ケースストレッチ2を持つコンパクトルーティング方式を設計し、スパースグラフにおいて最適であることを証明する。
• 効率的な経路近似とルーティング意思決定を可能にするために、階層的分解とランドマークベースのルーティングを活用する。
• 実世界のスパースグラフ、特にASレベルのインターネットトポロジーを含むシミュレーションを通じて、その実用性を検証する。

実験結果

リサーチクエスチョン

• RQ1 スパースグラフ向けの距離オラクルは、線形空間を維持しながら定数ストレッチと部分線形クエリ時間で達成可能か？
• RQ2 ノードあたり部分線形メモリを使用して、スパースグラフで最悪ケースストレッチ2を持つコンパクトルーティング方式を設計することは可能か？
• RQ3 調整可能なパrameter α を用いることで、スパースグラフにおいて古典的な空間-ストレッチ下界を回避できるか？
• RQ4 近似距離オラクルにおいて、空間、クエリ時間、ストレッチのトレードオフはどのように変化するか？
• RQ5 提案された方式は、インターネットのような実世界の分散ネットワークで効率的に実装・スケーリング可能か？

主な発見

• 提案された距離オラクルは、O(m + n²/α) の空間と O(αm/n) のクエリ時間でストレッチ2を達成し、スパースグラフにおいて古典的な Ω(n^{1+1/k}) の空間下界を打ち破る。
• α = n と設定することで、O(m) の空間と O(m) のクエリ時間が達成され、定数ストレッチを持つ線形空間の距離オラクルが実現される。
• 追加の O(mα) の空間を用いることで、クエリ時間を O(α) に短縮でき、空間と遅延の調整可能なトレードオフが実現される。
• ストレッチ2の距離オラクルにより、スパースグラフに対して最悪ケースストレッチ2を持つ最初のコンパクトルーティング方式が実現され、非自明なメモリ使用量で最適なストレッチが達成される。
• ASレベルのインターネットグラフやその他の実世界グラフにおけるシミュレーションにより、分散展開に適した効率性と実用性が確認される。
• 改善されたクエリ時間で、わずかな定数加法的ストレッチを許容することで、実世界のルーティング応用における実用的なトレードオフが提供される。