[論文レビュー] Time Dependent Contraction Hierarchies -- Basic Algorithmic Ideas

Peter Sanders|ArXiv.org|Apr 24, 2008

Data Management and Algorithms参考文献 7被引用数 7

ひとこと要約

この論文は、時間変動する辺重みを伴う時間依存型レシオネットワークに拡張された静的コントラクションハイアラルキー（CH）を導入する。時間依存型移動時間関数（TTF）を用いて、Dijkstraのアルゴリズムを一般化することで、正確で双方向の最短経路クエリを可能にし、区分線形関数に対するプロファイルクエリ、チェーン結合、min演算を用いる。これにより、適切なショートカット挿入および pruning 策略により正しさを保ちつつ、効率的なクエリ性能を達成する。

ABSTRACT

Contraction hierarchies are a simple hierarchical routing technique that has proved extremely efficient for static road networks. We explain how to generalize them to networks with time-dependent edge weights. This is the first hierarchical speedup technique for time-dependent routing that allows bidirectional query algorithms.

研究の動機と目的

• 静的レシオネットワークを想定した元のコントラクションハイアラルキーを、時間依存型辺重みをサポートするように拡張し、動的交通環境下での高速かつ正確な最短経路クエリを可能にすること。
• 到着時刻が事前に不明である時間依存型ネットワークにおける双方向探索の課題を、前方探索と後方探索を組み合わせたマーキングエッジを用いた新しいクエリアルゴリズムを導入することで解決すること。
• Dijkstraのアルゴリズムを時間依存型移動時間関数（TTF）としての抽象データ型として一般化することで、時間依存型設定下でも階層的ルーティングの効率性と正しさを維持すること。
• 近似TTF表現や境界に基づくpruningといった実用的改善策を開発し、クエリの正確性を損なわずに空間的・時間的複雑度を低減すること。
• TCHの実世界の道路ネットワークおよび公共交通機関システムにおける実現可能性と性能を評価し、アーキテクチャフラグのような目的指向技術との統合可能性を検討すること。

提案手法

• 辺重みを区分線形関数としてモデル化した時間依存型移動時間関数（TTF）を用い、チェーン結合やmin計算といった操作をサポートすることで、静的ネットワークにおけるコントラクションハイアラルキーを時間依存型ネットワークに一般化する。
• 平均移動時間またはサンプリングされた出発時刻を用いてノードの重要度を推定することで、静的ノード順序ヒューリスティクスを時間依存型設定に適応する。
• 縮約処理中に、時間に関係なく経路⟨u,v,w⟩が最適となる可能性がある場合にのみ、ショートカット(u,w)を挿入する。これは、プロファイルDijkstraを用いて、(u,v)と(v,w)のTTFを連結した結果が、既存の(u,w)エッジを上回るかを評価することで実現する。
• 上流グラフにおけるソースからの前方探索と、下流グラフにおけるターゲットからの後方探索を実行することで、双方向クエリを可能にする。この際、ターゲットに到達可能なすべてのエッジをマークする。
• 静的Dijkstraによって計算されたノードからターゲットまでの移動時間の下界ℓ(v)と、静的パスの展開と時間依存型評価によって計算された上界Uを用い、クエリ中の前方探索をpruningする。
• TTFの上界と下界を用いた近似TCH（ATCH）構築法を提案し、複雑度を低減する。正確なクエリは、縮小されたグラフ上でパスの展開と再評価により実現する。

実験結果

リサーチクエスチョン

• RQ1 双方向探索の効率性と正しさを保ちながら、時間依存型辺重みをサポートするようにコントラクションハイアラルキーを一般化することは可能か？
• RQ2 到着時刻が事前に不明である時間依存型ネットワークにおける双方向探索の課題を、階層的前処理を用いてどのように解決できるか？
• RQ3 前処理およびクエリ時間における時間依存型TTFの複雑度の増大を効果的に管理する戦略は何か？
• RQ4 近似TTF表現を用いることで、空間的・時間的オーバーヘッドを低減しつつ、クエリの正確性を損なわないか？
• RQ5 境界に基づくpruningと近似TCH構築法は、実際のクエリパフォーマンスにどのように寄与するか？

主な発見

• 前方探索と後方探索を組み合わせ、エッジをマークすることで、TCHフレームワークは時間依存型ネットワークにおける正確な双方向クエリを正しくサポートし、すべての潜在的最短経路が探索されることを保証する。
• プロファイルDijkstraは、TTFとしての一時的距離を計算するのに効果的であるが、ラベル設定性を失うものの、実用的には良好な性能を示す。
• 真の移動時間の1+ε要因以内の区分線形近似を用いることで、前処理段階でのTTF複雑度を顕著に低減でき、クエリの正確性への影響は最小限に抑えられる。
• 下界ℓ(v)と上界Uを用いた前方探索のpruningにより、探索空間が著しく縮小され、正確性を損なわずクエリ効率が向上する。
• 非効率なパスを事前に削除し、残ったコンパクトなグラフ上で正確な前方探索を実行することで、近似TCH上でも正確なクエリが可能になる。
• SHARCなどの既存手法に比べ、特にアーキテクチャフラグのような目的指向技術と組み合わせた場合、正確な時間依存型ルーティングにおいて優れた性能を発揮すると予想される。