Introduction to Algorithms#24 Shortest-Paths Problem

1. アルゴリズムイントロダクション　第 24 章単一始点最短路問題 2009.6.21 Naoya Ito

2. 第 24 章の構成 <ul><li>単一始点最短路問題とは </li></ul><ul><li>単一始点最短路問題の考え方 </li></ul><ul><li>単一始点最短路問題を解く 3 つのアルゴリズム </li></ul><ul><ul><li>ベルマン･フォードのアルゴリズム </li></ul></ul><ul><ul><li>トポロジカル･ソートによる解法 </li></ul></ul><ul><ul><li>ダイクストラのアルゴリズム </li></ul></ul><ul><li>線形計画問題を単一始点最短路問題とみなして解く </li></ul><ul><li>( 省略 ) 緩和操作と最短路の各性質の証明 </li></ul>

3. 単一始点最短路問題とは

4. 単一始点最短路問題とは <ul><li>前提 : 重み付き有向グラフ </li></ul><ul><li>特定の開始頂点 s から任意の頂点 v までの最短路を求める問題 </li></ul><ul><ul><li>例 : シカゴからボストンまでの最短経路 </li></ul></ul><ul><ul><li>※ 最短･･･重み最小 ( 経路本数最小ではない ) </li></ul></ul>0 3 9 5 11 3 5 2 1 6 4 6 2 7 s

5. 最短路重み δ(u, v) <ul><li>w(u, v) ･･･ u -> v の重み </li></ul><ul><li>δ(u, v) ･･･ u -> v の最短路重み </li></ul><ul><ul><li>u -> v の経路がないとき δ(u, v) = ∞ </li></ul></ul>0 3 9 5 11 3 5 2 1 6 4 6 2 7 s

6. 単一始点最短路問題で得られる情報 <ul><li>(1) 始点 s から任意の頂点 v までの最短路重み δ(s, v) </li></ul><ul><li>(2) 任意の頂点 v までの経路 </li></ul><ul><ul><li>先行点 π[v] ･･･ v の前の頂点 </li></ul></ul><ul><ul><li>π[v] は最短路木を構成 </li></ul></ul>0 3 9 5 11 3 5 2 1 6 4 6 2 7 s 各頂点内の数字が δ(s, v) 緑の辺の集合が最短路木「始点から特定の頂点への経路や最短路重み」ではなく、「始点から各頂点へのそれ」を求めているという点に注意

7. 派生問題 <ul><li>単一始点最短路問題 (1 to N) が解けると以下の問題も解ける </li></ul><ul><ul><li>単一目的地最短路問題 (N to 1) </li></ul></ul><ul><ul><ul><li>1 to N を N to 1 に変更すれば OK </li></ul></ul></ul><ul><ul><li>単一点対最短路問題 (1 to 1) </li></ul></ul><ul><ul><ul><li>単一始点最短路から自明 </li></ul></ul></ul><ul><ul><ul><li>一見、 1 to 1 なので単一始点最短路を求めるよりも良い方法がありそうだが、最悪の場合に漸近的に速く実行できる物は知られていない </li></ul></ul></ul><ul><ul><li>全点対最短路問題 (N to N) </li></ul></ul><ul><ul><ul><li>これはもっと良い方法がある -> 第 25 章 </li></ul></ul></ul>

8. 単一始点最短路問題の考え方

9. ざっくりとした解き方の説明 <ul><li>各頂点に始点 s からの重みの和を記録。最初は全部∞ </li></ul><ul><li>適当なアルゴリズムで各辺を調べて、頂点に記録している重みが最短路のそれになるよう調整 </li></ul>0 3 9 5 11 3 5 2 1 6 4 6 2 7 0 ∞ ∞ ∞ ∞ 3 5 2 1 6 4 6 2 7

10. 複数のアルゴリズム <ul><li>前提条件により最適なアルゴリズムが変わる </li></ul><ul><ul><li>負の重み、閉路のありなし ( 後述 ) </li></ul></ul><ul><li>アルゴリズムの違い </li></ul><ul><ul><li>各辺を調べる ( 緩和する、後述 ) 回数、調べる順番に相違がある </li></ul></ul><ul><ul><li>当然、調べる回数 / 順番が多い方が、より汎用的な目的に使えるアルゴリズムになる </li></ul></ul>

