[論文レビュー] Improved distance sensitivity oracles via tree partitioning

Ran Duan, Tianyi Zhang|arXiv (Cornell University)|May 15, 2016

Complexity and Algorithms in Graphs参考文献 4被引用数 3

ひとこと要約

この論文は、有向で非負重み付きグラフに対して、最適な O(n²) の空間計算量と O(1) のクエリ時間、予め計算時間 Õ(mn) を達成する新しい距離感度オラクル（DSO）を提示する。この手法は木分割とFour Russians法に基づく新規な表形式技術を用い、空間計算量を O(n² log n) から O(n²) に削減する。クエリ時間は一定を維持し、近似的に最適な予め計算時間を持つため、空間計算量において漸近的に最適であり、頂点障害下での動的ルーティングにおいても効率的である。

ABSTRACT

We introduce an improved structure of distance sensitivity oracle (DSO). The task is to pre-process a non-negatively weighted graph so that a data structure can quickly answer replacement path length for every triple of source, terminal and failed vertex. The previous best algorithm constructs in time $ ilde{O}(mn)$ a distance sensitivity oracle of size $O(n^2\log n)$ that processes queries in $O(1)$ time. As an improvement, our oracle takes up $O(n^2)$ space, while preserving $O(1)$ query efficiency and $ ilde{O}(mn)$ preprocessing time. One should notice that space complexity and query time of our novel data structure are asymptotically optimal.

研究の動機と目的

• 頂点障害下の最短路照会に、漸近的に最適な空間計算量を有する距離感度オラクル（DSO）を設計すること。
• 従来のDSOの空間計算量を O(n² log n) から O(n²) に削減し、O(1) のクエリ時間の損なわれないままにすること。
• 予め計算時間 Õ(mn) を維持しつつ、空間計算量を最適化すること。
• DSOの適用範囲を、ノード障害に伴う再ルーティングが即座に必要となるリアルタイムルーティングシステムへ拡張すること。

提案手法

• 単一始点最短経路（SSSP）木を分割し、スパーステーブルエントリを格納する頂点のサブセットを指定することで、空間使用量を削減する。
• 源およびターゲットから遠い頂点に焦点を当てた階層的木分割戦略を導入し、退化ケースを効率的に処理する。
• Four Russians法に基づく表形式技術を用い、L′-short 経路のためのストレージを圧縮し、この構成要素の空間計算量を o(n²) に削減する。
• 許容可能な関数を用いて経路分解におけるブottleneck頂点を置き換え、初期化を単純化し、正しさを保持する。
• レベル祖先データ構造と行列インデキシングを用い、代替経路の分岐点および収束点を素早く回復する。
• 最終的なDSOは、スパーステーブルエントリと短い経路の事前計算済みセグメントを組み合わせることで、O(n²) のエントリのみを格納し、O(1) のクエリを可能にする。

実験結果

リサーチクエスチョン

• RQ1 O(n²) の空間計算量を有する距離感度オラクルを構築可能か？ ただし、O(1) のクエリ時間を維持するものとする。
• RQ2 従来のDSOの空間計算量を O(n² log n) から O(n²) に削減可能か？ ただし、クエリ時間の増加は認めない。
• RQ3 予め計算時間 Õ(mn) を維持しつつ、空間計算量を最適化可能か？
• RQ4 Four Russians技法をどのように変更して、頂点障害照会のためのDSOにおける経路情報の圧縮に応用できるか？
• RQ5 頂点障害下での全ペア代替経路照会に必要な最小空間計算量は何か？

主な発見

• 提案されたDSOは、O(n²) の空間計算量を達成しており、完全に異なる辺重みを持つ完全グラフでは、少なくとも Ω(n²) のエントリを格納しなければならないため、漸近的に最適である。
• DSOは代替経路長のクエリに O(1) の時間で応答でき、クエリ効率において、これまでの最高水準に一致する。
• 予め計算時間は Õ(mn) であり、これはほぼ最適であり、最高水準の境界と一致しており、従来の O(mn²) や O(mn^{1.5}) の手法を改善している。
• 従来の O(n² log n) のDSOにおける log n 要因を排除することで、空間計算量が削減され、二次空間計算量の境界に到達した。
• 各経路エントリの最初の辺を格納することで、出力に依存する経路再構築を O(|st⋄f|) 時間で実行可能である。
• L′-short 経路に対する表形式の使用により、この構成要素の空間計算量が o(n²) に削減され、全体の O(n²) の境界に寄与している。