[論文レビュー] Shortest Paths in Planar Graphs with Real Lengths in $O(n\log^2n/\log\log n)$ Time

Shay Mozes, Christian Wulff‐Nilsen|ArXiv.org|Nov 25, 2009

Computational Geometry and Mesh Generation参考文献 7被引用数 4

ひとこと要約

本稿では、負の閉路を含まない実数辺長の平面有向グラフにおける単一始点最短経路を、$O(n\log^2 n / \log\log n)$ 時間、線形空間で計算するアルゴリズムを提示する。この手法は、$r$-分割における領域内でのベルマン＝フォード風の緩和処理を、効率的な最短経路計算と組み合わせた分治戦略により最適化することで、先行研究を改善する。外部および内部の閉路で囲まれた部分グラフにおける効率的計算に、単調行列探索と削減コスト関数を活用することで、より良い時間計算量を達成する。

ABSTRACT

Given an $n$-vertex planar directed graph with real edge lengths and with no negative cycles, we show how to compute single-source shortest path distances in the graph in $O(n\log^2n/\log\log n)$ time with O(n) space. This is an improvement of a recent time bound of $O(n\log^2n)$ by Klein et al.

研究の動機と目的

• 任意の実数辺長で負の閉路を含まない平面有向グラフにおける単一始点最短経路（SSSP）の高速化アルゴリズムの開発。
• 最新の$O(n\log^2 n)$ 時間アルゴリズムの時間計算量を$\log\log n$ 要因だけ改善し、線形空間の使用を維持すること。
• 効率的なSSSP計算の適用範囲を、平面グラフにおける二部平面完全マッチング、可能フロー、可能循環といった問題へ拡張すること。
• 領域に穴がある場合の内部および領域間最短経路計算を、効率的なデータ構造と削減コスト関数を用いて最適化すること。

提案手法

• サイクル分離定理を用いて、平面グラフの$r$-分割を構築し、$O(n/r)$ 個の領域に分割する。各領域は$O(\sqrt{r})$ 個の境界頂点を持つ。
• 辺長を非負の削減コストに変換するための可能価格関数を用い、部分グラフ上でダイクストラ法を適用可能にする。
• 各領域の境界頂点間の全点対最短経路を、クラスのアルゴリズムを用いて$O(|V_R|\log|V_R|)$ 時間で計算する。
• 右端および左端の経路の構造を活用し、動的計画法をレイヤーごとに適用したベルマン＝フォードの変種を用いて、境界サイクル間の辺を緩和する。
• 距離行列の全単調性を活用し、SMAWKアルゴリズムを用いて境界頂点間の最短経路計算を高速化する。
• 部分グラフからの結果を再帰的に統合し、削減コスト関数を用いて各クエリで定数時間で元の距離を回復する。

実験結果

リサーチクエスチョン

• RQ1 実数辺長の平面グラフにおけるSSSPの$O(n\log^2 n)$ 時間境界を、$\log\log n$ 要因だけ改善することは可能か？
• RQ2 この改善された時間計算量を達成するにあたり、線形空間を維持することは可能か？
• RQ3 改善されたSSSPアルゴリズムを用いて、同じ時間計算量で二部平面完全マッチング、可能フロー、可能循環といった他の平面グラフ問題を解くことは可能か？
• RQ4 穴のある領域および境界サイクルの構造をどのように活用して、最短経路の緩和処理を最適化できるか？
• RQ5 単調行列探索と削減コスト関数は、アルゴリズム内の動的計画法ステップの高速化に果たす役割は何か？

主な発見

• 本アルゴリズムは、負の閉路を含まない実数辺長の平面有向グラフにおける単一始点最短経路問題に対して、$O(n\log^2 n / \log\log n)$ 時間の計算量を達成する。
• 再帰的および反復的フェーズ間でメモリを効率的に再利用することで、データ構造の管理を細かく行い、空間計算量は線形の$O(n)$ を維持する。
• 先行研究の$O(n\log^2 n)$ の境界に対する改善は、$\log\log n$ 要因であり、単調行列探索と経路分解の最適な適用によって達成される。
• 本アルゴリズムにより、二部平面完全マッチング、可能フロー、可能循環問題が、$O(n\log^2 n / \log\log n)$ 時間で解けることが、帰結として得られる。
• 削減コスト関数と可能価格関数の使用により、元の距離の正しさを保ちながら、部分グラフ上でダイクストラ法を適用可能にする。
• 穴のある領域における右端および左端の経路の構築により、境界サイクル間の関連するすべての辺が重複なく緩和されることが保証される。