11. 各アルゴリズムの前に知っておくべきこと <ul><li>最短路の部分構造最適性 </li></ul><ul><li>負の重みを持つ辺の扱い </li></ul><ul><li>閉路の扱い </li></ul><ul><li>最短路の表現 </li></ul><ul><li>緩和 </li></ul><ul><li>最短路と緩和の性質 </li></ul>

13. 1. 最短路の部分構造最適性 <ul><li>最短路の部分経路は最短路 </li></ul><ul><ul><li>証明: 補題 24.1 </li></ul></ul><ul><li>部分構造最適性 </li></ul><ul><ul><li>動的計画法、貪欲アルゴリズムが適用できる可能性 </li></ul></ul><ul><ul><ul><li>ダイクストラ法は貪欲戦略を採っている </li></ul></ul></ul>

15. 2. 負の重みを持つ辺の扱い <ul><li>全体として負の重みを持つ閉路、が問題 </li></ul><ul><ul><li>その閉路を巡回すると最短路重みを無限に小さくできる </li></ul></ul><ul><ul><ul><li>s -> v に至る経路上に負の重みの閉路が存在するなら δ(s, v) = -∞ とする </li></ul></ul></ul><ul><ul><ul><li>∴ 最短路は負の重みを持つ閉路を含まない </li></ul></ul></ul><ul><li>( 閉路にならない ) 負の重みの経路 </li></ul><ul><ul><li>扱えるアルゴリズム / 扱えないアルゴリズム </li></ul></ul>0 5 11 -∞ 5 2 -3 8

17. 3. 閉路の扱い <ul><li>(前述通り) 最短路は負の重みを持つ閉路を含まない </li></ul><ul><li>正の重みを持つ閉路もまた含まない </li></ul><ul><ul><li>その閉路を取り除くと同一の始点と目的地を持つより小さな重みを持つ経路が生じるから </li></ul></ul>0 5 11 19 5 6 3 8

19. 4. 最短路の表現 <ul><li>頂点v に対して別の頂点か NIL を値とする先行点 π[v] </li></ul><ul><ul><li>π[v] = u ･･･ u -> v が最短路 </li></ul></ul><ul><ul><li>π[u] = x ･･･ x -> u が最短路 </li></ul></ul><ul><ul><li>π[x] = s ･･･ s -> x が最短路 </li></ul></ul><ul><ul><li>s -> x -> v -> u が最短路 </li></ul></ul><ul><li>第22.2節の P RINT -P ATH (G, s, v) で最短路を出力できる </li></ul>

21. 5. 緩和 ( R ELAX ) #1 <ul><li>頂点に保存する重み･･･最短路推定値 d[v] とする ( 最短路の重みの上界 ) </li></ul><ul><ul><li>※ d[v] と δ(s, v) を混同しないこと </li></ul></ul><ul><li>緩和 </li></ul><ul><ul><li>(u, v) に対する緩和操作･･･ u を経由することで v を改善できるなら d[v] および π[v] を更新する </li></ul></ul><ul><ul><li>緩和により d[v] が減少し π[v] が更新される </li></ul></ul><ul><li>緩和を適当な順序でグラフに施していくことで、最短路木を得る </li></ul>

22. 5. 緩和 ( R ELAX ) #2 5 9 2 u v R ELAX (u, v, w) 5 7 2 u v 5 6 2 u v R ELAX (u, v, w) 5 6 2 u v 一つ前の頂点 ( 先行点 ) から緩和するところがポイント緩和の結果何も更新されないこともある

23. 5. 緩和 #3 擬似コード <ul><li>R ELAX (u, v, w) </li></ul><ul><li>if d[v] > d[u] + w(u, v) </li></ul><ul><li>then d[v] ← d[u] + w(u, v) </li></ul><ul><li>π[v] ← u </li></ul>

24. ついでに、初期化の擬似コード <ul><li>I NITIALIZE -S INGLE -S OURCE (G, s) </li></ul><ul><li>for 各頂点 v ∈ V[G] </li></ul><ul><li>do d[v] ← ∞ </li></ul><ul><li>π[v] ← NIL </li></ul><ul><li>d[s] ← 0 </li></ul>

