最短はDIJKだけ?
[b][size=200][size=150]最短経路と言えばダイクストラ法[br][/size][/size][/b][br][color=#0000ff][b]ダイクストラ法[/b][/color]は[b][u]隣接する範囲を1歩ずつ広げながら[br]各点への複数の経路を探索しながら[br]総コストの更新を[/u][/b]続ける方法です。[br][br][br]では[b]アルゴリズムの方向性[/b]を知ろう。[br][br]まず、[br]グラフG(V,E)の[b]スタートをs[/b]とします。[br]Vは頂点リスト、[b]Eは辺ごとに(始点、終点、コスト)の3数組[/b]のリストにします。[br]直前の点uと、[b]uの矢印の先の隣接点vの(u,v)組[/b]で調査を進めます。[br][b]未調査点UnReach[/b]は、はじめはVですが1点uからの全隣接点vを[b]調査が終了するごとにuが削られます[/b]。[br]直前点uの先の隣接点vの[b]dist(v)とvの直前点prev(v)[/b]を更新して進みますが、最初は∅で初期化します。[br]UnReach=∅になると探索は終わりです。[br]終わったときにVの[b]各点xのdist(x)が最短距離[/b]になります。[br]目的点がeだとすると[b]prev(prev(...prev(e)..))=sになるまで逆読み[/b]すれば最短経路になりますね。[br][br][color=#0000ff]どのデータを、どのように更新するか?[/color][br][b](出発点をsで初期化)[br][/b] u=sなので、dist(s)=0, UnReach={a,b,c,d,e}です。v∈UnReachの全点に対して、dist(v)=∞とします。[br][b](隣接点に進む)[br][/b] ・今uにいるとしましょう。uに隣接する各点v∈UnReachについて, コスト比較をします。[br][color=#0000ff][b] dist(v)=min(dist(v), dist[/b](u) [b]+ cost(u,v))[/b][/color] でdist(v)は更新されるか温存が決まります。[br] 現在のdist(v)を温存するならprev(v)も温存し、u経由が近ければ prev(v)=[u]と更新します。 [br]・uから行ける隣接点vの全調査が終わるたびに、最小のv=v[sub]min[/sub]を選び到達点を更新します。つまり、[br] UnReach=UnReach [b]-[/b] {v[sub]min[/sub]} 、u=v[sub]min[/sub][br]UnReach=∅となるまで(1辺進む)を続けます。[br][br][b][size=200][size=150]例を使って確認しましょう。[/size][/size][/b]
E=[ ("s","a", {'cost':3}),("s","b", {'cost': 2}),("a","C", {'cost': 4}),("a","d", {'cost' : 2}),[br] ("b","a", {'cost': 0}),("b","d", {'cost': 1}),[br] ("c","b", {'cost':2}),("c","e",{'cost': 1}),("d","c", {'cost': 4}),("d","e", {'cost': 3})]
[b](s隣接のaに進む)[br][/b] ・u=sの先の1つv=a∈UnReach={a,b,c,d,e}について,[br][color=#0000ff][b] dist(a)[/b]=min(dist(a), dist(s)+d(s,a))[/color] = min(∞,0+3)=3に更新され,[b]prev(a)={ s }[/b]
[b](s隣接のbに進む)[br][/b] ・[b]u=a[/b]の1つ先のもう一つv=b∈UnReach={a,b,c,d,e}について,[br][color=#0000ff][b] dist(b)=[/b]min(dist(b), dist(s)+d(s,b))[/color] = min(∞,0+2)=2で[b]prev(b)={ s }[/b][br] sの隣接点についてv=a,bではmin(f(a),f(b))=min(3,2)=2だから、v[sub]min[/sub]=b[br] ・bは通過済なので、[b]UnReach[/b]=UnReach [b]-[/b] {b}=[b]{a,c,d,e}[/b], ここで直前点の更新をしよう。[b]u=b[/b]
(b隣接のaに進む)[br] ・u=b 1つ先v=a,d∈UnReach={a,c,d,e}について探索[br][color=#0000ff] dist(a)[/color] = min(3,2+0)=2に更新されます。[br][b] b経由が近いからprev(a)={ b }に更新。[br][/b][color=#0000ff] dist(d)[/color] = min(∞,2+1)=3に更新されます。[br][b] b経由が近いからprev(d)={ b }に更新。[br][/b] v=a,dではmin(f(a),f(d))=min(2,3)=2だから、vmin=a[br] ・aは通過済なので、UnReach=UnReach-{a}={c,d,e}, u=a[br][br](a隣接のc,dに進む)[br]・u=a 1つ先v=c,d∈UnReach={c,d,e}について探索[br][color=#0000ff] dist(c)[/color]= min(∞,2+4)=6に更新されます。[br] [b] a経由が近いからprev(c)={ a }に更新。[br][/b][color=#0000ff] dist(d)[/color]= min(3,2+2)=3で変わらず。[br] d直が近いからprev(d)=[b]のまま。[br] v=c,dではmin(f(c),f(d))=min(6,3)=3だから、vmin=d[br] ・dは通過済なので、UnReach=UnReach- {d}={c,e}, u=d[br]
(d隣接のc,eに進む)[br] ・u=dの1つ先v=c,e∈UnReach={c,e}について探索[br][color=#0000ff] dist(c)[/color]= min(6,3+4)=6のまま。prev(c)={ a }のまま。[br][color=#0000ff] dist(e)[/color]= min(∞,3+3)=6に更新されます。[br] [b] d経由が近いからprev(e)={ d }に更新。[br] [/b] v=c,eではmin(f(c),f(e))=min(6,6)=6だから差がない。vmin={c,e}[br] このあとc→e や e→cに進んでもコストがd(c,e)=1増える経路になるからその探索は[br] dist(c),dist(e)の更新にはつながらない。[br] ・c,eは通過済なので、UnReach=UnReach-{c,e}=∅で終了。
最終更新を確認すると、[br][b]distは、a:2, b:2, c:6,d:6,e:6[br]prevは、a:b, b:s,d:b, c: a, e:d[br]だから、最短経路はs->b->a->c, s->b->d->eの2系統があることがわかるね。[/b]
[color=#9900ff][b][u][size=150]質問:ダイクストラ法で最短経路を調べるコードはどう書けばよいでしょうか。[br][/size][/u][/b][/color][br]Pythonにはnx.[b]dijkstra_path[/b](G, start, goal,weight='重みの名前')という関数がありますから、それを使いましょう。[b]start=s , goal=eとなるように関数に渡すと、最短経路となる頂点リスト ['s', 'b', 'd', 'e'][/b]を返して[br]もらいます。[br][br]#データ作成のみ[br]from matplotlib import pyplot as plt[br]import networkx as nx[br][b]def Dijkstra(V,E):[br][/b] G = nx.DiGraph()[br] G.add_nodes_from(V)[br] G.add_edges_from(E)[br] start = V[0][br] goal = V[-1][br][b] dkV = nx.dijkstra_path(G, start, goal,weight='cost')[br][/b] return dkV[br][br]V = ["s","a","b","c","d","e"][br]E=[ ("s","a", {'cost':3}),("s","b", {'cost': 2}),("a","c", {'cost': 4}),("a","d", {'cost' : 2}),[br]("b","a", {'cost': 0}),("b","d", {'cost': 1}),("c","b", {'cost':2}),("c","e",{'cost': 1}),("d","c", {'cost': 4}),("d","e", {'cost': 3})][br]print("最短経路:", Dijkstra(V,E))[br]#~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~[br][OUT]最短経路: ['s', 'b', 'd', 'e']
[color=#9900ff][u][b][size=150]質問:ダイクストラ法の中身を自分なりに作るにはどうしたらよいでしょう。[br][/size][/b][/u][/color][br]今度は最短経路リストをみつけるアルゴリズムを実装することに挑戦してみよう。[br][b]2つの辞書dist{点名:cost}, prev{点名:点名}と1つの集合UnReach{点名}[br][/b]をダイクストラ法のルールで更新を続けて、到達点が∅になったら終了する。[br]最後に残った点までの距離に差がないと、永遠に続いてしまうために複数が最小になったら、[br]両方とも到達したことにする方法がある。[br]更新した辞書prevを終わりから読み取ってから逆順にすることでmy最短経路を見つけよう。[br]そして、networkxの関数nx.dijkstra_pathの結果と見比べよう。[br][br]#[IN]Python[br]#===========================================================[br]#重みつきのダイクストラ法の実装にチャレンジ(途中経過つき)[br]import networkx as nx[br]from math import inf as inf[br][b][color=#9900ff]def myDIJK(V,E,s,g):[br][/color][/b] G = nx.DiGraph()[br] G.add_nodes_from(V)[br] G.add_edges_from(E)[br] UnReach = set(V)[br] dist={}[br] prev={}[br] for item in UnReach:[br] dist[item]=inf[br] prev[item]=None[br] dist[s] = 0[br] u=s[br] UnReach -= set([u])[br] while len(UnReach)>0:[br] print("*UnReach",UnReach)[br] vs=list(G.successors(u))[br] print(f" u = {u}:vs = {vs}",end=" ,")[br] v_dists={}[br] for v in vs:[br] print(f"uv = {u}->{v}",end=" ,")[br][b] from_uv = dist[u] + G[u][v]['cost'][br][/b] [b] if dist[v]> from_uv:[br] [/b] prev[v]= u[br][b] dist[v] = min(dist[v], from_uv)[br][/b] v_dists[v] = dist[v][br] # 最小値のキーをタプルで取得[br][b] dist_min = min(v_dists.items(), key=lambda x: x[1])[br] v_mins = [key for key, value in v_dists.items() if value == dist_min[1]][br][/b] print(f"近い点 = {v_mins}")[br][b] u = v_mins[0][br] UnReach -= set(v_mins)[br][/b] print(f" prev = {prev}")[br] print(f" dist = {dist}") [br][br] print("*UnReach",UnReach)[br] conne = [g][br] curr = g[br] while curr!= s:[br] curr = prev[curr][br] conne.append(curr)[br] [b] print(f"my最短経路={list(reversed(conne))}")[br][/b] dkV = nx.dijkstra_path(G,s,g,weight='cost')[br] return dkV[br] [br][br]V = ["s","a","b","c","d","e"][br]E=[("s","a", {'cost':3}),("s","b", {'cost': 2}),("a","c", {'cost': 4}),("a","d", {'cost' : 2}),("b","a", {'cost': 0}),("b","d", {'cost': 1}), ("c","b", {'cost':2}),("c","e",{'cost': 1}),("d","c", {'cost': 4}),("d","e", {'cost': 3})][br]print("最短経路:", [b]myDIJK(V,E,"s","e")[/b])[br][color=#0000ff]#========================================[br][OUT][br]*UnReach {'c', 'd', 'b', 'e', 'a'}[br] u = s:vs = ['a', 'b'] ,uv = s->a ,uv = s->b ,近い点 = ['b'][br] prev = {'s': None, 'c': None, 'd': None, 'b': 's', 'e': None, 'a': 's'}[br] dist = {'s': 0, 'c': inf, 'd': inf, 'b': 2, 'e': inf, 'a': 3}[br]*UnReach {'c', 'd', 'e', 'a'}[br] u = b:vs = ['a', 'd'] ,uv = b->a ,uv = b->d ,近い点 = ['a'][br] prev = {'s': None, 'c': None, 'd': 'b', 'b': 's', 'e': None, 'a': 'b'}[br] dist = {'s': 0, 'c': inf, 'd': 3, 'b': 2, 'e': inf, 'a': 2}[br]*UnReach {'c', 'd', 'e'}[br] u = a:vs = ['c', 'd'] ,uv = a->c ,uv = a->d ,近い点 = ['d'][br] prev = {'s': None, 'c': 'a', 'd': 'b', 'b': 's', 'e': None, 'a': 'b'}[br] dist = {'s': 0, 'c': 6, 'd': 3, 'b': 2, 'e': inf, 'a': 2}[br]*UnReach {'c', 'e'}[br] u = d:vs = ['c', 'e'] ,uv = d->c ,uv = d->e ,近い点 = ['c', 'e'][br] prev = {'s': None, 'c': 'a', 'd': 'b', 'b': 's', 'e': 'd', 'a': 'b'}[br] dist = {'s': 0, 'c': 6, 'd': 3, 'b': 2, 'e': 6, 'a': 2}[br]*UnReach set()[br]my最短経路=['s', 'b', 'd', 'e'][br]最短経路: ['s', 'b', 'd', 'e'][/color]
最短経路を求めるには他の方法がいろいろあるようです。[br][br]たとえば、floyd-warshall法。[br]これを使うと、[b]重みが負の数でも対応できて、計算時間も節約できる場合もあります[/b]。[br]使い方は簡単。[br][br]#[IN]Python[br]#=============================[br]import numpy as np[br]G = nx.DiGraph()[br]E=[("s","a", 3),("s","b", 2),("a","c", 4),("a","d", 2),("b","a", 0),("b","d", 1),("c","b", 2),("c","e",1),("d","c", 4),("d","e", 3)][br]G.add_weighted_edges_from(E)[br][b][color=#0000ff]nx.floyd_warshall_numpy(G)[br][br][/color][/b]#=============================[br][OUT][br][b]array([br][[ 0., 2., 2., 6., 3., 6.],[br] [inf, 0., 6., 4., 2., 5.],[br] [inf, 0., 0., 4., 1., 4.],[br] [inf, 2., 2., 0., 3., 1.],[br] [inf, 6., 6., 4., 0., 3.],[br] [inf, inf, inf, inf, inf, 0.]])[br][/b]入力は辺データを与えるだけで、[br]出力は[b]各点から各点への最短の重みの合計[/b]を出してくれる。[br]すばらしい![br][br]どのようなアルゴリズムなのだろうか?[br]連結を調べるときに連結行列の積を繰り返すことで、範囲を広げながら連結状態をしらべたね。[br]一斉に回数は1増やすことで、k番目からk+1番目の状態がわかりました。[br]これが動的計画法の発想です。[br][br][b][color=#0000ff]floyd_warshallは、動的計画法の考え方を使います。[br][/color][/b]初期化では、移動0のときのコスト行列Distを作ります。点viから点vjに移動するときのコストを設定します。i=jのときは0で、それ以外は∞にしておき、辺のデータEに合わせてコストを書き込みます。[br]次は、[b]動的計画法(数学的帰納法、漸化式などのようにk番目からk+1番目を計算する)[/b]の実行です。[br] [b]k番目のときの3つのコストDist(i,j),Dist(i,k),Dist(k,j)[/b]が求められたとしましょう。[br] そこで、点viから点vjに移動するコストが移動数を1増やしたとき、[br] k番目の点を経由した方がコスト増加が抑えられるかどうかを調べます。[br] つまり、[b] k+1番目のDist(i,j)はmin(Dist(i,j), Dist(i,k)+Dist(k,j))に更新[/b]するのです。[br] [color=#0000ff]三角不等式で直線で囲んだ三角形ikjでは、辺ijは辺ikと辺kjの和より小です。[br] しかし、Distは直線距離ではなく、折れ線、しかも重みつきの合計なので、[br] 毎回チェックと更新が必要になるのです。[br] この作業を、i行j列の行列の各数値[b]n[sup]2[/sup][/b]個について実行します。[br] kを0からn-1までn回更新するので、計算個数は[b]n[sup]3[/sup][/b]になりますね。[br][br][color=#9900ff][b][u][size=150]質問:floyd-warshall法を実装するにはどうしたらよいでしょう。[br][/size][/u][/b][/color][br]頂点数をnとするときn×nのコスト行列Distの初期化と、Distをn回更新します。[br][b]#[IN]Python[br]#=======================================[br][/b][b]#重みつきのfloyd-warchall法の実装にチャレンジ[br]import networkx as nx[br]from math import inf as inf[br]def myFW(V,E):[br][/b] G = nx.DiGraph()[br] [color=#6aa84f] # 数値だけのデータにして、重み合計の行列Distを作る。[br][/color] dV={} [color=#38761d]# dV頂点名を0からの番号に訳す辞書。[/color][br] numE=[] [color=#38761d]# numEは0からの頂点名にお置き換えられた辺データ。[br][/color] for i,name in enumerate(V):[br] dV[name]=i[br] for item in E:[br] numE.append((dV[item[0]],dV[item[1]],item[2]))[br] G.add_weighted_edges_from(numE)[br] n = len(V)[br] Dist = [[inf]*n for i in range(n)] #距離行列Distは∞にする。[br] Dist = [[0 if i == j else Dist[i][j] for j in range(n)] for i in range(n)] #Distの対角成分を0にする。[br] # ここから、動的計画法の発想で、移動を1回ずつ増やした距離合計を最短にしながら更新する。[br] for k in range(n):[br] for u in range(n):[br] for v in range(n):[br] [b][color=#0000ff] Dist[u][v] = min(Dist[u][v], Dist[u][k] + Dist[k][v])[br][/color][/b] [br] print("my最短経路一覧")[br] print(Dist)[br] FWV=nx.floyd_warshall_numpy(G)[br] return FWV[br]#=======================================[br]V = ["s","a","b","c","d","e"][br]E=[("s","a", 3),("s","b", 2),("a","c", 4),("a","d", 2),("b","a", 0),("b","d", 1),("c","b", 2),("c","e",1),("d","c", 4),("d","e", 3)][br]print(f"最短経路表{myFW(V,E)}")[br][color=#0000ff]#=======================================[br][OUT][br]my最短経路一覧[br][[0, 2, 2, 6, 3, 6], [inf, 0, 6, 4, 2, 5], [inf, 0, 0, 4, 1, 4], [inf, 2, 2, 0, 3, 1], [inf, 6, 6, 4, 0, 3], [inf, inf, inf, inf, inf, 0]][br][br]最短経路表[[ 0. 2. 2. 6. 3. 6.][br] [inf 0. 6. 4. 2. 5.][br] [inf 0. 0. 4. 1. 4.][br] [inf 2. 2. 0. 3. 1.][br] [inf 6. 6. 4. 0. 3.][br] [inf inf inf inf inf 0.]][br][/color][/color]