[論文レビュー] More Compact Oracles for Approximate Distances in Planar Graphs

Christian Sommer|arXiv (Cornell University)|Sep 12, 2011

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

ひとこと要約

この論文は、先行研究で見られる $n$ における対数的依存性を排除することで、空間–照会時間のトレードオフを著しく改善した、平面グラフの新しい $(1+\epsilon)$-近似距離オラクルを提示する。再帰的セパレータに基づくアプローチを用い、Fakcharoenphol-Rao Dijkstra 加速法を適用することで、中程度の辺重みを有するグラフにおいて $\tilde{O}(n\log\log n)$ の空間と $\tilde{O}(\epsilon^{-1} + \log\log\log n)$ の照会時間を達成し、$\epsilon$-依存性においてほぼ最適性を達成するとともに、$n$-依存性を低減する。

ABSTRACT

Distance oracles are data structures that provide fast (possibly approximate) answers to shortest-path and distance queries in graphs. The tradeoff between the space requirements and the query time of distance oracles is of particular interest and the main focus of this paper. In FOCS'01, Thorup introduced approximate distance oracles for planar graphs. He proved that, for any eps>0 and for any planar graph on n nodes, there exists a (1+eps)-approximate distance oracle using space O(n eps^{-1} log n) such that approximate distance queries can be answered in time O(1/eps). Ten years later, we give the first improvements on the space-querytime tradeoff for planar graphs. * We give the first oracle having a space-time product with subquadratic dependency on 1/eps. For space ~O(n log n) we obtain query time ~O(1/eps) (assuming polynomial edge weights). The space shows a doubly logarithmic dependency on 1/eps only. We believe that the dependency on eps may be almost optimal. * For the case of moderate edge weights (average bounded by polylog(n), which appears to be the case for many real-world road networks), we hit a "sweet spot," improving upon Thorup's oracle both in terms of eps and n. Our oracle uses space ~O(n log log n) and it has query time ~O(log log log n + 1/eps). (Asymptotic notation in this abstract hides low-degree polynomials in log(1/eps) and log*(n).)

研究の動機と目的

• Thorup (FOCS'01) の最先端を上回る、平面グラフにおける $(1+\epsilon)$-近似距離オラクルの空間–照会時間トレードオフを改善すること。
• 特に、セパレータに基づくアプローチで一般的に見られる $\log n$ 要因を除去することを含め、空間および照会時間における $n$ 依存性を低減すること。
• $1/\epsilon$ における空間–照会時間積を準二次的以下にすることにより、$\epsilon$-依存性において近似的に最適性に近づけること。
• 実世界の道路ネットワーク（例：ヨーロッパの道路ネットワークでは平均 $\approx 221$）で良好に動作するオラクルを設計すること。
• 平面グラフの近似距離オラクルにおいて、$n$ における対数的依存性を完全に除去できるかを検討すること。

提案手法

• 各レベルで短いパスから構成される小さなセパレータを用いてグラフを分割する、平面グラフの再帰的セパレータ分解を用いる。
• 境界パス上のポータルへのソースノードからの距離を事前計算するため、サイクル MSSP（複数源最短経路）データ構造を採用する。
• モンジュ性を活用して、境界パス上のポータルとセパレータパス上のノード間の距離を効率的に計算するため、Fakcharoenphol-Rao (FR-Dijkstra) アルゴリズムを適用する。
• 各照会ペア $(u,v)$ に対して、再帰的に各レベルの関連するセパレータパスをすべてチェックし、FR-Dijkstra を用いて $\min_{q} d(u,q) + d(q,v)$ を計算することで近似最短経路を特定する。
• 最低レベルの再帰では、基本ケースとして正確な距離オラクルに照会することで正しさを保証する。
• 反復対数関数を活用して再帰深さを制限する、$O(\log^* n)$ レベルの階層的分解を用いる。

実験結果

リサーチクエスチョン

• RQ1 平面グラフの近似距離オラクルの空間–照会時間積を $1/\epsilon$ に関して準二次的以下にできるか？
• RQ2 平面グラフにおける $(1+\epsilon)$-近似距離オラクルの空間および照会時間における $\log n$ 要因を除去することは可能か？
• RQ3 中程度の辺重み（例：平均 $\text{poly}(\log n)$）の仮定が、Thorup のオラクルよりも良いトレードオフを可能にするか？
• RQ4 $\tilde{O}(n\log n)$ の空間上限を $\tilde{O}(n\log\log n)$ に低下させつつ、ほぼ最適な照会時間を維持できるか？
• RQ5 平面グラフの近似距離オラクルの構築において、$n$ における対数的依存性を完全に除去できるか？

主な発見

• 辺重みが $\text{poly}(\log n)$ で有界なグラフに対して、オラクルは $\tilde{O}(n\log\log n)$ の空間を用い、$\tilde{O}(\epsilon^{-1} + \log\log\log n)$ の照会時間を達成し、Thorup の $O(n\epsilon^{-1}\log n)$ の空間と $O(\epsilon^{-1})$ の照会時間よりも優れている。
• 空間–照会時間積は $o(n\log n)$ であり、$1/\epsilon$ に関して準二次的依存性を達成しており、先行研究に比べて顕著な改善である。
• 照会時間は $\tilde{O}(\epsilon^{-1} + \log\log\log n)$ であり、定数 $\epsilon$ の場合、$O(\log\log\log n)$ にまで短縮され、ほぼ定数時間に近い。
• 洗練された再帰的分解と FR-Dijkstra 加速法を用いることで、空間および照会時間における $\log n$ 要因を回避する。
• 多項式辺重みを有するグラフに対して、オラクルは $\tilde{O}(n\log\log n)$ の空間と $\tilde{O}(\epsilon^{-1})$ の照会時間を達成し、$\epsilon$-依存性において最高水準を維持するとともに、$n$-依存性を低減する。
• 対数的依存性が完全に除去されており、平面グラフにおける線形空間・ほぼ定数時間照会のオラクルへの道筋が示唆される。