26. 6. 最短路と緩和の性質 <ul><li>本章のアルゴリズムの正当性を証明するための、最短路と緩和に関する諸性質 </li></ul><ul><ul><li>三角不等式 </li></ul></ul><ul><ul><li>上界性 </li></ul></ul><ul><ul><li>無経路性 </li></ul></ul><ul><ul><li>収束性 </li></ul></ul><ul><ul><li>経路緩和性 </li></ul></ul><ul><ul><li>先行点グラフの性質 </li></ul></ul>本章の各アルゴリズムは、なぜそれで最短路木、最短路重みが得られるのかそれほど直感的ではないので、上記の諸条件から理詰めで正当性を考えると良い

27. 6. 最短路と緩和の性質 <ul><li>三角不等式 </li></ul><ul><li>上界性 </li></ul><ul><li>無経路性 </li></ul><ul><li>収束性 </li></ul><ul><li>経路緩和性 </li></ul><ul><li>先行点部分グラフの性質 </li></ul>

28. 三角不等式任意の辺 (u, v) ∈ E に対して δ(s, v) ≦ δ(s, u) + w(s, v) が成立する 5 7 2 u v 0 s 5 δ(s, u) δ(s, v) w(s, v)

30. 上界性すべての v ∈ V に対して、 d[v] ≧ δ(s, v) が成立する。ひとたび d[v] が値 δ(s, v) を取ると、その後は決して変化しない 5 6 2 u v R ELAX (u, v, w) 5 6 2 u v d[v] = δ(s, u)

32. 無経路性頂点 s から v に至る経路がない場合、 d[v] = δ(s, v) = ∞ が成立する 5 ∞ u v 0 s 5 d[v] = δ(s, v) 初期化ですべての d[v] は ∞になっていて、 d[v] が更新されるのは緩和操作時だけ。緩和操作は先行点から行われるが、孤立した頂点は先行点がないので∞から更新されることがない

34. 収束性ある u, v ∈ V に対して、 s ～ > u -> v を G の最短路と仮定する。辺 (u, v) に対して緩和を実行する前に d[u] = δ(s, u) が成立した時点があったとすると緩和実行後は常に d[v] = δ(s, v) が成立する 5 9 2 u v R ELAX (u, v, w) 5 7 2 u v δ(s, u) δ(s, v)

36. 経路緩和性 p = <v 0 , v 1 , ･･･ , v k > が s = v 0 から v k に至る最短路で、 p の辺が (v 0 , v 1 ), (v 1 , v 2 ), ..., (v k-1 , v k ) の順序で緩和されたとき、 d[v k ] = δ(s, v k ) が成立する。この性質は他の任意の緩和操作とは無関係に成立する。たとえこれらの緩和操作の実行が p の緩和操作の実行とシャッフルされた順序で実行されたとしてもこの性質は成立する。

38. 先行点部分グラフの性質すべての v ∈ V に対して d[v] = δ(s, v) が成立するとき、先行点部分グラフは s を根とする最短路木であるこの性質から、すべての頂点を緩和で δ(s, v) にすることができれば目的を達成したことになる、と言える先の経路緩和性から、定められた順序で緩和していけば d[v k ] = δ(s, v k ) が得られることは分かっている。よって順番に緩和 -> 全部の頂点が δ -> 最短路ゲットというのがアルゴリズムの基本方針となる

39. 3 つのアルゴリズム <ul><li>ベルマン･フォードのアルゴリズム </li></ul><ul><ul><li>O(VE) </li></ul></ul><ul><ul><li>負の重み OK 、 ( 負の重みは持たない ) 閉路 OK </li></ul></ul><ul><li>トポロジカル・ソート順序の緩和 </li></ul><ul><ul><li>Θ(V + E) </li></ul></ul><ul><ul><li>負の重み OK 、閉路なし </li></ul></ul><ul><li>ダイクストラのアルゴリズム </li></ul><ul><ul><li>O(VlgV + E) or O((V+E)lgV) </li></ul></ul><ul><ul><li>負の重みなし </li></ul></ul>

