[論文レビュー] A O(E) Time Shortest Path Algorithm For Non Negative Weighted Undirected Graphs

Muhammad Aasim Qureshi, Fadzil B. Hassan+2 more|ArXiv.org|Nov 2, 2009

Complexity and Algorithms in Graphs参考文献 11被引用数 5

ひとこと要約

この論文は、非負の重み付きおよび重みなし無向グラフに対して、線形時間O(E)の最短経路アルゴリズムを提示する。特に、ソースからディスティネーションへの最短経路の計算に特化している。キューと次数に基づく優先順位付けを用いた変更されたBFSに類似したアプローチを採用し、複雑なデータ構造を用いずに最適な効率性を達成しており、特にエッジ数が長い経路が短い距離を示すことがあるスパarsなグラフにおいて優れた性能を発揮する。

ABSTRACT

In most of the shortest path problems like vehicle routing problems and network routing problems, we only need an efficient path between two points source and destination, and it is not necessary to calculate the shortest path from source to all other nodes. This paper concentrates on this very idea and presents an algorithm for calculating shortest path for (i) nonnegative weighted undirected graphs (ii) unweighted undirected graphs. The algorithm completes its execution in O(E) for all graphs except few in which longer path (in terms of number of edges) from source to some node makes it best selection for that node. The main advantage of the algorithms is its simplicity and it does not need complex data structures for implementations.

研究の動機と目的

• 非負の重み付き無向グラフにおけるソース・ディスティネーションルーティングに特化した、極めて効率的な最短経路アルゴリズムの開発。
• すべてのペア間最短経路の計算を回避し、ソースからディスティネーションへの経路のみに焦点を当てる。
• Fibonacciヒープのような高度なデータ構造に依存せずに、線形時間計算量O(E)を達成する。
• 基本的なキュー操作と次数に基づくノード選択を用いることで、実装を簡素化する。
• 重み付きおよび重みなしの両方の無向グラフを統一的かつ軽量なアプローチで処理する。

提案手法

• アルゴリズムはBFSに類似したキュー基盤の走査を用いるが、ノードの次数に基づく優先順位ヒューリスティクスを導入して探索を誘導する。
• ノードは次数が小さい順に処理され、エッジ数の観点から経路長を短くするため、次数が小さいノードを優先する。
• 各ノードに対して、ソースからの最短距離の既知の値を保持し、より短い経路が見つかった場合には隣接ノードを更新する。
• 目的地ノードがキューからデキューされた時点でアルゴリズムは終了し、最小限の計算量で処理が終了する。
• リラクゼーションの際、エッジの重みを考慮することで、重みなしおよび非負の重み付きグラフの両方を1つのフレームワークで処理する。
• シンプルなキューと次数に基づく順序付けを用いることで、優先キューのオーバーヘッドを回避し、O(E)の時間計算量を実現する。

実験結果

リサーチクエスチョン

• RQ1 ソース・ディスティネーション経路に特化することで、非負の重み付き無向グラフにおいてO(E)時間計算量を達成できるか？
• RQ2 高度な優先キューを排除しても、線形時間性能を維持できるか？
• RQ3 次数に基づくノード順序付けは、スパースグラフにおける経路品質および実行時間にどのように影響するか？
• RQ4 1つのアルゴリズムが、線形時間計算量で重み付きおよび重みなしの両方の無向グラフを効率的に処理できるか？
• RQ5 エッジ数が長い経路がもたらす、アルゴリズムの正しさおよび効率性への影響は何か？

主な発見

• 長さの長い経路（エッジ数）が短い距離を示す稀なクラスのグラフを除き、すべてのグラフでO(E)時間計算量を達成する。
• スパースグラフにおいて実際の性能がダイクストラ法を上回る。これは優先キュー操作が存在しないためである。
• 従来の手法よりも単純で、基本的なキューと次数の追跡のみを必要とするため、実装が容易である。
• 非負の重み付き無向グラフにおいて、ソースからディスティネーションへの最短経路を正しく計算する。
• 重み付きおよび重みなしの両方のグラフに対して効果的であり、統一された実装が可能である。
• 時間計算量の観点から最適であり、線形時間グラフ走査の理論的下界に一致する。