[論文レビュー] Engineering Time-dependent One-To-All Computation

Robert Geisberger|arXiv (Cornell University)|Oct 5, 2010

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

ひとこと要約

本稿では、時間に依存する収縮ハブ（TCH）を用いた道路ネットワークにおける時間に依存する1対すべての最短経路計算の最適化アルゴリズムを提示する。近似された移動時間関数（TTF）を活用し、下界および上界によるTTF操作の剪定により、処理を著しく高速化している。近似誤差0.1%の条件下で標準TCHに比べ45%の高速化を達成しており、並列処理によりさらなる性能向上が得られる。

ABSTRACT

Very recently a new algorithm to the nonnegative single-source shortest path problem on road networks has been discovered. It is very cache-efficient, but only on static road networks. We show how to augment it to the time-dependent scenario. The advantage if the new approach is that it settles nodes, even for a profile query, by scanning all downward edges. We improve the scanning of the downward edges with techniques developed for time-dependent many-to-many computations.

研究の動機と目的

• TTF操作がグラフ走査を上回る計算コストを占める時間に依存する1対すべての最短経路クエリにおける性能ボトルネックを解消すること。
• 静的収縮ハブにおけるキャッシュ効率の良いノード順序ベースのアルゴリズムを時間に依存する状況に適応させること。
• リンク操作や最小値操作といった高コストなTTF操作の計算コストを、近似された境界と剪定戦略により低減すること。
• 正確なアークフラグの事前計算を可能にするコアベースの計算を実装し、正確性の保証を得た高速化技術を強化すること。

提案手法

• ノードは重要度の降順に処理され、静的収縮ハブと同様の方法であるが、TTFを介して時間に依存する辺の重みに適応している。
• 流入する下流エッジに対して3回のパスを実行し、候補パスの間接的な上界（最大値およびε近似に基づく）を計算して剪定を行う。
• 下界と上界を用いた剪定が行われる：下界が現在の上界を超えない場合にのみTTF操作が実行される。
• 複雑さを低減し、操作を高速化するために、Imai-Iriの幾何的アルゴリズムを用いて近似TTF（ε境界）を計算する。
• 上界の強化と最小値に基づく剪定を統合し、高コストなリンク操作および最小値操作を有望なパスに限定する。
• 複数スレッドに跨る並列処理が適用され、ドイツの道路ネットワーク（470万ノード、1080万エッジ）を用いて性能が測定されている。

実験結果

リサーチクエスチョン

• RQ1 静的収縮ハブにおけるキャッシュ効率の良いノード順序戦略を、時間に依存する1対すべての最短経路計算に拡張可能か？
• RQ2 時間に依存する1対すべてのクエリにおいて、高コストなTTF操作（リンク、最小値）をどのように低減できるか？
• RQ3 近似TTFと剪定ヒューリスティクスを用いることで、正確性を損なわずどれほど性能を向上できるか？
• RQ4 正確なTTFを用いたコアベースの計算により、アークフラグのような高速化技術の事前計算をより速く正確に行えるか？

主な発見

• 0.1%の近似誤差（ε）を用いることで、クエリ時間はTCHの105秒から32.6秒に短縮され、ベースライン比で70%の高速化が達成された。
• 8スレッドを用い、0.1%のεを設定した場合、クエリ時間は5.7秒にまで低下し、強力なスケーラビリティが示された。
• 効果的な剪定により、高コストなTTF操作の数を削減したため、本手法は標準TCHおよびProfile Dijkstraを上回る性能を発揮した。
• 正確なTTFを用いたコアベースの計算により、アークフラグの事前計算がより高速に実行可能となり、速度と正確性の両方の利点が得られた。
• 最小値とε近似に基づく下界・上界の使用により、完全なTTF操作の回数が顕著に削減された。
• 複雑な区分線形TTF（実世界の交通パターンを反映）を扱う場合でさえ、正しさを保ちつつ高い性能を達成した。