40. ベルマン･フォードのアルゴリズム

41. ベルマン・フォードのアルゴリズム <ul><li>一般の単一始点最短路問題を解く </li></ul><ul><ul><li>負の重みを持つ辺を含んでも OK </li></ul></ul><ul><ul><li>負の重みを持つ閉路の存在をチェックすることができる </li></ul></ul><ul><li>B ELLMAN -F ORD (G, w, s) </li></ul><ul><ul><li>負の重みを持つ閉路がない･･･返値 TRUE </li></ul></ul><ul><ul><ul><li>d[v] と π[v] も想定通りに埋まる </li></ul></ul></ul><ul><ul><li>負の重みを持つ閉路がある･･･返値 FALSE </li></ul></ul>

42. ベルマン・フォードのアルゴリズムの方針 <ul><li>|V| - 1 回、すべての辺を緩和するとすべての v に対して d[v] = δ(s, v) になる </li></ul><ul><ul><li>すべての v に対して ... -> 先行点部分グラフの性質から、グラフは最短路木 </li></ul></ul>

43. ベルマン・フォードのアルゴリズムの動き 0 ∞ ∞ ∞ ∞ 6 7 8 5 -4 9 7 2 -3 -2 s 0 6 ∞ 7 ∞ 6 7 8 5 -4 9 7 2 -3 -2 s |V| - 1 回ループし、ループ毎に各辺を緩和する左はループ開始直前ループ 1 回目。始点 s 以外の頂点は d[v] = ∞ なので、始点 s の出辺だけ d が更新される ( 緑の辺は先行点の値 )

44. ベルマン・フォードのアルゴリズムの動き 0 6 4 7 2 6 7 8 5 -4 9 7 2 -3 -2 s 0 2 4 7 2 6 7 8 5 -4 9 7 2 -3 -2 s ループ 2 回目。 1 回目のループで d が減少した頂点からの出辺の緩和により 2 頂点が更新ループ 3 回目。 2 回目のループで d が減少した頂点からの出辺の緩和により更新

45. ベルマン・フォードのアルゴリズムの動き 0 2 4 7 -2 6 7 8 5 -4 6 7 2 -3 -2 s ループ 4 回目 ( 最後 ) 。 3 回目のループで d[v] が減少した頂点からの出辺の緩和により更新ループを抜けた時点での d と π の値が最終的な値

46. 擬似コード <ul><li>B ELLMAN -F ORD (G, w, s) </li></ul><ul><li>I NITIALIZE -S INGLE -S OURCE (G, s) </li></ul><ul><li>for i ← 1 to |V[G]| - 1 </li></ul><ul><li>do for 各辺 (u, v) ∈ E[G] </li></ul><ul><li>do R ELAX (u, v, w) </li></ul><ul><li>for 各辺 (u, v) ∈ E[G] </li></ul><ul><li>do if d[v] > d[u] + w(u, v) </li></ul><ul><li>then return FALSE </li></ul><ul><li>return TRUE </li></ul>各辺の緩和操作負の重みを持つ閉路の存在確認 ( あったら FALSE を返す ) 正当性は補題 24.4

47. アルゴリズムの正当性 <ul><li>なぜこれで最短路木が得られるのか ? </li></ul><ul><ul><li>証明すべきこと･･･ "|V| - 1 回繰り返した後、すべての頂点 v に対して d[v] = δ(s, v) になっている " </li></ul></ul><ul><ul><ul><li>これが分かれば先行点部分グラフの性質から最短路木が得られることが証明できる </li></ul></ul></ul><ul><ul><li>経路緩和性で証明 ( 補題 24.2) </li></ul></ul><ul><ul><ul><li>各辺はループ毎に必ず緩和される -> 経路緩和性の順序に沿って緩和が行われたと考えることができる、という点がポイント </li></ul></ul></ul><ul><ul><ul><ul><li>s -> v の経路 p = <v 0 , v 1 ... v k > としたとき、経路 p は高々 |V| - 1 個の辺を持つ。∴ k ≦ |V| - 1 </li></ul></ul></ul></ul><ul><ul><ul><ul><li>i = 1, 2 ... k に対して (v i-1 , v i ) は i 回目の繰り返しで緩和される辺のひとつ -> 経路緩和性が成立する </li></ul></ul></ul></ul><ul><ul><ul><ul><li>v 0 = s, V k = v であり経路緩和性から d[v] = d[v k ] = δ(s, v k ) = δ(s, v) </li></ul></ul></ul></ul>

