重み付き有向グラフの頂点AとF間の最短経路(A、C、E、D、F)、青 グラフ理論 において、最短経路問題とは、 グラフを構成する2つの 頂点 (またはノード)間の経路を、その構成辺の 重み の合計が最小となるように求める問題である。[ 1 ]
道路地図上の2つの交差点間の最短経路を見つける問題は、グラフにおける最短経路問題の特殊なケースとしてモデル化することができる。グラフでは、頂点は交差点に対応し、辺は道路区間に対応し、各区間の長さまたは距離によって重み付けされる。[ 2 ]
意味 最短経路問題は、無向グラフ、有向グラフ、混合グラフのいずれのグラフに対しても定義できます。無向 グラフの 定義で は 、すべての辺はどちらの方向にも移動できるとされています。有向グラフでは、連続する頂点が適切な有向辺で接続されている必要があります。[ 3 ]
2つの頂点が共通の辺に接している場合、それらの頂点は隣接していると言える。無向グラフにおけるパス とは、に対して がに隣接するような頂点の列 である。このようなパスは、からまでの長さを持つパスと呼ばれる。( は変数である。その番号は列内の位置に対応しており、標準的なラベル付けとは必ずしも関連していない。) P = ( v 1 、 v 2 、 … 、 v n ) ∈ V × V × ⋯ × V {\displaystyle P=(v_{1},v_{2},\ldots ,v_{n})\in V\times V\times \cdots \times V} v 私 {\displaystyle v_{i}} v 私 + 1 {\displaystyle v_{i+1}} 1 ≤ 私 < n {\displaystyle 1\leq i<n} P {\displaystyle P} n − 1 {\displaystyle n-1} v 1 {\displaystyle v_{1}} v n {\displaystyle v_{n}} v 私 {\displaystyle v_{i}}
と の両方に接続する辺をとします。実数値の 重み関数、および無向(単純)グラフが与えられている場合、 からへの最短経路は、すべての可能な経路にわたって の合計を最小化する経路(ただしおよび)です。グラフの各辺が単位重み または のとき、これは辺が最も少ない経路を見つけることに相当します。 E = { e 私 、 j } {\displaystyle E=\{e_{i,j}\}} e 私 、 j {\displaystyle e_{i,j}} v 私 {\displaystyle v_{i}} v j {\displaystyle v_{j}} f : E → R {\displaystyle f:E\rightarrow\mathbb{R}} G {\displaystyle G} v {\displaystyle v} v ′ {\displaystyle v'} P = ( v 1 、 v 2 、 … 、 v n ) {\displaystyle P=(v_{1},v_{2},\ldots ,v_{n})} v 1 = v {\displaystyle v_{1}=v} v n = v ′ {\displaystyle v_{n}=v'} n {\displaystyle n} ∑ 私 = 1 n − 1 f ( e 私 、 私 + 1 ) 。 {\displaystyle \sum _{i=1}^{n-1}f(e_{i,i+1}).} f : E → { 1 } {\displaystyle f:E\rightarrow \{1\}}
この問題は、次のバリエーションと区別するために、 単一ペア最短経路問題と呼ばれることもあります。
単一ソース最短経路問題 。ソース頂点v からグラフ内の他のすべての頂点までの最短経路を見つける必要があります。 単一目的地最短経路問題 は 、有向グラフ内のすべての頂点から単一の目的地頂点v までの最短経路を求める問題です。これは、有向グラフの弧を反転させることで、単一出発点最短経路問題に帰着できます。 全ペア最短経路問題 。グラフ内の頂点v 、v' のすべてのペア間の最短経路を見つける必要があります。 これらの一般化は、関連するすべての頂点ペアに対して単一ペアの最短経路アルゴリズムを実行するという単純なアプローチよりもはるかに効率的なアルゴリズムを備えています。
アルゴリズム この問題とその変種を解決するためのよく知られたアルゴリズムがいくつかあります。
追加のアルゴリズムと関連する評価については、Cherkassky、Goldberg、Radzik (1996) を参照してください。
単一ソース最短経路
無向グラフ
重み付けされていないグラフ アルゴリズム 時間計算量 著者 幅優先探索 O ( E + V )
有向非巡回グラフ 位相ソート を用いたアルゴリズムは、任意の重みを持つ有向非巡回グラフにおける単一ソース最短経路問題をΘ( E + V )の時間で解くことができる。 [ 4 ]
非負の重みを持つ有向グラフ 以下の表はSchrijver (2004) から引用したもので、いくつかの修正と追加が加えられています。緑色の背景は、表の中で漸近的に最適な境界を示しています。Lは 、すべての辺の中で最大の長さ(または重み)であり、辺の重みは整数であると仮定しています。
負の閉路を持たない任意の重みを持つ有向グラフ
負のサイクルを持つ任意の重みを持つ有向グラフ 負のサイクルを見つけるか、すべての頂点までの距離を計算します。
重量 アルゴリズム 時間計算量 著者 Z {\displaystyle \mathbb {Z} } お ( E V ログ 北 ) {\displaystyle O(E{\sqrt {V}}\log {N})} アンドリュー・V・ゴールドバーグ
非負の重みを持つ平面グラフ 重量 アルゴリズム 時間計算量 著者 R ≥ 0 {\displaystyle \mathbb {R} _{\geq 0}} お ( V ) {\displaystyle O(V)} ヘンジンガーら 1997
アプリケーション ネットワークフロー [ 8 ] はグラフ理論とオペレーションズ・リサーチにおける基本的な概念であり、ネットワークを介した商品、液体、または情報の輸送に関わる問題をモデル化するためによく用いられます。ネットワークフロー問題は通常、有向グラフで構成され、各辺はパイプ、電線、または道路を表し、各辺にはその辺を通過できる最大量である容量が与えられます。目標は、ソースノードからシンクノードへのフローを最大化する実行可能なフローを見つけることです。
最短経路問題は 、特に単一ソース・単一シンクのネットワークを扱う場合に、特定のネットワークフロー問題を解くために使用できます。このようなシナリオでは、ネットワークフロー問題を一連の最短経路問題に変換できます。
[ 9 ]
残差グラフを作成する: 元のグラフの各エッジ (u, v) に対して、残差グラフに 2 つのエッジを作成します。 (u, v) の容量は c(u, v) です (v, u) 容量0 残余グラフは、ネットワークで使用可能な残りの容量を表します。 最短経路を見つける: 最短経路アルゴリズム (例: ダイクストラ アルゴリズム、ベルマンフォード アルゴリズム) を使用して、残差グラフ内のソース ノードからシンク ノードまでの最短経路を見つけます。 フローを増強する: 最短経路に沿って最小容量を見つけます。 最短パスのエッジのフローをこの最小容量だけ増加します。 前方方向のエッジの容量を減らし、後方方向のエッジの容量を増やします。 残差グラフを更新します。 繰り返す: ソースからシンクへのパスが見つからなくなるまで、手順 2 ~ 4 を繰り返します。
全ペア最短経路 全対最短経路問題は、グラフ内の全ての頂点v 、v'間の最短経路を求める問題です。重み付けされていない有向グラフの全対最短経路問題は 、Shimbel (1953) によって提唱されました。彼は、この問題が線形行列乗算によって解けることを発見し、その計算時間は合計でO ( V 4 ) でした。
無向グラフ 重量 時間計算量 アルゴリズム R {\displaystyle \mathbb {R} } + O ( V 3 )フロイド・ワーシャルアルゴリズム { 1 、 ∞ } {\displaystyle \{1,\infty \}} お ( V ω ログ V ) {\displaystyle O(V^{\omega }\log V)} ザイデルのアルゴリズム( 高速行列乗算アルゴリズム を使用した場合の予想実行時間) 北 {\displaystyle \mathbb {N} } お ( V 3 / 2 Ω ( ログ V ) 1 / 2 ) {\displaystyle O(V^{3}/2^{\オメガ (\log V)^{1/2}})} ウィリアムズ 2014 R {\displaystyle \mathbb {R} } + O ( EV log α( E , V ))ペティ&ラマチャンドラン 2002 北 {\displaystyle \mathbb {N} } O ( EV )Thorup 1999 を すべての頂点に適用します (定数時間の乗算が必要です)。
有向グラフ 重量 時間計算量 アルゴリズム R {\displaystyle \mathbb {R} } (負のサイクルはありません)お ( V 3 ) {\displaystyle O(V^{3})} フロイド・ワーシャルアルゴリズム 北 {\displaystyle \mathbb {N} } お ( V 3 / 2 Ω ( ログ V ) 1 / 2 ) {\displaystyle O(V^{3}/2^{\オメガ (\log V)^{1/2}})} ウィリアムズ 2014 R {\displaystyle \mathbb {R} } (負のサイクルはありません)お ( V 2.5 ログ 2 V ) {\displaystyle O(V^{2.5}\log ^{2}{V})} 量子探索 [ 10 ] [ 11 ] R {\displaystyle \mathbb {R} } (負のサイクルはありません)O ( EV + V 2 log V )ジョンソン・ダイクストラ R {\displaystyle \mathbb {R} } (負のサイクルはありません)O ( EV + V 2 log log V )ペティ 2004 北 {\displaystyle \mathbb {N} } O ( EV + V 2 log log V )ハーゲルップ 2000
アプリケーション 最短経路アルゴリズムは、 MapQuest やGoogleマップなどの ウェブマッピング ウェブサイトにおける運転ルート検索など、物理的な場所間のルートを自動的に検索するために使用されます。この用途には、高速な専用アルゴリズムが利用可能です。[ 12 ]
非決定性抽象機械を、 頂点が状態を、辺が遷移の可能性を表すグラフとして表現する場合、最短経路アルゴリズムを用いて、特定の目標状態に到達するための最適な選択肢の順序を見つけたり、特定の状態に到達するために必要な時間の下限を設定したりすることができます。例えば、頂点がルービックキューブ のようなパズルの状態を表し、各有向辺が1つの動きまたはターンに対応する場合、最短経路アルゴリズムを用いて、可能な限り最小の動き数で解を求めることができます。
ネットワーク や通信の 分野では、この最短経路問題は最小遅延経路問題と呼ばれることもあり、通常は最大経路問題 と結び付けられます。例えば、このアルゴリズムは最短(最小遅延)かつ最長経路を求める場合もあれば、最短(最小遅延)かつ最長経路を求める場合もあります。[ 13 ]
もっと気楽な応用としては、同じ映画に登場する映画スターのようにグラフ内で最短経路を見つけようとする 「 6次の隔たり 」ゲームがあります。
オペレーションズリサーチ でよく研究される他の応用分野には、工場や施設のレイアウト、ロボット工学 、輸送 、VLSI 設計などがある。[ 14 ]
道路網 道路網は、正の重みを持つグラフとして考えることができます。ノードは道路の交差点を表し、グラフの各エッジは、2つの交差点間の道路セグメントに関連付けられています。エッジの重みは、関連付けられた道路セグメントの長さ、セグメントの通過に必要な時間、またはセグメントの通過コストに対応します。有向エッジを使用すると、一方通行の道路をモデル化することもできます。このようなグラフは、一部のエッジが長距離移動(高速道路など)において他のエッジよりも重要であるという意味で特殊です。この特性は、高速道路次元の概念を使用して形式化されています。[ 15 ] この特性を利用するアルゴリズムは多数あり、そのため、一般的なグラフで可能であるよりもはるかに高速に最短経路を計算できます。
これらのアルゴリズムはすべて2つのフェーズで動作します。第1フェーズでは、ソースノードとターゲットノードが不明な状態でグラフの前処理が行われます。第2フェーズはクエリフェーズです。このフェーズでは、ソースノードとターゲットノードが既知です。道路ネットワークは静的であるため、前処理フェーズを一度実行すれば、同じ道路ネットワークに対する多数のクエリに使用できます。
最も高速なクエリ時間を持つアルゴリズムはハブラベリングと呼ばれ、ヨーロッパやアメリカの道路網上の最短経路をマイクロ秒未満で計算することができます。[ 16 ] 他に使用されている技術は次のとおりです。
計算幾何学 における最短経路問題については、ユークリッド最短経路 を参照してください。
最短の多重切断経路[ 17 ] は、レプテーション理論 の枠組みにおける原始経路ネットワークの表現である。最大経路問題は、 任意の辺の最小ラベルが可能な限り大きくなるような経路を求める問題である。
その他の関連する問題は、次のカテゴリに分類できます。
制約付きパス 負の閉路のないグラフで多項式時間で解くことができる最短経路問題とは異なり、望ましい解の経路に追加の制約を含む最短経路問題は制約付き最短経路優先 と呼ばれ、解くのがより困難です。1つの例として制約付き最短経路問題があります。[ 18 ] これは、経路の総コストを最小化すると同時に別のメトリックを特定のしきい値以下に維持することを試みます。これにより、問題はNP完全に なります(このような問題は大規模なデータセットでは効率的に解決できないと考えられています。P = NP問題を 参照)。もう1つのNP完全な 例では、特定の頂点セットが経路に含まれている必要があり、[ 19 ] これにより、問題は巡回セールスマン問題 (TSP)に類似したものになります。TSPは、すべての頂点を1回だけ通過して開始に戻る最短経路を見つける問題です。グラフで 最長経路を見つける 問題もNP完全です。
部分的な観測可能性 カナダ人旅行者問題 と確率的最短経路問題は、グラフが移動者に完全にはわからない、時間の経過とともに変化する、またはアクション(トラバーサル)が確率的である場合の一般化です。[ 20 ] [ 21 ]
戦略的最短経路 グラフのエッジには個性がある場合があります。つまり、各エッジには独自の利己的な関心があります。一例として、各エッジがおそらく異なる人に属するコンピュータである通信ネットワークが挙げられます。コンピュータごとに転送速度が異なるため、ネットワーク内のすべてのエッジには、メッセージを送信するのにかかるミリ秒数に等しい数値の重みがあります。目標は、ネットワーク内の 2 点間でメッセージを可能な限り短時間で送信することです。各コンピュータの転送時間 (各エッジの重み) がわかっている場合は、標準的な最短経路アルゴリズムを使用できます。転送時間がわからない場合は、各コンピュータに転送時間を尋ねる必要があります。ただし、コンピュータが利己的である可能性もあります。つまり、コンピュータは転送時間が非常に長いことを私たちに伝え、私たちがメッセージで煩わせないようにする可能性があります。この問題の考えられる解決策は、コンピュータに真の重みを明らかにするインセンティブを与える VCG メカニズムのバリエーションを使用することです。
負のサイクル検出 場合によっては、最短経路を見つけることが主な目的ではなく、グラフに負の閉路が含まれているかどうかを検出することだけが目的となることがあります。この目的には、いくつかの最短経路アルゴリズムを使用できます。
ベルマン・フォードアルゴリズムは、 時間内の負のサイクルを検出するために使用できます。お ( | V | | E | ) {\displaystyle O(|V||E|)} チェルカスキーとゴールドバーグ[ 22 ] は、負のサイクル検出のための他のいくつかのアルゴリズムを調査している。
半環上の一般的な代数的枠組み:代数的経路問題 多くの問題は、経路に沿った加算と最小値を求めるという概念を適切に置き換えた最短経路の形として捉えることができます。これらの問題に対する一般的なアプローチは、2つの演算を半環 の演算とみなすことです。半環の乗算は経路に沿って行われ、加算は経路間で行われます。この一般的な枠組みは代数的経路問題 として知られています。[ 23 ] [ 24 ] [ 25 ]
古典的な最短経路アルゴリズム(および新しいもの)のほとんどは、このような代数構造上の線形システムを解くものとして定式化できます。[ 26 ]
最近では、これらの問題(そしてそれほど明らかに関連していない問題)を解決するためのさらに一般的な枠組みが評価代数 という名の下で開発されました。[ 27 ]
確率的時間依存ネットワークにおける最短経路 現実の交通ネットワークは、通常、確率的かつ時間依存的です。道路区間における移動時間は、交通量(起終点マトリックス)、道路工事、天候、事故、車両故障など、多くの要因に依存します。このような道路ネットワークのより現実的なモデルは、確率的時間依存(STD)ネットワークです。[ 28 ] [ 29 ]
不確実性下(つまり確率的道路網)における最適経路については、確立された定義は存在しません。過去10年間でかなりの進歩があったにもかかわらず、議論の的となっています。一般的な定義の一つは、期待移動時間が最小となる経路です。このアプローチの主な利点は、決定論的ネットワークにおいて効率的な最短経路アルゴリズムを利用できることです。しかし、このアプローチは移動時間の変動性を考慮していないため、結果として得られる最適経路は信頼性が低い可能性があります。
この問題に対処するため、一部の研究者は、期待値ではなく移動時間の分布を用いています。つまり、動的計画法 やダイクストラ法 などの様々な最適化手法を用いて、総移動時間の確率分布を求めています。[ 30 ] これらの手法は、確率的最適化 、特に確率動的計画法を用いて、確率的な弧長を持つネットワークにおける最短経路を求めています。[ 31 ] 交通研究の文献では、 「移動時間の信頼性」 と「移動時間の変動性」 という用語は、正反対の意味で使用されています。変動性が高いほど、予測の信頼性は低くなります。
変動性を考慮するため、研究者たちは不確実性下における最適経路について2つの代替的な定義を提案しています。最も信頼性の高い経路 とは、与えられた移動時間予算において、時間通りに到着する確率を最大化する経路です。一方、α信頼性経路 とは、与えられた確率で時間通りに到着するために必要な移動時間予算を最小化する経路です。
参照
参考文献
注記 ^ オルテガ=アランツ、ヘクター;リャノス、ディエゴ R.ゴンザレス・エスクリバーノ、アルトゥーロ (2015)。最短経路問題 。理論的なコンピュータサイエンスに関する総合講義。チャム:スプリンガー。土井 : 10.1007/978-3-031-02574-7 。ISBN 978-3-031-01446-8 。 ^ Guenin, Bertrand (2014). Gentle Introduction to Optimization . Jochen Koenemann, Levent Tunçel (第1版). West Nyack: Cambridge University Press. p. 27. ISBN 978-1-107-05344-1 。^ Deo, Narsingh (2016年8月17日). グラフ理論と工学およびコンピュータサイエンスへの応用 . Courier Dover Publications. ISBN 978-0-486-80793-5 。^ コーメン他 2001 , p. 655^ Dürr, Christoph; Heiligman, Mark; Høyer, Peter; Mhalla, Mehdi (2006年1月). 「いくつかのグラフ問題における量子クエリ複雑性」. SIAM Journal on Computing . 35 (6): 1310– 1328. arXiv : quant-ph/0401091 . doi : 10.1137/050644719 . ISSN 0097-5397 . S2CID 14253494 . ^ Brubaker, Ben (2025年8月6日). 「新しい方法は、最適なルートを見つけるための最速の方法だ」 . Quanta Magazine . 2025年8月11日 閲覧 。 ^ a b Dial, Robert B. (1969). 「アルゴリズム360:位相順序付けによる最短経路フォレスト [H]」 Communications of the ACM . 12 (11): 632– 633. doi : 10.1145/363269.363610 . S2CID 6754003 . ^ コーメン、トーマス・H.(2009年7月31日) 『アルゴリズム入門 (第3版)』MITプレス、 ISBN 9780262533058 。^ ジョン・クラインバーグ;タルドス、エヴァ (2005)。 アルゴリズム設計 (第 1 版)。アディソン・ウェスリー。 ISBN 978-0321295354 。^ Dürr, C.; Høyer, P. (1996-07-18). 「最小値を求める量子アルゴリズム」. arXiv : quant-ph/9607014 . ^ Nayebi, Aran; Williams, VV (2014-10-22). 「構造化インスタンスにおける最短経路問題のための量子アルゴリズム」. arXiv : 1410.6220 [ quant-ph ]. ^ Sanders, Peter (2009年3月23日). 「高速ルート計画」 . Google Tech Talk . 2021年12月11日時点のオリジナルより アーカイブ。 ^ Hoceini, S.; A. Mellouk; Y. Amirat (2005). 「K最短経路Qルーティング:通信ネットワークにおける新たなQoSルーティングアルゴリズム」 . Networking - ICN 2005, Lecture Notes in Computer Science, Vol. 3421. Vol. 3421. Springer, Berlin, Heidelberg. pp. 164– 172. doi : 10.1007/978-3-540-31957-3_21 . ISBN 978-3-540-25338-9 。^ Chen, Danny Z. (1996年12月). 「幾何学的経路計画問題のためのアルゴリズムとソフトウェアの開発」. ACM Computing Surveys . 28 (4es). 論文18. doi : 10.1145/242224.242246 . S2CID 11761485 . ^ Abraham, Ittai; Fiat, Amos; Goldberg, Andrew V.; Werneck, Renato F.「ハイウェイ次元、最短経路、そして証明可能な効率性を持つアルゴリズム」 ACM-SIAM Symposium on Discrete Algorithms、782–793ページ、2010年。 ^ Abraham, Ittai; Delling, Daniel; Goldberg, Andrew V.; Werneck, Renato F. research.microsoft.com/pubs/142356/HL-TR.pdf 「道路網における最短経路のためのハブベースラベリングアルゴリズム」 Symposium on Experimental Algorithms、230~241ページ、2011年。 ^ Kroger, Martin (2005). 「2次元および3次元ポリマー系におけるエンタングルメント解析のための最短多重切断経路」. Computer Physics Communications . 168 (3): 209– 232. Bibcode : 2005CoPhC.168..209K . doi : 10.1016/j.cpc.2005.01.020 . ^ ロザノ, レオナルド; メダリア, アンドレ L (2013). 「制約付き最短経路問題に対する正確な解法について」. Computers & Operations Research . 40 (1): 378– 384. doi : 10.1016/j.cor.2012.07.008 . ^ Osanlou, Kevin; Bursuc, Andrei; Guettier, Christophe; Cazenave, Tristan; Jacopin, Eric (2019). 「グラフ畳み込みネットワークと最適化ツリー探索による制約付き経路計画問題の最適解」 2019 IEEE/RSJ 国際知能ロボット・システム会議 (IROS) . pp. 3519– 3525. arXiv : 2108.01036 . doi : 10.1109/IROS40897.2019.8968113 . ISBN 978-1-7281-4004-9 . S2CID 210706773 .^ Bar-Noy, Amotz; Schieber, Baruch (1991). 「カナダ人旅行者問題」. 第2回ACM-SIAM離散アルゴリズムシンポジウム議事録 : 261–270 . CiteSeerX 10.1.1.1088.3015 . ^ Nikolova, Evdokia; Karger, David R. 「不確実性下でのルート計画:カナダ人旅行者問題」 (PDF) . 第23回人工知能全国会議(AAAI)議事録 . pp. 969– 974. 2022年10月9日時点のオリジナルより アーカイブ (PDF)されています。 ^ Cherkassky, Boris V.; Goldberg, Andrew V. (1999-06-01). 「負のサイクル検出アルゴリズム」 . 数理計画 . 85 (2): 277– 311. doi : 10.1007/s101070050058 . ISSN 1436-4646 . S2CID 79739 . ^ ペア、クロード (1967)。 「Sur des Algorithmes pour des problèmes de cheminement dans lesgraphes finis」[有限グラフにおける経路問題のアルゴリズムについて]。ローゼン ティール、ピエール 編(編)。 Théorie desgraphes (journées internationales d'études) [グラフ理論 (国際シンポジウム)] 。ローマ(イタリア)、1966 年 7 月。デュノー(パリ)。ゴードンとブリーチ(ニューヨーク)。 p. 271.OCLC 901424694 。 ^ デルニアーム、ジャン・クロード;ペア、クロード (1971)。 Problèmes de cheminement dans lesgraphes [ グラフの経路問題 ]。デュノー(パリ)。 ^ バラス, ジョン; テオドラコプロス, ジョージ (2010年4月4日). ネットワークにおける経路問題 . Morgan & Claypool Publishers. pp. 9–. ISBN 978-1-59829-924-3 。^ ゴンドラン、ミシェル、ミヌー、ミシェル (2008). 「第4章」. グラフ、ダイオイド、半環:新しいモデルとアルゴリズム . シュプリンガー・サイエンス&ビジネス・メディア. ISBN 978-0-387-75450-5 。^ Pouly, Marc; Kohlas, Jürg (2011). 「第6章 経路問題のための評価代数」. Generic Inference: A Unifying Theory for Automated Reasoning . John Wiley & Sons. ISBN 978-1-118-01086-0 。^ Loui, RP, 1983. 確率的または多次元重みを持つグラフにおける最適経路. Communications of the ACM, 26(9), pp.670-676. ^ Rajabi-Bahaabadi, Mojtaba; Shariat-Mohaymany, Afshin; Babaei, Mohsen; Ahn, Chang Wook (2015). 「非優勢ソート遺伝的アルゴリズムを用いた確率的時間依存道路ネットワークにおける多目的経路探索」. Expert Systems with Applications . 42 (12): 5056– 5064. doi : 10.1016/j.eswa.2015.02.046 . ^ Olya, Mohammad Hessam (2014). 「指数分布とガンマ分布を組み合わせた弧長における最短経路の探索」. International Journal of Operational Research . 21 (1) 64020: 25– 37. doi : 10.1504/IJOR.2014.064020 . ^ Olya, Mohammad Hessam (2014). 「正規確率分布弧長を持つ一般最短経路問題へのダイクストラ法の適用」. International Journal of Operational Research . 21 (2) 64541: 143– 154. doi : 10.1504/IJOR.2014.064541 .
参考文献 Ahuja, Ravindra K.; Mehlhorn, Kurt; Orlin, James; Tarjan, Robert E. (1990年4月). 「最短経路問題のための高速アルゴリズム」 (PDF) . Journal of the ACM . 37 (2). ACM: 213– 223. doi : 10.1145/77600.77615 . hdl : 1721.1/47994 . S2CID 5499589. 2022年10月9日時点のオリジナルよりアーカイブ (PDF) . アクシオティス、キリアコス。マンドリー、アレクサンダー。ヴラドゥ、エイドリアン(2020)。 「単位容量グラフの最小コスト フローを高速化するための循環制御」。イラニにて、サンディ(編集)。第 61 回コンピュータサイエンスの基礎に関する IEEE 年次シンポジウム、FOCS 2020、米国ノースカロライナ州ダーラム、2020 年 11 月 16 ~ 19 日 。 IEEE。ページ 93–104。arXiv : 2003.04863 。 土井 : 10.1109/FOCS46700.2020.00018 。ISBN 978-1-7281-9621-3 。 ベルマン、リチャード (1958). 「経路指定問題について」 .応用数学季刊誌 . 16 : 87–90 . doi : 10.1090/qam/102435 . MR 0102435 .バーンスタイン、アーロン、ナノンカイ、ダヌポン、ウルフ=ニルセン、クリスチャン (2022). 「負の重みを持つ単一ソース最短経路の近線形時間」. 2022 IEEE 第63回コンピュータサイエンス基礎シンポジウム (FOCS) . IEEE. pp. 600– 611. arXiv : 2203.03456 . doi : 10.1109/focs54457.2022.00063 . ISBN 978-1-6654-5519-0 . S2CID 247958461 . van den Brand, Jan; Lee, Yin Tat; Nanongkai, Danupon; Peng, Richard; Saranurak, Thatchaphol; Sidford, Aaron; Song, Zhao; Wang, Di (2020). 「中程度に密なグラフにおけるほぼ線形時間での二部マッチング」. Irani, Sandy (編). 61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020, Durham, NC, USA, 2020年11月16日~19日 . IEEE. pp. 919– 930. arXiv : 2009.01802 . doi : 10.1109/FOCS46700.2020.00090 . ISBN 978-1-7281-9621-3 。 Chen, Li; Kyng, Rasmus; Liu, Yang P.; Peng, Richard; Gutenberg, Maximilian Probst; Sachdeva, Sushant (2022). 「ほぼ線形時間における最大フローと最小コストフロー」.第63回IEEEコンピュータサイエンス基礎シンポジウム, FOCS 2022, デンバー, コロラド州, 米国, 2022年10月31日~11月3日 . IEEE. pp. 612– 623. arXiv : 2203.00671 . doi : 10.1109/FOCS54457.2022.00064 . ISBN 978-1-6654-5519-0 。 Cohen, Michael B.; Mądry, Aleksander; Sankowski, Piotr; Vladu, Adrian (2017). 「負の重みを持つ最短経路と単位容量の最小コストフローの時間内」. Klein, Philip N. (編).第28回ACM–SIAM離散アルゴリズムシンポジウムSODA 2017議事録, バルセロナ, スペイン, Hotel Porta Fira, 1月16日~19日 . Society for Industrial and Applied Mathematics. pp. 752– 771. doi : 10.1137/1.9781611974782.48 .お 〜 ( メートル 10 / 7 ログ W ) {\displaystyle {\チルダ {O}}(m^{10/7}\log W)} Duan, Ran; Mao, Jiayi; Shu, Xinkai; Yin, Longhui (2023). 「無向実重みグラフにおける単一ソース最短経路のランダム化アルゴリズム」. 2023 IEEE 第64回コンピュータサイエンス基礎シンポジウム (FOCS) . IEEE. pp. 484– 492. arXiv : 2307.04139 . doi : 10.1109/focs57990.2023.00035 . ISBN 979-8-3503-1894-4 . S2CID 259501045 . Duan, Ran; Mao, Jiayi; Mao, Xiao; Shu, Xinkai; Yin, Longhui (2025). 「有向単一ソース最短経路におけるソート障壁の突破」.第57回ACM計算理論シンポジウム (STOC) 議事録 . Association for Computing Machinery. pp. 36– 44. doi : 10.1145/3717823.3718179 . ISBN 979-8-4007-1510-5 。 チェルカスキー, ボリス V.;ゴールドバーグ, アンドリュー V.; ラジク, トマシュ (1996). 「最短経路アルゴリズム:理論と実験的評価」 .数理計画 . Ser. A. 73 (2): 129– 174. doi : 10.1016/0025-5610(95)00021-6 . MR 1392160 . コーメン, トーマス・H. ;レイサーソン, チャールズ・E. ;リベスト, ロナルド・L. ;スタイン, クリフォード (2001) [1990]. 「単一源最短経路と全対最短経路」.アルゴリズム入門 (第2版). MIT Press and McGraw-Hill. pp. 580– 642. ISBN 0-262-03293-7 。Dantzig, GB (1960年1月). 「ネットワークを通る最短経路について」. Management Science . 6 (2): 187– 190. doi : 10.1287/mnsc.6.2.187 . ダイクストラ, EW (1959). 「グラフに関する二つの問題についてのノート」. Numerische Mathematik . 1 : 269–271 . Bibcode : 1959NuMat...1..269D . doi : 10.1007/BF01386390 . S2CID 123284777 .Fineman, Jeremy T. (2024). 「負の実数重みを持つ時間的単一ソース最短経路」。Mohar, Bojan、Shinkar, Igor、O'Donnell, Ryan (編)。第56回ACMコンピューティング理論シンポジウム議事録、STOC 2024、バンクーバー、ブリティッシュコロンビア州、カナダ、2024年6月24~28日 。Association for Computing Machinery。pp. 3~ 14。arXiv : 2311.02520 . doi : 10.1145 /3618260.3649614 .お 〜 ( メートル n 8 / 9 ) {\displaystyle {\チルダ {O}}(mn^{8/9})} フォード, LR (1956).ネットワークフロー理論 (報告書). サンタモニカ, カリフォルニア州: RAND Corporation. P-923. Fredman, Michael Lawrence ; Tarjan, Robert E. (1984).フィボナッチ・ヒープと改良ネットワーク最適化アルゴリズムにおけるその利用 . 第25回コンピュータサイエンス基礎シンポジウム. IEEE . pp. 338– 346. doi : 10.1109/SFCS.1984.715934 . ISBN 0-8186-0591-X 。Fredman, Michael Lawrence ; Tarjan, Robert E. (1987). 「フィボナッチヒープと改良ネットワーク最適化アルゴリズムにおけるその利用」 . Journal of the Association for Computing Machinery . 34 (3): 596– 615. doi : 10.1145/28869.28874 . S2CID 7904683 .Gabow, HN (1983). 「ネットワーク問題のためのスケーリングアルゴリズム」 (PDF) .第24回コンピュータサイエンス基礎シンポジウム (FOCS 1983) 議事録 . pp. 248– 258. doi : 10.1109/SFCS.1983.68 .ガボウ、ハロルド・N. (1985). 「ネットワーク問題のためのスケーリングアルゴリズム」 .コンピュータとシステム科学ジャーナル . 31 (2): 148– 168. doi : 10.1016/0022-0000(85)90039-X . MR 0828519 .Hagerup, Torben (2000). 「ワードRAM上の改良最短経路」 . Montanari, Ugo; Rolim, José DP; Welzl, Emo (編).第27回オートマトン、言語、プログラミング国際コロキウム論文集 . pp. 61– 72. ISBN 978-3-540-67715-4 。 Henzinger, Monika R.; Klein, Philip; Rao, Satish; Subramanian, Sairam (1997). 「平面グラフのための高速最短経路アルゴリズム」 . Journal of Computer and System Sciences . 55 (1): 3– 23. doi : 10.1006/jcss.1997.1493 . ジョンソン、ドナルド B. (1977). 「疎ネットワークにおける最短経路の効率的なアルゴリズム」 . ACMジャーナル . 24 (1): 1– 13. doi : 10.1145/321992.321993 . S2CID 207678246 .ジョンソン、ドナルド B. (1981年12月). 「初期化とキュー操作にO (log log D ) 時間を要する優先度付きキュー」.数理システム理論 . 15 (1): 295– 309. doi : 10.1007/BF01786986 . MR 0683047. S2CID 35703411 .Karlsson , Rolf G.; Poblete, Patricio V. (1983). 「最短経路のための O ( mloglogD ) アルゴリズム」 .離散応用数学 . 6 (1): 91– 93. doi : 10.1016/0166-218X(83)90104-X . MR 0700028 .Leyzorek, M.; Gray, RS; Johnson, AA; Ladew, WC; Meaker, SR Jr.; Petry, RM; Seitz, RN (1957). 『モデル技術の調査 ― 第1回年次報告書 ― 1956年6月6日~1957年7月1日 ― 通信システムのためのモデル技術の研究』 オハイオ州クリーブランド:ケース工科大学. ムーア, EF (1959). 「迷路を通る最短経路」.スイッチング理論に関する国際シンポジウム議事録 (マサチューセッツ州ケンブリッジ、1957年4月2日~5日) . ケンブリッジ: ハーバード大学出版局. pp. 285– 292.ペティ, セス; ラマチャンドラン, ヴィジャヤ (2002). 「比較と加算による最短経路の計算」 .第13回ACM-SIAM離散アルゴリズムシンポジウム議事録 . pp. 267–276 . ISBN 978-0-89871-513-2 。 ペティ, セス (2004年1月26日). 「実重み付きグラフ上の全ペア最短経路への新しいアプローチ」 理論計算機科学 312 ( 1): 47–74 . doi : 10.1016/s0304-3975(03)00402-x . ポラック、モーリス;ウィーベンソン、ウォルター(1960年3~4月)「最短経路問題の解法―レビュー」Oper. Res . 8 (2): 224– 230. doi : 10.1287/opre.8.2.224 . 225 ページで、ダイクストラのアルゴリズムは Minty (「プライベート通信」) によるものだと説明しています。シュライバー、アレクサンダー (2004).組合せ最適化 — 多面体と効率性 . アルゴリズムと組合せ論. 第24巻. シュプリンガー. A巻, セクション7.5b, p. 103. ISBN 978-3-540-20456-5 。 シンベル, アルフォンソ (1953). 「コミュニケーションネットワークの構造パラメータ」.数理生物物理学会報 . 15 (4): 501– 507. Bibcode : 1953BMaB...15..501S . doi : 10.1007/BF02476438 . シンベル, A. (1955). 「コミュニケーションネットの構造」.情報ネットワークシンポジウム議事録 . ニューヨーク州ニューヨーク:ブルックリン工科大学出版局. pp. 199– 203. Thorup, Mikkel (1999). 「線形時間で正の整数重みを持つ無向単一ソース最短経路」 . Journal of the ACM . 46 (3): 362– 394. doi : 10.1145/316542.316548 . S2CID 207654795 . Thorup, Mikkel (2004). 「定数時間で減少キーを持つ整数優先度キューと単一ソース最短経路問題」 . Journal of Computer and System Sciences . 69 (3): 330– 353. doi : 10.1016/j.jcss.2004.04.003 . Whiting, PD; Hillier, JA (1960年3月~6月). 「道路網における最短経路の探索法」. Operational Research Quarterly . 11 (1/2): 37– 40. doi : 10.1057/jors.1960.32 . ウィリアムズ、ライアン (2014). 「回路計算量による全ペア最短経路の高速化」.第46回ACM計算理論シンポジウム (STOC '14) 論文集. ニューヨーク: ACM. pp. 664– 673. arXiv : 1312.6680 . doi : 10.1145/2591796.2591811 . MR 3238994 .
さらに読む