[論文レビュー] Faster Shortest Path Algorithm for H-Minor Free Graphs with Negative Edge Weights

Christian Wulff‐Nilsen|arXiv (Cornell University)|Aug 5, 2010

Complexity and Algorithms in Graphs参考文献 10被引用数 3

ひとこと要約

本稿では、整数辺重みおよび負の辺をもつH-minorフリーなグラフにおける単一始点最短経路の計算を高速化するアルゴリズムを提示している。時間計算量は Õ(n⁴ᐟ³ log L) を達成している。この改善は、グラフの (r, r^{(2−γ)/3})-分割をより効率的に計算する、新たな手法に起因する。この分割手法は、YusterのSSSPフレームワークに統合され、平面グラフにおける既知の最良境界に一致する。

ABSTRACT

Let $H$ be a fixed graph and let $G$ be an $H$-minor free $n$-vertex graph with integer edge weights and no negative weight cycles reachable from a given vertex $s$. We present an algorithm that computes a shortest path tree in $G$ rooted at $s$ in $ ilde{O}(n^{4/3}\log L)$ time, where $L$ is the absolute value of the smallest edge weight. The previous best bound was $ ilde{O}(n^{\sqrt{11.5}-2}\log L) = O(n^{1.392}\log L)$. Our running time matches an earlier bound for planar graphs by Henzinger et al.

研究の動機と目的

• 負の辺重みをもつH-minorフリーなグラフにおける効率的な最短経路計算のギャップを埋める。
• このクラスのグラフに対して、以前の最良時間計算量 Õ(n^{1.392} log L) を改善すること。
• 平面グラフにおける最良境界に一致する実行時間、すなわち Õ(n⁴ᐟ³ log L) を達成すること。
• H-minorフリーなグラフにおける (r, r^{(2−γ)/3})-分割の計算を高速化するアルゴリズムを開発し、高速化を可能にする。

提案手法

• H-minorフリーなグラフの分割定理（補題1）を活用し、調整可能なパラメータ γ を用いて再帰的にグラフを分割する。
• 再帰の各段階で分割品質（γ′ を用いて調整）を最適化することで、コストと効率のバランスを取る再帰的分割アルゴリズムを設計する。
• 改善された分割アルゴリズムをYusterのSSSPフレームワークに適用し、領域ベースの動的計画法および最短経路計算に依存する。
• 境界頂点の制御を施した弱い (r, p)-分割構成を用いることで、領域統合および経路伝搬におけるオーバーヘッドを低減する。
• 分割計算の時間計算量を、r = n^{Ω(1)} のとき O(nr^γ) に最適化し、Yusterの O(n^{1+γ}) の境界を改善する。
• 高速化された分割をSSSPパイプラインに統合し、γ = 1/2 と設定することで、全体の時間計算量を Õ(n⁴ᐟ³ log L) に低減する。

実験結果

リサーチクエスチョン

• RQ1 負の整数辺重みをもつH-minorフリーなグラフにおけるSSSPの時間計算量を、O(n^{1.392} log L) を超えて改善可能か？
• RQ2 平面グラフで知られている Õ(n⁴ᐟ³ log L) の境界を、H-minorフリーなグラフに対しても達成可能か？
• RQ3 H-minorフリーなグラフにおけるより高速なグラフ分割アルゴリズムを設計可能か？ これによりSSSP性能の向上が可能か？
• RQ4 再帰の各段階で分割品質（γ′ を用いて調整）を適応的に使用することで、SSSPの全体的な時間計算量にどのような影響を与えるか？

主な発見

• 本稿では、整数辺重みおよび負の辺をもつH-minorフリーなグラフにおける単一始点最短経路に、Õ(n⁴ᐟ³ log L) の時間計算量を達成した。
• この改善は、(r, r^{(2−γ)/3})-分割の計算を高速化する新しいアルゴリズムにより達成され、計算時間は O(n^{1+γ}) から O(nr^γ) に削減された。
• フレームワークにおいて γ = 1/2 を設定することで、Õ(n⁴ᐟ³ log L) の時間計算量が得られ、平面グラフにおける最良境界と一致した。
• r = o(n) のとき、新しい分割アルゴリズムはYusterの方法よりも漸近的に高速であり、特に中程度のサイズの領域において顕著な利点を示す。
• このアプローチにより、重み関数の縮小を用いた複数始点のSSSP計算が高速化され、合計時間は O(n⁴ᐟ³ log L polylog n + kn) に抑えられる。
• 本結果により、H-minorフリーなグラフにおけるSSSPの新たなベンチマークが確立され、平面グラフの性能とのギャップが埋まった。