48. 計算量 <ul><li>O(VE) </li></ul><ul><ul><li>初期化 O(V) </li></ul></ul><ul><ul><li>|V| - 1 のループ一回あたり O(E) -> O(VE) </li></ul></ul><ul><ul><li>負の閉路発見の for ループの実行時間 O(E) </li></ul></ul>

49. トポロジカル･ソート順による緩和

50. トポロジカル・ソート順に緩和 <ul><li>閉路のない有効グラフ限定 </li></ul><ul><li>閉路がないならトポロジカル･ソート順に緩和するのがベルマン･フォードより速い </li></ul><ul><ul><li>Θ(V + E) </li></ul></ul>

51. 方針 <ul><li>グラフをトポロジカル･ソートして頂点に線形順序を与える </li></ul><ul><li>ソート順に頂点を選び、その頂点の出辺を緩和する </li></ul><ul><ul><li>各頂点は一回だけ選択される </li></ul></ul>

52. アルゴリズムの動き閉路のない有向グラフをトポロジカル・ソートする 0 ∞ ∞ ∞ ∞ ∞ s 5 2 7 -1 -2 6 1 3 4 2 0 ∞ ∞ ∞ ∞ ∞ s 5 2 7 -1 -2 6 1 3 4 2 左の頂点から順番に選択、選択された頂点の出辺を緩和する

53. アルゴリズムの動き 0 ∞ 2 6 ∞ ∞ s 5 2 7 -1 -2 6 1 3 4 2 0 ∞ 2 6 6 4 s 5 2 7 -1 -2 6 1 3 4 2

54. アルゴリズムの動き 0 ∞ 2 6 5 4 s 5 2 7 -1 -2 6 1 3 4 2 0 ∞ 2 6 5 3 s 5 2 7 -1 -2 6 1 3 4 2

55. アルゴリズムの動き 0 ∞ 2 6 5 3 s 5 2 7 -1 -2 6 1 3 4 2

56. 擬似コード <ul><li>D AG -S HORTEST -P ATHS (G, w, s) </li></ul><ul><li>G の頂点をトポロジカル･ソートする </li></ul><ul><li>I NITIALIZE -S INGLE -S OURCE (G, s) </li></ul><ul><li>for 各頂点 u ( トポロジカル・ソート順に ) </li></ul><ul><li>do for 各頂点 v ∈ Adj[u] </li></ul><ul><li>do R ELAX (u, v, w) </li></ul>

57. アルゴリズムの正当性 <ul><li>なぜこれで最短路木が得られるのか ? </li></ul><ul><ul><li>証明すべきこと･･･ " アルゴリズム終了時点で、すべての頂点 v に対して d[v] = δ(s, v) になっている " </li></ul></ul><ul><ul><ul><li>これが分かれば先行点部分グラフの性質から最短路木が得られることが証明できる </li></ul></ul></ul><ul><ul><li>経路緩和性で証明 ( 補題 24.5) </li></ul></ul><ul><ul><ul><li>頂点をトポロジカルソート順に処理して緩和するから、経路緩和性が成立する </li></ul></ul></ul><ul><ul><ul><ul><li>詳細は教科書参照のこと </li></ul></ul></ul></ul>

58. 計算量 <ul><li>Θ(V + E) </li></ul><ul><ul><li>トポロジカル・ソート Θ (V + E) </li></ul></ul><ul><ul><li>初期化 O(V) </li></ul></ul><ul><ul><li>for ループの繰り返し回数 |E|、ループ一回あたり Θ(1) ・・・Θ(E) </li></ul></ul>

59. ダイクストラのアルゴリズム

60. ダイクストラのアルゴリズム <ul><li>全ての辺の重みが非負であるグラフの単一始点最短路問題を高速に解く </li></ul><ul><ul><li>w(u, v) ≧ 0 </li></ul></ul><ul><li>ベルマン･フォードのアルゴリズムより高速に解ける </li></ul>

