[論文レビュー] Fast and Compact Exact Distance Oracle for Planar Graphs

Vincent Cohen-Addad, Søren Dahlgaard+1 more|arXiv (Cornell University)|Feb 10, 2017

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

ひとこと要約

本稿は、平面的辺重み付き有向グラフにおける真の部分二次空間と多対数時間クエリを備えた最初の正確な距離オラクルを提示する。2つの階層的 $ r $-分割と境界頂点におけるボロノイ図の活用により、$ O(n^{5/3}) $ の空間と $ O(\log n) $ のクエリ時間を達成し、正確な平面距離オラクルにおける長年の二次空間の障壁を打ち破った。

ABSTRACT

For a given a graph, a distance oracle is a data structure that answers distance queries between pairs of vertices. We introduce an $O(n^{5/3})$-space distance oracle which answers exact distance queries in $O(\log n)$ time for $n$-vertex planar edge-weighted digraphs. All previous distance oracles for planar graphs with truly subquadratic space i.e., space $O(n^{2 - ε})$ for some constant $ε> 0$) either required query time polynomial in $n$ or could only answer approximate distance queries. Furthermore, we show how to trade-off time and space: for any $S \ge n^{3/2}$, we show how to obtain an $S$-space distance oracle that answers queries in time $O((n^{5/2}/ S^{3/2}) \log n)$. This is a polynomial improvement over the previous planar distance oracles with $o(n^{1/4})$ query time.

研究の動機と目的

• 真の部分二次空間と多対数時間クエリを備えた平面グラフの正確な距離オラクルを構築するという長年の未解決問題を克服すること。
• 空間が部分二次の場合は多項式時間クエリを必要とする既存のオラクルよりも、空間が部分二次でクエリ時間が多対数時間のオラクルを達成すること。
• 平面グラフにおける正確な距離クエリにおいて、空間、クエリ時間、事前処理時間の滑らかなトレードオフを確立すること。
• 平面距離オラクルにおける $ O(n^{2-\epsilon}) $ 空間対 $ O(n^{1/4}) $ クエリ時間のトレードオフの障壁を打ち破ること。

提案手法

• 効率的な分解とクエリルーティングを可能にするために、平面グラフの2つの階層的 $ r $-分割（$ r_1 $-分割と $ r_2 $-分割）を構築する。
• $ r_1 $-分割の各領域内および両方の分割の境界頂点間の全ペアの最短路距離を格納する。
• $ r_2 $-分割の各領域およびハッチ（穴）のボロノイ図を計算・格納し、境界ノードを通じた高速な距離計算を可能にする。
• 各領域に対して分離子分解を用いて、境界ノードを通る効率的な最短路クエリを可能にする。
• 各クエリに対して、ソース頂点を含む領域の境界ノードを走査し、事前に計算された距離を組み合わせて動的計画法により最短路を計算する。
• $ r_1 $ と $ r_2 $ の調整により空間とクエリ時間のバランスを図り、$ S \geq n^{3/2} $ 空間に対して $ O(n^{5/2}/S^{3/2} \log n) $ のクエリ時間を達成する。

実験結果

リサーチクエスチョン

• RQ1 真の部分二次空間と多対数時間クエリを備えた平面グラフの正確な距離オラクルを構築することは可能か？
• RQ2 平面グラフにおける正確な距離クエリにおいて、空間、クエリ時間、事前処理時間の滑らかなトレードオフを達成することは可能か？
• RQ3 $ O(n^{2-\epsilon}) $ 空間対 $ O(n^{1/4}) $ クエリ時間のトレードオフは、既知の境界を超えて改善可能か？
• RQ4 2つの $ r $-分割と境界頂点におけるボロノイベースのルーティングを組み合わせることで、空間時間効率の飛躍的向上が達成可能か？

主な発見

• 本稿は、平面的辺重み付き有向グラフにおける正確な距離クエリについて、$ O(n^{5/3}) $ の空間と $ O(\log n) $ のクエリ時間を達成し、従来の二次空間の障壁を打ち破った。
• 任意の $ S \geq n^{3/2} $ に対して、$ O(n^{5/2}/S^{3/2} \log n) $ のクエリ時間を実現し、部分多項式クエリ時間の既存のオラクルよりも多項式的改善を達成した。
• 事前処理時間として $ O(n^2) $ を達成したが、最近の決定的最短路アルゴリズムを用いることで $ \tilde{O}(n^{5/3}) $ に改善された。
• 3方向のトレードオフを確立した：$ S \geq n^{16/11} $ の場合、$ O(n^{11/5}/S^{6/5} \log n) $ のクエリ時間と $ \tilde{O}(S) $ の事前処理時間が達成された。
• 空間境界 $ O(n^{5/3}) $ は、現在の構成において最適であり、平面グラフにおけるこのようなオラクルの理論的下界と一致する。
• この手法は頑健で一般化可能であり、最近の平面グラフにおける決定的最短路計算の進展と組み合わせることで、より良い事前処理時間の向上が可能である。