最短路问题 - 国立情报学研究所.ppt

最短路問題とナビゲーション 最短路問題 ダイクストラアルゴリズム ナビゲーションへの応用 高速化の工夫 ベルマンフォードアルゴリズム 最短路問題 ? ネットワーク上のある地点からある地点（あるいは他のすべての地点）への、もっとも短いパス（道、あるいはルート）を見つける問題 ? 地図などの幾何学的なデータも、交差点を頂点、道を交差点を結ぶ枝とみなすことで、ネットワークに変換できる ? ナビゲーションや、乗り換え案内ソフトで使う 最短路問題 入力： ネットワーク、各枝の距離、始点、終点 出力： 枝集合 目的関数： 枝集合の距離和 制約条件： 枝集合はパスになっていること 最短路問題の特徴 ? 現実のいろいろな場面で使われている ? 他の問題を解くための道具としても使われる ? 線形計画?最小費用流問題として定式化できる （サブクラスになっている） ? 距離が全て非負ならば、ダイクストラ法で線形時間ちょっとで解ける ? 負の距離を許しても、ベルマンフォード法で枝数×頂点数の時間で解ける ? 実用上良いパフォーマンスを得るための工夫が多く研究されている 最小費用流問題で解く ? 枝の距離を費用だとみなす ? 始点の供給を1、終点の需要を1とする ? 最小費用流を求める （始点から終点へ1流すときの最小費用流 　（最小費用のパス）を求めることになる） ? 問題を変換すると解法に 無駄が多くなるので、 実用では使われない方法 ダイクストラ法 ? 始点に一番近い頂点、2番目に近い頂点、と順々に見つけていく ダイクストラ法で使う性質 (1) ? 始点から、k番目に近い頂点への最短路 ? 緑の頂点は、k-1番目以下に近い ダイクストラ法で使う性質 (2) ? 距離 k-1 番目までの頂点?距離がわかっている ? 距離 k 番目の頂点?距離は、どうなるでしょう？ ダイクストラ法 ? 始点に一番近い頂点、2番目に近い頂点、と順々に見つけていく ダイクストラ法コード ? e[v][0],…,e[v][ez[v]-1] に v に隣接する頂点を格納 ? c[v][0],…,c[v][ez[v]-1] にその頂点までの距離を格納 ? HEAP_chg (v,p) でヒープ内の添え字 v の要素の値 h[v] を p に変更 Dijkstra (int **e, int *ez, int **c, int s, int t){ int i, j, d; for ( i=0 ; in ; i++ ) HEAP_chg( i, HUGE); HEAP_chg( s,0 ); while (1){ v = HEAP_ext (); if ( v = = t ){ printf (“shortest distance is %d\n”, ); exit(0); } HEAP_chg ( v, HUGE-1) if ( h[v] = HUGE-1 ){ printf (“not reachable\n”); exit(1); } for ( i=0 ; iez[v] ; i++ ){ if ( h[e[v][i]] h[v]+c[v][i] h[e[v][i]] != HUGE-1) HEAP_chg (e[v][i], h[v]+c[v][i] ); } } } ダイクストラ法の計算量 ? ダイクストラ法の第 k ステップでは、 　　①「候補枝の中から距離最小のものを見つけ」 　　②「その枝の行き先が未探索なら」 　　③「その頂点に接続する枝すべての距離を計算し」 　　④「それらを候補集合に入れる」 　ということをする。 ? 1つの枝が2回以上候補集合にはいることはない。 　　よって、③?④の実行回数は枝数以下 ? 枝を取り出す回数は、枝を入れた回数以下なので、①の回数も枝数以下 ? ヒープは一手 O(枝数) 時間なので、計算量は O(枝数 log 枝数) ナビゲーションを作る ? 現在地点から目的地への、最短ルートが知りたい ? 地図をネットワークにして、現在地から目的地までの最短路を求めればよい 問題点 ? 離れたところへの最短路を求めると、やたらとたくさんのデータを読む ? ダイクストラ法は目的地より近い所は、全て探索する 始点終点両方から探索 ? 始点と終点、両方から同時にダイクストラ法を動かす ? 出会った所で最短路が得られる 少々改良 ? 読み込む範囲が多少、少なくなる 正確に書くと ? 始点終点両方から印をつけていき、両方の印がついた頂点ができたところで、いったん終了 ? その