61. ダイクストラ法の方針 <ul><li>最小の最短路推定値を持つ頂点 u を選択し、u の出辺を緩和･･･を繰り返す </li></ul><ul><ul><li>貪欲戦略 </li></ul></ul><ul><ul><li>一度選択した頂点は二度と選択されない </li></ul></ul><ul><ul><ul><li>始点 s からの最終的な最短路重みが既に決まっている頂点の集合 S を管理 </li></ul></ul></ul><ul><ul><ul><ul><li>u ∈ V - S </li></ul></ul></ul></ul><ul><ul><ul><li>u を選択 -> u を S に追加 -> u の出辺を緩和 </li></ul></ul></ul><ul><ul><ul><li>u の選択に min 優先度付きキュー Q を用いる </li></ul></ul></ul>

62. ダイクストラのアルゴリズムの動き 0 ∞ ∞ ∞ ∞ 10 5 2 3 1 9 2 4 6 s 7 0 10 ∞ 5 ∞ 10 5 2 3 1 9 2 4 6 s 7 Q = V - S にある選択された u ( 最小の最短路推定値 ) S にある最初に選択された始点 s からの出辺が緩和される始点 s は S に加えられる。次に選択されるのは、 S にまだ入ってないもので最小の最短路推定値 (5) を持つ頂点

63. ダイクストラのアルゴリズムの動き 0 8 14 5 7 10 5 2 3 1 9 2 4 6 s 7 同様に u からの出辺が緩和されるそして Q から次の u を選ぶ 0 8 13 5 7 10 5 2 3 1 9 4 6 s 7 同様に繰り返す

64. ダイクストラのアルゴリズムの動き 0 8 9 5 7 10 5 2 3 1 9 4 6 s 7 0 8 9 5 7 10 5 2 3 1 9 4 6 s 7 緩和 ! 緩和 !! おつかれさまでした最短路重み d, 最短路木 π がそれぞれ得られました

65. 擬似コード <ul><li>D IJKSTRA (G, w, s) </li></ul><ul><li>I NITIALIZE -S INGLE -S OURCE (G, s) </li></ul><ul><li>S ← φ </li></ul><ul><li>Q ← V[G] </li></ul><ul><li>while Q ≠ φ </li></ul><ul><li>do u ← E XTRACT -M IN (Q) </li></ul><ul><li>S ← S ∪ {u} </li></ul><ul><li>for 各頂点 v ∈ Adj[u] </li></ul><ul><li>do R ELAX (u, v, w) </li></ul>

66. アルゴリズムの正当性 <ul><li>なぜこれで最短路木が得られるのか ? </li></ul><ul><ul><li>証明すべきこと･･･ " 停止した後、すべての頂点 v に対して d[v] = δ(s, v) になっている " </li></ul></ul><ul><ul><ul><li>これが分かれば先行点部分グラフの性質から最短路木が得られることが証明できる </li></ul></ul></ul><ul><ul><li>while ループの各繰り返しの開始直前に既に d[v] = δ(s, v) が各頂点 v ∈ S について成立している ( 定理 24.6) ことから証明できる </li></ul></ul><ul><ul><ul><li>貪欲戦略に基づく選択が正しい </li></ul></ul></ul>

67. 計算量 <ul><li>min 優先度付きキューの実現方法に依存 </li></ul><ul><ul><li>E XTRACT -M IN が |V| 回 </li></ul></ul><ul><ul><li>D ECREASE -K EY が |E| 回 </li></ul></ul><ul><li>二分木ヒープ </li></ul><ul><ul><li>E XTRACT -M IN , D ECREASE -K EY 共に O(lg V) </li></ul></ul><ul><ul><li>-> ダイクストラ法 O((V+E) lg V) </li></ul></ul><ul><li>フィボナッチヒープ </li></ul><ul><ul><li>E XTRACT -M IN ･･･ O(lg V) ※ ならし </li></ul></ul><ul><ul><li>D ECREASE -K EY ･･･ O(1) ※ ならし </li></ul></ul><ul><ul><li>-> ダイクストラ法 O(VlogV + E) </li></ul></ul>

68. 線形計画問題への応用

69. 線形計画問題とは <ul><li>1次式の不等式で与えられる一組の制約の下で、線形の目的関数を最適化する問題 </li></ul><ul><li>( 例題 ) 2 種類の容器 A, B を作るのに 2 台の機械 M 1 、 M 2 を使う </li></ul><ul><li>容器 A 1 個に M 1 を 2 分、 M 2 を 4 分使う </li></ul><ul><li>容器 B 1 個に M 1 を 8 分、 M 2 を 4 分使う </li></ul><ul><li>容器 A の利益は 29 円、容器 B の利益は 45 円 </li></ul><ul><li>利益を最大化するにはどのように計画すれば良いか ? </li></ul>

70. 続き ( 例題の解き方 ) A, B を 1 時間あたりそれぞれ x 個、 y 個作るとすると 2x + 8y ≦ 60 4x + 4y ≦ 40 x ≧ 0, y ≧ 0 という制約の下で目的関数 f = 29x + 45y を最大化するような解 (x i , y i ) を求めれば良い

71. 幾何学的には･･･ O x y ax + by = c a'x + b'y = c' 可能領域各制約を満たす領域･･･可能領域にある解のうち目的関数を最大化するものを選ぶ ( 最適解は必ず可能領域の頂点になるという性質を利用する -> シンプレックス法 )

72. 線形計画と単一始点最短路問題 <ul><li>一般の線形計画問題はシンプレックス法などで解く </li></ul><ul><ul><li>ただしシンプレックス法は必ずしも多項式時間で動作しない </li></ul></ul><ul><li>特別な場合において、他のアルゴリズムが使える </li></ul><ul><ul><li>単一始点最短路問題に帰着させることができるケースがある </li></ul></ul><ul><ul><ul><li>差分制約式系 </li></ul></ul></ul>

73. 差分制約式系 <ul><li>線形計画問題において、制約式が以下のような差分制約の場合 </li></ul>x1 - x2 ≦ 0 x1 - x5 ≦ -1 x2 - x5 ≦ 1 x3 - x1 ≦ 5 x4 - x1 ≦ 4 x4 - x3 ≦ -1 x5 - x3 ≦ -3 x5 - x4 ≦ 3

74. 差分制約式系の線形計画行列 <ul><li>差分制約式系の制約式は、 P280 のような行列に置き換えられる </li></ul><ul><ul><li>Ax ≦ b </li></ul></ul><ul><li>この m x n の線形計画行列 A を転置すると、 n 個の頂点と m 個の辺を持つグラフ ( 隣接行列 ) に等しい </li></ul><ul><ul><li>この制約グラフの単一始点最短路を求めたとき、その最短路重みの値のベクトルが実行可能解 ( 可能領域にある解のひとつ ) になる </li></ul></ul><ul><ul><ul><li>ベルマン・フォードのアルゴリズムが使える -> 差分制約式系の線形計画問題は O(VE) すなわち多項式時間で解ける </li></ul></ul></ul>

75. まとめ <ul><li>単一始点最短路問題を解くアルゴリズムについて学んだ </li></ul><ul><ul><li>ベルマン･フォードのアルゴリズム </li></ul></ul><ul><ul><li>閉路なし有向グラフ ( トポロジカル･ソート ) </li></ul></ul><ul><ul><li>ダイクストラのアルゴリズム </li></ul></ul><ul><li>各頂点の選択順序、緩和操作の回数がそれぞれ異なる。またそれにより汎用性 / 効率性が変わる </li></ul><ul><li>単一始点最短路問題は線形計画問題にも応用できる場合がある </li></ul>

76. 参考文献 <ul><li>金谷健一, これなら分かる最適化数学‐基礎原理から計算手法まで , 共立出版, 2005 </li></ul>

Introduction to Algorithms#24 Shortest-Paths Problem

You are reading a preview.

Check these out next

Introduction to Algorithms#24 Shortest-Paths Problem

More Related Content

Slideshows for you (20)

Viewers also liked (18)

Similar to Introduction to Algorithms#24 Shortest-Paths Problem (20)

Recently uploaded (20)