経路問題

提供: Internet Web School

(版間での差分)
(有向グラフ)
(Dijkstraの方法)
 
(間の106版分が非表示)
1 行: 1 行:
-
 
+
==有向グラフ==
-
=={最短経路問題}
+
有向グラフは,ここでは<math>G</math>で表すが,コンピュータや,ネットワークにもよく使われる。有向グラフ<math>G</math>は
-
 
+
-
 
+
-
==ラベル付き有向グラフ==
+
-
}
+
-
===有向グラフ===
+
-
有向グラフは,ここでは<math>G</math>で表しますが,コンピュータや,ネットワークにもよく使われ
+
-
ます。有向グラフ<math>G</math>は
+
15 行: 8 行:
からなる.
からなる.
 +
<math>a \ne b</math>のとき<math>(a,b) \ne (b,a)</math>である.
<math>a \ne b</math>のとき<math>(a,b) \ne (b,a)</math>である.
20 行: 14 行:
また
また
-
<math>(a,b)=(c,d)\Leftrightarrow (a=cかつb=d)</math>
+
<math>(a,b)=(c,d)\Leftrightarrow (a=c\ and\ b=d)</math>
<math>V</math>は<math>P</math>の自乗直積
<math>V</math>は<math>P</math>の自乗直積
<math>P \times P= \{(a,b)|a,bはPの要素 \} </math>
<math>P \times P= \{(a,b)|a,bはPの要素 \} </math>
の部分集合である. すなわち,
の部分集合である. すなわち,
 +
<math>V \subseteq P \times P</math>
<math>V \subseteq P \times P</math>
31 行: 26 行:
順序対<math>(a,b)</math>は向きのついた枝,あるいは弧と呼ばれ,
順序対<math>(a,b)</math>は向きのついた枝,あるいは弧と呼ばれ,
-
(図5.1)
+
(図5.1) [[ファイル:Fig5.1.gif|300px]]
-
 
+
のように表すことができる。<math>a</math>は始点,<math>b</math>は終点と呼ばれる。
のように表すことができる。<math>a</math>は始点,<math>b</math>は終点と呼ばれる。
39 行: 33 行:
-
(図5.2)
+
(図5.2) [[ファイル:Fig5.2.gif|400px]]
 +
 
<math>
<math>
50 行: 45 行:
有向グラフ<math>G=(P,V)</math>の弧には,長さや,所要時間などのデータでラベル付けされているとき
有向グラフ<math>G=(P,V)</math>の弧には,長さや,所要時間などのデータでラベル付けされているとき
<math>G</math>をラベル付き有向グラフといいます。
<math>G</math>をラベル付き有向グラフといいます。
-
\vspace{5cm}
 
-
 
-
(図5.3)
 
 +
(図5.3) [[ファイル:Fig5.3.gif|400px]]
===路===
===路===
68 行: 61 行:
<math>G</math>をラベル付き有向グラフとする。ただし,
<math>G</math>をラベル付き有向グラフとする。ただし,
-
\vspace{5cm}
+
(図5.4) [[ファイル:Fig5.4.gif|400px]]
-
\par
+
-
(図5.4)
+
の<math>(b,e,f,d,b)</math>のように「閉じた路」は含まないものとする。
の<math>(b,e,f,d,b)</math>のように「閉じた路」は含まないものとする。
79 行: 70 行:
表すものとしておく。
表すものとしておく。
-
\vspace{5cm}
+
(図5.5) [[ファイル:Fig5.5.gif|400px]]
-
\par
+
-
(図5.5)
+
弧をつなぎ合わせて作られる路の長さは,それを構成している弧の長さの和で
弧をつなぎ合わせて作られる路の長さは,それを構成している弧の長さの和で
90 行: 79 行:
<math>P</math>の点の数が少なければ,路を全て調べてみるのも一つの方法であるが,数が多くなると
<math>P</math>の点の数が少なければ,路を全て調べてみるのも一つの方法であるが,数が多くなると
実用的ではない。
実用的ではない。
-
 
-
 
-
 
==D.P.(ダイナミック・プログラミング)と最短路==
==D.P.(ダイナミック・プログラミング)と最短路==
100 行: 86 行:
===D.P.の原理===
===D.P.の原理===
-
\vspace{5cm}
 
-
\par
 
-
(図5.6)
+
(図5.6) [[ファイル:Fig5.6.gif|400px]]
-
 節点<math>a</math>から節点<math>d</math>への最短路が与えられたとする。その路が途中に節点bを経由しているとすると,
+
 節点<math>a</math>から節点<math>d</math>への最短路が与えられたとする。その路が途中に節点<math>b</math>を経由しているとすると,
-
その経路の<math>a</math>から<math>b</math>への部分の路も,やはり<math>a</math>から<math>b</math>への最短経路になっています。
+
その経路の<math>a</math>から<math>b</math>への部分の路も,やはり<math>a</math>から<math>b</math>への最短経路になっている.
実際,<math>a</math>から<math>b</math>への別の最短路があったとすると,例えば,(図6)の
実際,<math>a</math>から<math>b</math>への別の最短路があったとすると,例えば,(図6)の
-
節点<math>c,e<math>を経由して,<math>b</math>に行く路がそうであったとすると
+
節点<math>c,e</math>を経由して,<math>b</math>に行く路がそうであったとすると
 +
 
<math>
<math>
-
L(a,c)+L(c,e)+L(e,b) <  L(a,b)
+
L(a,c)+L(c,e)+L(e,b) \lt L(a,b)
</math> 
</math> 
 +
となり,これから
となり,これから
 +
<math>
<math>
-
L(a,c)+L(c,e)+L(e,b)+L(b,d) <  L(a,b)+ L(b,d)
+
L(a,c)+L(c,e)+L(e,b)+L(b,d) \lt L(a,b)+L(b,d)
</math>
</math>
 +
であるから,路<math>(a,c,e,b,d)</math>が最短路<math>(a,b,d)</math>より短くなってしまい,
であるから,路<math>(a,c,e,b,d)</math>が最短路<math>(a,b,d)</math>より短くなってしまい,
-
路<math>(a,b,d)</math>が最短であることに矛盾します。
+
路<math>(a,b,d)</math>が最短であることに矛盾する.
結局,
結局,
「全体が最短(最適)ならその部分も最短(最適)」
「全体が最短(最適)ならその部分も最短(最適)」
-
ということになります。
+
である.
 +
 
 +
このような,性質を体系的に扱った最適化法の研究がベルマンによってなされた.
-
このような,性質を体系的に扱った最適化法の研究がベルマンによってなされました。
+
ベルマンの<math>D.P.</math>(ダイナミック・プログラミング)とか最適性の原理と呼ばれている.
-
ベルマンの<math>D.P.</math>(ダイナミック・プログラミング)とか最適性の原理と呼ばれています。
+
-
\item{再帰的な計算法}
+
===再帰的な計算法===
-
最適性の原理を使うと,例えば,接点iからkまでの路が存在するとして,その中の
+
最適性の原理を使うと,例えば,接点<math>i</math>から<math>k</math>までの路が存在するとして,その中の
最短路<math>R(i,k)</math>の長さを<math>O(i,k)</math>で表すと
最短路<math>R(i,k)</math>の長さを<math>O(i,k)</math>で表すと
-
<math>i<math>から<math>k</math>までの弧<math>(i,k)</math>が存在しない場合は<math>L(i,k)=\infty</math>
+
<math>i</math>から<math>k</math>までの弧<math>(i,k)</math>が存在しない場合は<math>L(i,k)=\infty</math>
としておき, 
としておき, 
<math>
<math>
-
O(i,k)=min\{\{ L(i,k) \} \cup \{L(i,j)+O(j,k)
+
O(i,k)=min\{ \{ L(i,k) \} \cup \{L(i,j)+O(j,k)
-
|j \ne i,k,(i,j)はVの元\} \} (1a)  
+
|j \ne i,k,(i,j)はVの元\}\} \qquad (1a)  
-
R(i,k)=(i,k) (O(i,k)=L(i,k)のとき)=(i,R(j_0,k))
+
</math>
-
(上記以外でO(i,k)=L(i,j_0)+O(j_0,k),j_0 \ne i,k,(i,j0)はVの元となる
+
 
-
j_0を一つ選択)(1b)
+
 
 +
<math>
 +
R(i,k)= \Big \{
 +
\begin{array}{cc}(i,k) \quad  & O(i,k)=L(i,k)のとき \\
 +
(i,R(j_0,k)) & 上記以外でO(i,k)=L(i,j_0)+O(j_0,k),j_0 \ne i,(i,(j0,k))がVの元となるj_0を一つ選択 \\
 +
\end{array}
 +
 
 +
 
 +
\qquad (1b)
</math>
</math>
という「再帰的」な定義ができる。
という「再帰的」な定義ができる。
 +
ここで,<math>(i,(j,\cdots,k))=(i,j,\cdots,k)</math>とする。
ここで,<math>(i,(j,\cdots,k))=(i,j,\cdots,k)</math>とする。
-
これは,節点iからの弧<math>(i,j)</math>が存在する節点<math>j</math>について,節点<math>j</math>から節点<math>k</math>
+
 
-
までの最短の長さ<math>O(j,k)</math>をもつ路<math>(j,\cdots,k)</math>と長さ<math>L(i,j)</math>の弧<math>(i,j)</math>
+
これは,節点<math>i</math>からの弧<math>(i,j)</math>が存在する節点<math>j</math>について,
 +
 
 +
節点<math>j</math>から節点<math>k</math>
 +
までの最短の長さ<math>O(j,k)</math>をもつ路<math>(j,\cdots,k)</math>
 +
長さ<math>L(i,j)</math>の弧<math>(i,j)</math>
をつなげた路<math>(i,j,\cdots,k)</math>
をつなげた路<math>(i,j,\cdots,k)</math>
の長さ
の長さ
 +
<math>L(i,j)+O(j,k)</math>
<math>L(i,j)+O(j,k)</math>
 +
のうち,最短のものが<math>O(i,k)</math>であるという意味である.
のうち,最短のものが<math>O(i,k)</math>であるという意味である.
-
\vspace{5cm}
 
-
(図5.5)
+
(図5.5) [[ファイル:Fig5.5.gif|400px]]
に適用すると
に適用すると
 +
<math>
<math>
-
O(3,6)=20  R(3,6)=(3,6)  
+
O(3,6)=20  R(3,6)=(3,6) \\
-
O(5,6)=30  R(5,6)=(5,6)  
+
O(5,6)=30  R(5,6)=(5,6) \\
O(2,6)
O(2,6)
=min\{L(2,3)+O(3,6),L(2,5)+O(5,6)\}  
=min\{L(2,3)+O(3,6),L(2,5)+O(5,6)\}  
-
=min\{25+20,10+30\} =40 
+
=min\{25+20,10+30\} =40  \\
-
R(2,6)=(2,5,6)
+
R(2,6)=(2,5,6)             \\
O(4,6)
O(4,6)
=L(4,5)+O(5,6)
=L(4,5)+O(5,6)
-
=50  
+
=50                     \\
-
R(4,6)=(4,R(5,6))=(4,5,6)
+
R(4,6)=(4,R(5,6))=(4,5,6) \\
O(1,6)
O(1,6)
=min\{L(1,2)+O(2,6),L(1,4)+O(4,6)\}
=min\{L(1,2)+O(2,6),L(1,4)+O(4,6)\}
=min\{10+40,20+50\} 
=min\{10+40,20+50\} 
-
=50 
+
=50                      \\
R(1,6)=(1,R(2,6))=(1,2,5,6)
R(1,6)=(1,R(2,6))=(1,2,5,6)
</math>
</math>
-
 
===Dijkstraの方法===
===Dijkstraの方法===
-
DPの原理を使った効率的な方法として,Dijkstraの方法が知られています。
+
DPの原理を使った効率的な方法として,Dijkstraの方法が知られている.
-
<Dijkstra>
+
[https://ja.wikipedia.org/wiki/%E3%83%80%E3%82%A4%E3%82%AF%E3%82%B9%E3%83%88%E3%83%A9%E6%B3%95 Dijkstraのアルゴリズム]
 +
(Wikipedia)
-
===準備===
+
'''準備'''
<math>
<math>
-
 K \leftarrow \phi  
+
K \leftarrow \phi \\
-
 L \leftarrow P    
+
L \leftarrow P   \\
-
 O(1) \leftarrow 0
+
O(j) \leftarrow  
-
 j \ne 1となるPの要素j全てに対してO(j) \leftarrow \infty
+
\Big \{
 +
\begin{array}{cc}
 +
(j = 1)   \\
 +
\infty (j \ne 1) \\
 +
\end{array}
</math>
</math>
-
===手順1===
+
'''手順1'''
<math>
<math>
-
 K=Pなら終了
+
終了  (K = P)
-
 K \ne Pのとき 
+
-
 O(m)=\min \{O(i)|iはLの元 \}となるLの元mを選ぶ。
+
</math>
</math>
-
===手順2===
+
 
 +
<math>
 +
O(m)=\min \{O(i)|iはLの元 \}となるLの元mを選ぶ.  (K \ne P)
 +
</math>
 +
 
 +
'''手順2'''
<math>
<math>
-
K \leftarrow K \cup \{m \}(Kに要素mを加えた集合を新たにKとする。)
+
K \leftarrow K \cup \{m \}(Kに要素mを加えた集合を新たにKとする。)\\
L \leftarrow L \setminus \{m \}(Lからその要素mを除いた集合を新たにLとする。)
L \leftarrow L \setminus \{m \}(Lからその要素mを除いた集合を新たにLとする。)
-
(m,j)がVの元で,かつ,jがLの要素となる全てのjに対して以下の<<>>内の手続きを繰り返す。
 
-
~~<<もし,O(j) > O(m) + L(m,j) ならば 
 
-
~~O(j) \leftarrow O(m) + L(m,j)
 
-
~~R(j) \leftarrow m
 
-
~~そうでなければ何もしない。>>
 
</math>
</math>
-
===手順1にもどる。===
+
 
 +
<math>(m,j)</math>が<math>V</math>の元で,かつ,<math>j</math>が<math>L</math>
 +
の要素となる全ての<math>j</math>
 +
に対して以下の手続き[]を繰り返す。
 +
 
 +
[もし<math>O(j) \gt O(m)+L(m,j)</math> ならば
 +
<math>  O(j) \leftarrow O(m)+L(m,j)  \quad R(j) \leftarrow m </math> そうでなければ何もしない.]
 +
 
 +
'''手順1にもどる。'''
213 行: 227 行:
<math>R(j)</math>には節点<math>1</math>から節点<math>j</math>への最短路で,節点<math>j</math>の直前の節点の番号
<math>R(j)</math>には節点<math>1</math>から節点<math>j</math>への最短路で,節点<math>j</math>の直前の節点の番号
-
が書き込まれています。
+
が書き込まれている.
 +
 
 +
以下このDijkstraの方法を図5の例に適用してみる.
-
以下このDijkstraの方法を図5の例に適用してみます。
 
-
これは、本大学院の社会人学生「たなかさん」にやっていただいたものである.
 
図5.5は、
図5.5は、
<math>
<math>
-
P=\{1,2,3,4,5,6\}  
+
P=\{1,2,3,4,5,6\} \\
-
V=\{(1,2),(1,4),(2,3),(2,5),(3,6),(4,5),(5,6)\}  
+
V=\{(1,2),(1,4),(2,3),(2,5),(3,6),(4,5),(5,6)\} \\
-
L(1,2)=10, L(1,4)=20, L(2,3)=25,  
+
L(1,2)=10, L(1,4)=20, L(2,3)=25, \\
-
L(2,5)=10, L(3,6)=20, L(4,5)=20,  
+
L(2,5)=10, L(3,6)=20, L(4,5)=20, \\
L(5,6)=30  
L(5,6)=30  
</math>
</math>
 +
'''準備'''
 +
<math>
 +
K \leftarrow  \phi \\
 +
L \leftarrow  \{1,2,3,4,5,6\} \\
 +
O(1) \leftarrow  0 \\
 +
</math>
 +
 +
<math>\infty</math> を999として
-
===準備===
 
<math>
<math>
-
K \leftarrow  \phi
+
O(2) \leftarrow  999, O(3) \leftarrow  999, \\
-
L \leftarrow  \{1,2,3,4,5,6\}
+
O(4) \leftarrow  999, O(5) \leftarrow  999, \\
-
O(1) \leftarrow  0
+
-
\infty を999として
+
-
O(2) \leftarrow  999, O(3) \leftarrow  999,  
+
-
O(4) \leftarrow  999, O(5) \leftarrow  999,  
+
O(6) \leftarrow  999  
O(6) \leftarrow  999  
</math>
</math>
-
===手順1(1回目)===
+
'''手順1(1回目)'''
<math>
<math>
K \ne Pなので終了ではない  
K \ne Pなので終了ではない  
249 行: 266 行:
となり、m=1を選ぶ。
となり、m=1を選ぶ。
-
\item{手順2(1回目)}
+
'''手順2(1回目)'''
<math>
<math>
K \leftarrow  \{ 1\}  
K \leftarrow  \{ 1\}  
-
L \leftarrow  \{2,3,4,5,6\}  
+
L \leftarrow  \{2,3,4,5,6\}\\
-
<<
+
[
~~j=2のとき
~~j=2のとき
~~O(2)=999
~~O(2)=999
259 行: 276 行:
~~O(2) > O(1) + L(1,2) となり
~~O(2) > O(1) + L(1,2) となり
~~O(2)  \leftarrow  10
~~O(2)  \leftarrow  10
-
~~R(2)  \leftarrow  1
+
~~R(2)  \leftarrow  1 \\
~~j=3のとき
~~j=3のとき
-
~~(1,3)はVの元ではない。
+
~~(1,3)はVの元ではない。 \\
~~j=4のとき
~~j=4のとき
~~O(4) = 999
~~O(4) = 999
267 行: 284 行:
~~O(4) > O(1) + L(1,4)となり
~~O(4) > O(1) + L(1,4)となり
~~O(4)  \leftarrow  20
~~O(4)  \leftarrow  20
-
~~R(4)  \leftarrow  1
+
~~R(4)  \leftarrow  1 \\
~~j=5,6のとき
~~j=5,6のとき
~~(1,5),(1,6)はVの元ではない
~~(1,5),(1,6)はVの元ではない
-
~>>
+
~]
</math>
</math>
-
 
+
'''手順1(2回目)'''
-
===手順1(2回目)===
+
<math>
<math>
-
K=\{1 \}なのでK \ne Pとなり終了ではない
+
K=\{1 \}なのでK \ne Pとなり終了ではない \\
O(2)=10, O(3)=999, O(4)=20, O(5)=999, O(6)=999なので
O(2)=10, O(3)=999, O(4)=20, O(5)=999, O(6)=999なので
O(m)=min\{O(2),O(3),O(4),O(5),O(6)\}
O(m)=min\{O(2),O(3),O(4),O(5),O(6)\}
285 行: 301 行:
となり、<math>m=2</math>を選ぶ。
となり、<math>m=2</math>を選ぶ。
-
===手順2(2回目)===
+
'''手順2(2回目)'''
<math>
<math>
-
K \leftarrow   \{1\} \cup \{2\}=\{1,2\}
+
K \leftarrow   \{1\} \cup \{2\}=\{1,2\} \\
-
L \leftarrow  \{3,4,5,6\}
+
L \leftarrow  \{3,4,5,6\} \\
-
<<
+
[
~~j=3のとき
~~j=3のとき
~~O(3)=999
~~O(3)=999
295 行: 311 行:
~~O(3) > O(2) + L(2,3) となり
~~O(3) > O(2) + L(2,3) となり
~~O(3)  \leftarrow  35
~~O(3)  \leftarrow  35
-
~~R(3)  \leftarrow  2
+
~~R(3)  \leftarrow  2 \\
~~j=4のとき
~~j=4のとき
-
~~(2,4)はVの元ではない。
+
~~(2,4)はVの元ではない。\\
-
~~j=5のとき
+
~~j=5のとき
~~O(5) = 999
~~O(5) = 999
~~O(2) + L(2,5) = 10 + 10 = 20
~~O(2) + L(2,5) = 10 + 10 = 20
~~O(5) > O(2) + L(2,5)となり
~~O(5) > O(2) + L(2,5)となり
~~O(5)  \leftarrow  20
~~O(5)  \leftarrow  20
-
~~R(5)  \leftarrow  2
+
~~R(5)  \leftarrow  2 \\
~~j=6
~~j=6
~~(2,6)はVの元ではない
~~(2,6)はVの元ではない
-
~>>
+
~]
</math>
</math>
-
===手順1(3回目)===
+
'''手順1(3回目)'''
<math>
<math>
-
K=\{1,2\}なのでK \ne Pとなり終了ではない
+
K=\{1,2\}なのでK \ne Pとなり終了ではない \\
O(3)=35,O(4)=20,O(5)=20,O(6)=999なので
O(3)=35,O(4)=20,O(5)=20,O(6)=999なので
O(m)=min\{O(3),O(4),O(5),O(6)\}
O(m)=min\{O(3),O(4),O(5),O(6)\}
319 行: 335 行:
</math>
</math>
-
===手順2(3回目)===
+
'''手順2(3回目)'''
<math>
<math>
-
K \leftarrow  \{1,2,4\}
+
K \leftarrow  \{1,2,4\} \\
-
L \leftarrow  \{3,5,6\}
+
L \leftarrow  \{3,5,6\} \\
-
<<
+
[
~j=3のとき
~j=3のとき
-
~(4,3)はVの元ではない
+
~(4,3)はVの元ではない \\
-
~j=5のとき
+
~j=5のとき  
~O(5)=20
~O(5)=20
~O(4) + L(4,5) = 20 + 20 = 40
~O(4) + L(4,5) = 20 + 20 = 40
-
~O(5) < O(4) + L(4,5)となり、何もしない
+
~O(5) < O(4) + L(4,5)となり,何もしない \\
~j=6
~j=6
~(4,6)はVの元ではない
~(4,6)はVの元ではない
-
~>>
+
~]
</math>
</math>
-
===手順1(4回目)===
+
 
 +
'''手順1(4回目)'''
<math>
<math>
K=\{1,2,4\}なのでK \ne Pとなり終了ではない
K=\{1,2,4\}なのでK \ne Pとなり終了ではない
345 行: 362 行:
となり、<math>m=5</math>を選ぶ。
となり、<math>m=5</math>を選ぶ。
-
===手順2(4回目)===
+
'''手順2(4回目)'''
<math>
<math>
-
K \leftarrow  \{1,2,4,5\}  
+
K \leftarrow  \{1,2,4,5\} \\
-
L \leftarrow  \{3,6\}  
+
L \leftarrow  \{3,6\}     \\
-
[[利用者:Moderator|Moderator]]<<
+
[
~~j=3のとき
~~j=3のとき
-
~~(5,3)はVの元ではない
+
~~(5,3)はVの元ではない \\
~~j=6のとき
~~j=6のとき
~~O(6)=999
~~O(6)=999
357 行: 374 行:
~~O(6)  \leftarrow  50
~~O(6)  \leftarrow  50
~~R(6)  \leftarrow  5
~~R(6)  \leftarrow  5
-
~>>
+
~]
</math>
</math>
-
===手順1(5回目)===
+
'''手順1(5回目)'''
<math>
<math>
-
K=\{1,2,4,5\}なのでK \ne Pとなり終了ではない
+
K=\{1,2,4,5\}なのでK \ne Pとなり終了ではない \\
-
O(3)=35,O(6)=50なので
+
 
-
O(m)=min\{O(3),O(6)\}
+
O(3)=35,O(6)=50なので O(m)=min\{O(3),O(6)\} =O(3) =35
-
=O(3)
+
-
=35
+
</math>
</math>
-
となり、<math>m=3</math>を選ぶ。
 
-
===手順2(5回目)===
+
となり<math>m=3</math>を選ぶ。
 +
 
 +
'''手順2(5回目)'''
<math>
<math>
-
K \leftarrow  \{1,2,3,4,5\}  
+
K \leftarrow  \{1,2,3,4,5\} \\
-
L \leftarrow  \{6\}  
+
L \leftarrow  \{6\} \\
-
~~<<
+
~~[
~j=6のとき
~j=6のとき
~O(6)=50
~O(6)=50
~O(3) + L(3,6) = 35 + 20 = 55
~O(3) + L(3,6) = 35 + 20 = 55
~O(6) < O(3) + L(3,6)となり何もしない
~O(6) < O(3) + L(3,6)となり何もしない
-
>>
+
]
</math>
</math>
-
===手順1(6回目)===
+
'''手順1(6回目)'''
<math>
<math>
-
K=\{1,2,3,4,5\}なのでK \ne Pとなり終了ではない
+
K=\{1,2,3,4,5\}なのでK \ne Pとなり終了ではない \\
O(6)=50なので
O(6)=50なので
O(m)=min\{O(6)\}
O(m)=min\{O(6)\}
393 行: 409 行:
となり、<math>m=6</math>を選ぶ。
となり、<math>m=6</math>を選ぶ。
-
===手順2(6回目)===
+
'''手順2(6回目)'''
<math>
<math>
-
K \leftarrow  \{1,2,3,4,5,6\}
+
K \leftarrow  \{1,2,3,4,5,6\} \\
-
L \leftarrow  \phi
+
L \leftarrow  \phi \\
-
<<
+
[
Lの要素がない
Lの要素がない
-
>>
+
]
</math>
</math>
-
===手順1(7回目)===
+
'''手順1(7回目)'''
<math>K=\{1,2,3,4,5,6\}</math>なので<math>K=P</math>となり終了
<math>K=\{1,2,3,4,5,6\}</math>なので<math>K=P</math>となり終了
412 行: 428 行:
==無向グラフ==
==無向グラフ==
最短路問題ではラベル付き有向グラフを扱ったが,ここでは,弧で結ばれている節点間は,
最短路問題ではラベル付き有向グラフを扱ったが,ここでは,弧で結ばれている節点間は,
-
双方向に行き来できるものとする。従って,図示した場合も始点,終点といった「向き」はない。
+
双方向に行き来できるものとする。
 +
 
 +
従って,図示した場合も始点,終点といった「向き」はない。
このようなグラフ<math>G</math>は無向グラフと呼ばれる。これは
このようなグラフ<math>G</math>は無向グラフと呼ばれる。これは
<math>
<math>
419 行: 437 行:
</math>
</math>
-
からなります。
+
からなる。
<math>\{a,b\}=\{b,a\}</math>である.
<math>\{a,b\}=\{b,a\}</math>である.
425 行: 443 行:
この非順序対\{a,b\}も弧と呼ぶことにする。有向グラフのような始点,終点はない.
この非順序対\{a,b\}も弧と呼ぶことにする。有向グラフのような始点,終点はない.
-
 
-
\vspace{2cm}
 
-
\par
 
(図5.7)
(図5.7)
 +
[[ファイル:Fig5.7.gif|300px]]
 +
のように表すことができる。有向グラフと同様に枝のまたは弧の図をつなぎ合わせば,
のように表すことができる。有向グラフと同様に枝のまたは弧の図をつなぎ合わせば,
グラフ<math>G=(P,V)</math>を平面図で表すことができる。
グラフ<math>G=(P,V)</math>を平面図で表すことができる。
-
 
-
\vspace{5cm}
 
-
\par
 
(図5.8)
(図5.8)
 +
 +
[[ファイル:Fig5.8.gif|400px]]
 +
<math>
<math>
P=\{a,b,c,d,e,f\}
P=\{a,b,c,d,e,f\}
V=\{\{a,b\},\{a,c\},\{b,d\},\{b,e\},\{c,e\},\{d,f\},\{e,f\}\}
V=\{\{a,b\},\{a,c\},\{b,d\},\{b,e\},\{c,e\},\{d,f\},\{e,f\}\}
</math>
</math>
 +
448 行: 466 行:
有向グラフと全く同様に無向グラフG=(P,V)の弧にも,長さや,所要時間などのデータでラベル付け
有向グラフと全く同様に無向グラフG=(P,V)の弧にも,長さや,所要時間などのデータでラベル付け
することができる。
することができる。
-
 
-
\vspace{5cm}
 
-
\par
 
(図5.9)
(図5.9)
 +
[[ファイル:Fig5.9.gif|400px]]
===路===
===路===
471 行: 487 行:
<math>P=\{1,2,\cdots,n\}</math>とし,夫々の弧に付けられている,ラベルはその弧を移動する
<math>P=\{1,2,\cdots,n\}</math>とし,夫々の弧に付けられている,ラベルはその弧を移動する
費用は表すものとしておく。
費用は表すものとしておく。
-
下の図では,節点の番号と区別できるよう()付の数字で表しておく。
 
-
 
-
\vspace{5cm}
 
-
\par
 
(図5.10)
(図5.10)
 +
[[ファイル:Fig5.10.gif|400px]]
弧をつなぎ合わせて作られる路を移動する費用は,それを構成している弧の費用の和で
弧をつなぎ合わせて作られる路を移動する費用は,それを構成している弧の費用の和で
486 行: 499 行:
(図5)の例では,路<math>(1,3,4,2,1)</math>と<math>(1,2,4,3,1)</math>が解で,費用が130である.
(図5)の例では,路<math>(1,3,4,2,1)</math>と<math>(1,2,4,3,1)</math>が解で,費用が130である.
 +
可能な路を全てを調べても,1番目の都市3通り<math>\times</math>2番目の都市2通り<math>\times</math>3番目の都市1通り=3!通りで順序を
可能な路を全てを調べても,1番目の都市3通り<math>\times</math>2番目の都市2通り<math>\times</math>3番目の都市1通り=3!通りで順序を
-
逆に回っても同じであるから2で割って,結局3!/2通りである.しかし,都市の数が増えると非常に難しくなります。
+
逆に回っても同じであるから2で割って,結局3!/2通りである.しかし,都市の数が増えると非常に難しくなる。
-
 
+
===D.P.の適用===
===D.P.の適用===
495 行: 508 行:
例えば,都市<math>1</math>を出発して,<math>\{2,3,4\}</math>を巡回して,
例えば,都市<math>1</math>を出発して,<math>\{2,3,4\}</math>を巡回して,
 +
最後に都市<math>2</math>を訪れるまでの最小費用を<math>Cost(\{2,3,4\},2)</math>で表すと,
最後に都市<math>2</math>を訪れるまでの最小費用を<math>Cost(\{2,3,4\},2)</math>で表すと,
その最小になる路を通ってさらに都市<math>1</math>に戻ってくるまでの費用は
その最小になる路を通ってさらに都市<math>1</math>に戻ってくるまでの費用は
 +
  <math>Cost(\{2,3,4\},2)+L\{2,1\}</math>
  <math>Cost(\{2,3,4\},2)+L\{2,1\}</math>
 +
である.全く同様に,費用最少で,<math>\{2,3,4\}</math>を巡回後,都市3を訪れ,都市<math>1</math>
である.全く同様に,費用最少で,<math>\{2,3,4\}</math>を巡回後,都市3を訪れ,都市<math>1</math>
に戻る費用は
に戻る費用は
 +
  <math>Cost(\{2,3,4\},3)+L\{3,1\}</math>
  <math>Cost(\{2,3,4\},3)+L\{3,1\}</math>
 +
<math>\{2,3,4\}</math>を巡回して,最後に都市4を訪れ,都市1に戻る費用は
<math>\{2,3,4\}</math>を巡回して,最後に都市4を訪れ,都市1に戻る費用は
 +
  <math>Cost(\{2,3,4\},4)+L\{4,1\}</math>
  <math>Cost(\{2,3,4\},4)+L\{4,1\}</math>
 +
である.
である.
結局,最小の費用は
結局,最小の費用は
 +
<math>min\{Cost(\{2,3,4\},2)+L\{2,1\},Cost(\{2,3,4\},3)+L\{3,1\} ,
<math>min\{Cost(\{2,3,4\},2)+L\{2,1\},Cost(\{2,3,4\},3)+L\{3,1\} ,
Cost(\{2,3,4\},4)+L\{4,1\}\}</math>
Cost(\{2,3,4\},4)+L\{4,1\}\}</math>
 +
であり,その最少費用を実現する路が求めるものである.
であり,その最少費用を実現する路が求めるものである.
512 行: 534 行:
 都市1を出発して,<math>\{3,4\}</math>を巡回して,最後に都市2を訪れるまでの
 都市1を出発して,<math>\{3,4\}</math>を巡回して,最後に都市2を訪れるまでの
最小費用であるから
最小費用であるから
 +
 都市1を出発して,<math>\{3,4\}</math>を巡回して都市3を訪れ,ついで都市2を訪れる費用
 都市1を出発して,<math>\{3,4\}</math>を巡回して都市3を訪れ,ついで都市2を訪れる費用
 +
 <math>Cost(\{3,4\},3)+L\{3,2\}</math>
 <math>Cost(\{3,4\},3)+L\{3,2\}</math>
 +
 都市1を出発して,<math>\{3,4\}</math>を巡回して都市4を訪れ,ついで都市2を訪れる費用
 都市1を出発して,<math>\{3,4\}</math>を巡回して都市4を訪れ,ついで都市2を訪れる費用
 +
 <math>Cost(\{3,4\},4)+L\{4,2\}</math>
 <math>Cost(\{3,4\},4)+L\{4,2\}</math>
 +
のうち何れか小さい方:
のうち何れか小さい方:
 +
<math>min\{Cost(\{3,4\},3)+L\{3,2\},Cost(\{3,4\},4)+L\{4,2\}\}</math>
<math>min\{Cost(\{3,4\},3)+L\{3,2\},Cost(\{3,4\},4)+L\{4,2\}\}</math>
 +
で求められる。
で求められる。
 +
さらに,
さらに,
 +
<math>Cost(\{3,4\},3)</math>は路<math>(1,4,3)</math>の費用であるから<math>L\{1,4\}+L\{4,3\}=30+20=50</math>  
<math>Cost(\{3,4\},3)</math>は路<math>(1,4,3)</math>の費用であるから<math>L\{1,4\}+L\{4,3\}=30+20=50</math>  
 +
<math>Cost(\{3,4\},4)</math>は路<math>(1,3,4)</math>の費用であるから<math>L\{1,3\}+L\{3,4\}=20+20=40</math>  
<math>Cost(\{3,4\},4)</math>は路<math>(1,3,4)</math>の費用であるから<math>L\{1,3\}+L\{3,4\}=20+20=40</math>  
 +
である.
である.
結局,最小の費用は以下の再帰的な計算により求めることができる。
結局,最小の費用は以下の再帰的な計算により求めることができる。
 +
<math>
<math>
-
min\{Cost(\{2,3,4\},2)+L\{2,1\},Cost(\{2,3,4\},3)+L\{3,1\}  
+
min\{Cost(\{2,3,4\},2)+L\{2,1\},Cost(\{2,3,4\},3)+L\{3,1\},Cost(\{2,3,4\},4)+L\{4,1\} \}  
-
,Cost(\{2,3,4\},4)+L\{4,1\} \}  
+
=min\{ 80+50,110+20 ,120+30 \} =130 \\
-
=min\{ 80+50,110+20 ,120+30 \}  
+
(1,3,4,2,1)または (1,2,4,3,1) \\ 
-
=130 (1,3,4,2,1)または (1,2,4,3,1)
+
Cost(\{2,3,4\},2)
Cost(\{2,3,4\},2)
=min\{Cost(\{3,4\},3)+L\{3,2\},Cost(\{3,4\},4)+L\{4,2\}\}
=min\{Cost(\{3,4\},3)+L\{3,2\},Cost(\{3,4\},4)+L\{4,2\}\}
-
=min\{50+60,40+40\}=80 路は(1,3,4,2)  
+
=min\{50+60,40+40\}=80 路は(1,3,4,2) \\
-
Cost(\{3,4\},3)=L\{1,4\}+L\{4,3\}=30+20=50
+
Cost(\{3,4\},3)=L\{1,4\}+L\{4,3\}=30+20=50 \\
-
Cost(\{3,4\},4)=L\{1,3\}+L\{3,4\}=20+20=40
+
Cost(\{3,4\},4)=L\{1,3\}+L\{3,4\}=20+20=40 \\
Cost(\{2,3,4\},3)
Cost(\{2,3,4\},3)
=min\{Cost(\{2,4\},2)+L\{2,3\},Cost(\{2,4\},4)+L\{4,3\}\}
=min\{Cost(\{2,4\},2)+L\{2,3\},Cost(\{2,4\},4)+L\{4,3\}\}
-
=min\{70+60,90+20\}=110 路は(1,2,4,3)
+
=min\{70+60,90+20\}=110 路は(1,2,4,3) \\
-
Cost(\{2,4\},2)=L\{1,4\}+L\{4,2\}=30+40=70
+
Cost(\{2,4\},2)=L\{1,4\}+L\{4,2\}=30+40=70 \\
-
Cost(\{2,4\},4)=L\{1,2\}+L\{2,4\}=50+40=90
+
Cost(\{2,4\},4)=L\{1,2\}+L\{2,4\}=50+40=90 \\
Cost(\{2,3,4\},4)
Cost(\{2,3,4\},4)
=min\{Cost(\{2,3\},2)+L\{2,4\},Cost(\{2,3\},3)+L\{3,4\}\}
=min\{Cost(\{2,3\},2)+L\{2,4\},Cost(\{2,3\},3)+L\{3,4\}\}
-
=min\{80+40,110+20\}=120 路は (1,3,2,4)
+
=min\{80+40,110+20\}=120 路は (1,3,2,4) \\
-
Cost(\{2,3\},2)=L\{1,3\}+L\{3,2\}=20+60=80
+
Cost(\{2,3\},2)=L\{1,3\}+L\{3,2\}=20+60=80 \\
-
Cost(\{2,3\},3)=L\{1,2\}+L\{2,3\}=50+60=110
+
Cost(\{2,3\},3)=L\{1,2\}+L\{2,3\}=50+60=110 \\
</math>
</math>
-
しかしながら,この方法は組織的ではありますが,「全件探索」(全ての可能な候補を全て当たる)
+
しかしながら,この方法は組織的ではあるが,「全件探索」(全ての可能な候補を全て当たる)
であり,都市の数が10~20ぐらいまでが限界である.
であり,都市の数が10~20ぐらいまでが限界である.
555 行: 588 行:
問題の難しさを表す場合によく出てくる「NP困難問題」の一つである.
問題の難しさを表す場合によく出てくる「NP困難問題」の一つである.
種々な方法が考案されている。「分岐限定法」もその一つである.
種々な方法が考案されている。「分岐限定法」もその一つである.
-
 
-
かなり作為的であるが,以下の例を考えます。
 
-
\vspace{5cm}
 
-
\par
 
-
 
-
(図5.11)
 
-
 
-
都市1を出発し,各都市を1回ずつ訪れ,都市1に戻ってくる路を全て,逆周りも含めて,列挙すれば,
 
-
<math>
 
-
(1,2,3,4,1),
 
-
(1,2,4,3,1),
 
-
(1,3,2,4,1),
 
-
(1,3,4,2,1),
 
-
(1,4,2,3,1),
 
-
(1,4,3,2,1)
 
-
</math>
 
-
 
-
である.これらの路は1番目,2番目,3番目に訪れる都市によって分類できる。
 
-
例えば,1番目に訪れる都市に注目して
 
-
 
-
(?)1番目の都市が2のもの
 
-
<math>(1,2,3,4,1),(1,2,4,3,1)</math>>
 
-
 
-
(?)1番目の都市が3のもの
 
-
<math>(1,3,2,4,1),(1,3,4,2,1)</math>>
 
-
 
-
(?)1番目の都市が4のもの
 
-
<math> (1,4,2,3,1),(1,4,3,2,1)</math>>
 
-
 
-
である.?,?,?の中でそれぞれ,最少費用の路を探す問題は部分問題と呼ばれる。
 
-
さらに?,?,?の分類を2番目,3番目によって,細かく分類ができる。解の候補の「分岐」がでてくるわけである.
 
-
 
-
ここで,解の候補として路の<math>(1,3,4,2,1)</math>を選んだとする。この路の費用は130である.
 
-
部分問題?,すなわち,?の分類の中で費用最少を調べ見ると:
 
-
 路(弧)</math>(1,4)</math>だけで,既に費用が130であり,費用がマイナスの弧はないのであるから,
 
-
この?の分類のものの最少費用は130より大である.従って,これ以上細かく調べる必要はない。
 
-
すると,解は,路の<math>(1,3,4,2,1)</math>を含む,(?)か(?)から探せばよい事になります。
 
-
このようにして,探すべき解の候補の「枝」のうち,無駄なものを削除する事ができる。
 
-
 
-
さらに,路<math>(1,2,3),(1,3,2)</math>も費用が130であるから,これらの後の節点がなんであろうと,費用は
 
-
130より大きくなります。この例では,以後の分岐はないので,これが判っても効用はあり
 
-
ませんが,もしさらに分岐があるなら,無駄な「枝」を削除できることになります。
 
-
 
-
この様にして,結局,
 
-
<math> (1,3,4,2,1), (1,2,4,3,1) </math>
 
-
にたどりつく。
 
-
 
-
 無論,問題のよって,また,部分問題にの作製(分類)の仕方によって,最悪,全ての路を調べる事に
 
-
なる場合もあります。以上のような解法を一般的に表すと,
 
-
 
-
最小化問題<math>P</math>が与えられたとして:
 
-
 
-
 
-
===(1)=== <math>P</math>から,部分問題の集合<math>L=\{P_0,P_1,P_2,\cdots,P_n\}</math>を作り,
 
-
   初期解を適当に選択してその値<math>C_0</math>を求める。
 
-
以下の手続きを<math>L</math>の元<math>P_i</math>の全てについて行う
 
-
===(2)===最小問題<math>P_i</math>の解の下限値<math>inf P_i</math>を求め, 
 
-
      <math>inf P_i > C_0</math>なら <math>L \leftarrow  L \setminus \{P_i\}</math>
 
-
            <math>(LからP_iを削除)</math>
 
-
===(3)=== 最小問題<math>P_i</math>の解<math>min P_i<m/ath>を求め 
 
-
       <math>min P_i < C_0</math>なら <math>C_0 \leftarrow  min P_i</math>
 
-
 とする
 
-
 
-
 
-
図5.10の問題について,「分岐限定法」を適用すると例えば以下のようになります。
 
-
これは、本大学院の社会人学生久保さんにやっていただいたものである.上の例より
 
-
スマートな解法である.
 
-
 
-
都市1を出発し,各都市を1回ずつ訪れ,都市1に戻ってくる路を全て,逆周りも含めて,列挙すると,
 
-
 
-
<math>(1,2,3,4,1),(1,2,4,3,1),(1,3,2,4,1),(1,3,4,2,1),(1,4,2,3,1),(1,4,3,2,1)</math>>
 
-
 
-
である.これらの路は費用最小の<math>\{1,3\},\{3,4\}</math>の両方を通るものと,
 
-
通らないものに分類できる.
 
-
 
-
 
-
<math>\{1,3\},\{3,4\}</math>の両方を通るもの
 
-
 
-
 <math>(1,2,4,3,1),(1,3,4,2,1)</math>>
 
-
 
-
\item{(?)}\{1,3\},\{3,4\}の両方は通らないもの
 
-
 
-
 <math>(1,2,3,4,1),(1,3,2,4,1),(1,4,2,3,1),(1,4,3,2,1)</math>>
 
-
 
-
 
-
である.
 
-
 
-
ここで,解の候補として(?)から路<math>(1,2,4,3,1)</math>を選んだとする.
 
-
この路の費用は130である.
 
-
 
-
部分問題(?)で費用を調べて見ると,費用20の路が1つしか通れないことから,
 
-
各路の費用は <math>20,30,40,50,60</math> で,この中から4つを選ぶことから下限値は140となる.
 
-
140>130なので,は削除できる.
 
-
 
-
残った()から探せばよい事になるが,路(1,3,4,2,1)の費用も130となり,
 
-
<math>(1,3,4,2,1),(1,2,4,3,1)</math>>
 
-
にたどりつく.
 
-
 
-
図5.11の問題について,「D.P.」を適用すると:
 
-
 
-
 
-
<math>
 
-
min\{Cost(\{2,3,4\},2)+L\{2,1\},Cost(\{2,3,4\},3)+L\{3,1\}
 
-
,Cost(\{2,3,4\},4)+L\{4,1\} \}
 
-
=min\{ 80+50,110+20 ,140+130 \}
 
-
=130 (1,3,4,2,1)または (1,2,4,3,1)
 
-
Cost(\{2,3,4\},2)
 
-
=min\{Cost(\{3,4\},3)+L\{3,2\},Cost(\{3,4\},4)+L\{4,2\}\}
 
-
=min\{150+80,40+40\}=80 路は(1,3,4,2)
 
-
Cost(\{3,4\},3)=L\{1,4\}+L\{4,3\}=130+20=150
 
-
Cost(\{3,4\},4)=L\{1,3\}+L\{3,4\}=20+20=40
 
-
Cost(\{2,3,4\},3)
 
-
=min\{Cost(\{2,4\},2)+L\{2,3\},Cost(\{2,4\},4)+L\{4,3\}\}
 
-
=min\{170+80,90+20\}=110 路は(1,2,4,3)
 
-
Cost(\{2,4\},2)=L\{1,4\}+L\{4,2\}=130+40=170
 
-
Cost(\{2,4\},4)=L\{1,2\}+L\{2,4\}=50+40=90
 
-
Cost(\{2,3,4\},4)
 
-
=min\{Cost(\{2,3\},2)+L\{2,4\},Cost(\{2,3\},3)+L\{3,4\}\}
 
-
=min\{100+40,130+20\}=140 路は (1,3,2,4)
 
-
Cost(\{2,3\},2)=L\{1,3\}+L\{3,2\}=20+80=100
 
-
Cost(\{2,3\},3)=L\{1,2\}+L\{2,3\}=50+80=130
 
-
</math>
 

2020年11月27日 (金) 16:32 時点における最新版

目次

有向グラフ

有向グラフは,ここでは\(G\)で表すが,コンピュータや,ネットワークにもよく使われる。有向グラフ\(G\)は


(1) 節点の集合\(P\)

(2) \(P\)の点の順序対\((a,b)(a,bはPの点)\)の集合\(V\)

からなる.


\(a \ne b\)のとき\((a,b) \ne (b,a)\)である.

また

\((a,b)=(c,d)\Leftrightarrow (a=c\ and\ b=d)\)

\(V\)は\(P\)の自乗直積 \(P \times P= \{(a,b)|a,bはPの要素 \} \) の部分集合である. すなわち,


\(V \subseteq P \times P\)


順序対\((a,b)\)は向きのついた枝,あるいは弧と呼ばれ,

(図5.1)

のように表すことができる。\(a\)は始点,\(b\)は終点と呼ばれる。 このような枝のまたは弧の図をつなぎ合わせば,有向グラフ \(G=(P,V)\)を平面図で表すことができる。


(図5.2)


\( P=\{ a,b,c,d,e,f \}  \\ V=\{(a,b),(a,c),(b,d),(b,e),(c,e),(d,f),(e,f) \} \)

ラベル

有向グラフ\(G=(P,V)\)の弧には,長さや,所要時間などのデータでラベル付けされているとき \(G\)をラベル付き有向グラフといいます。

(図5.3)

節点の多重対 \((p_1,p_2,\cdots,p_k)\)で,各\((p_1,p_2),(p_2,p_3),\cdots,(p_{k-1},p_k)\)が\(V\) の元,すなわち弧であるものを 路といいます。

上の図では,\((a,b,e,f),(a,c,e),(b,d,f)\)などが路である.

最短路問題

\(G\)をラベル付き有向グラフとする。ただし,

(図5.4)

の\((b,e,f,d,b)\)のように「閉じた路」は含まないものとする。

さて,簡単にするため、集合\(P\)が\(n\)個の節点からなっているとして

\(P=\{1,2,\cdots,n\}\)とし,夫々の弧に付けられている,ラベルはその弧の長さを 表すものとしておく。

(図5.5)

弧をつなぎ合わせて作られる路の長さは,それを構成している弧の長さの和で 表します。例えば(図5)で路\((1,4,5,6)\)の長さは,\(20+20+30\)で\(70\)である.

節点1から出発して,節点nへ行くための長さ最小の路をどう求めるかという問題を考えます。(図5.5)の例では,路(1,2,5,6)が解で,長さ\(50\)である.

\(P\)の点の数が少なければ,路を全て調べてみるのも一つの方法であるが,数が多くなると 実用的ではない。

D.P.(ダイナミック・プログラミング)と最短路

D.P.の原理

(図5.6)

 節点\(a\)から節点\(d\)への最短路が与えられたとする。その路が途中に節点\(b\)を経由しているとすると, その経路の\(a\)から\(b\)への部分の路も,やはり\(a\)から\(b\)への最短経路になっている.

実際,\(a\)から\(b\)への別の最短路があったとすると,例えば,(図6)の 節点\(c,e\)を経由して,\(b\)に行く路がそうであったとすると

\( L(a,c)+L(c,e)+L(e,b) \lt L(a,b) \) 

となり,これから

\( L(a,c)+L(c,e)+L(e,b)+L(b,d) \lt L(a,b)+L(b,d) \)

であるから,路\((a,c,e,b,d)\)が最短路\((a,b,d)\)より短くなってしまい, 路\((a,b,d)\)が最短であることに矛盾する.

結局, 「全体が最短(最適)ならその部分も最短(最適)」 である.

このような,性質を体系的に扱った最適化法の研究がベルマンによってなされた.

ベルマンの\(D.P.\)(ダイナミック・プログラミング)とか最適性の原理と呼ばれている.

再帰的な計算法

最適性の原理を使うと,例えば,接点\(i\)から\(k\)までの路が存在するとして,その中の 最短路\(R(i,k)\)の長さを\(O(i,k)\)で表すと

\(i\)から\(k\)までの弧\((i,k)\)が存在しない場合は\(L(i,k)=\infty\) としておき, 

\( O(i,k)=min\{ \{ L(i,k) \} \cup \{L(i,j)+O(j,k) |j \ne i,k,(i,j)はVの元\}\} \qquad (1a) \)


\( R(i,k)= \Big \{ \begin{array}{cc}(i,k) \quad & O(i,k)=L(i,k)のとき \\ (i,R(j_0,k)) & 上記以外でO(i,k)=L(i,j_0)+O(j_0,k),j_0 \ne i,(i,(j0,k))がVの元となるj_0を一つ選択 \\ \end{array} \qquad (1b) \)

という「再帰的」な定義ができる。

ここで,\((i,(j,\cdots,k))=(i,j,\cdots,k)\)とする。

これは,節点\(i\)からの弧\((i,j)\)が存在する節点\(j\)について,

節点\(j\)から節点\(k\) までの最短の長さ\(O(j,k)\)をもつ路\((j,\cdots,k)\)と 長さ\(L(i,j)\)の弧\((i,j)\) をつなげた路\((i,j,\cdots,k)\) の長さ

\(L(i,j)+O(j,k)\)

のうち,最短のものが\(O(i,k)\)であるという意味である.

(図5.5)


に適用すると

\( O(3,6)=20  R(3,6)=(3,6) \\ O(5,6)=30  R(5,6)=(5,6) \\ O(2,6) =min\{L(2,3)+O(3,6),L(2,5)+O(5,6)\} =min\{25+20,10+30\} =40  \\ R(2,6)=(2,5,6) \\ O(4,6) =L(4,5)+O(5,6) =50   \\ R(4,6)=(4,R(5,6))=(4,5,6) \\ O(1,6) =min\{L(1,2)+O(2,6),L(1,4)+O(4,6)\} =min\{10+40,20+50\}  =50  \\ R(1,6)=(1,R(2,6))=(1,2,5,6) \)

Dijkstraの方法

DPの原理を使った効率的な方法として,Dijkstraの方法が知られている. Dijkstraのアルゴリズム (Wikipedia)

準備 \( K \leftarrow \phi \\ L \leftarrow P  \\ O(j) \leftarrow \Big \{ \begin{array}{cc} 0 (j = 1) \\ \infty (j \ne 1) \\ \end{array} \)

手順1 \( 終了 (K = P) \)

\( O(m)=\min \{O(i)|iはLの元 \}となるLの元mを選ぶ. (K \ne P) \)

手順2 \( K \leftarrow K \cup \{m \}(Kに要素mを加えた集合を新たにKとする。)\\ L \leftarrow L \setminus \{m \}(Lからその要素mを除いた集合を新たにLとする。) \)

\((m,j)\)が\(V\)の元で,かつ,\(j\)が\(L\) の要素となる全ての\(j\) に対して以下の手続き[]を繰り返す。

[もし\(O(j) \gt O(m)+L(m,j)\) ならば \( O(j) \leftarrow O(m)+L(m,j) \quad R(j) \leftarrow m \) そうでなければ何もしない.]

手順1にもどる。


このアルゴリズムの終了時には,

\(O(j)\)には節点\(1\)から節点\(j\)への最短の長さ, \(R(j)\)には節点\(1\)から節点\(j\)への最短路で,節点\(j\)の直前の節点の番号

が書き込まれている.

以下このDijkstraの方法を図5の例に適用してみる.

図5.5は、

\( P=\{1,2,3,4,5,6\} \\ V=\{(1,2),(1,4),(2,3),(2,5),(3,6),(4,5),(5,6)\} \\ L(1,2)=10, L(1,4)=20, L(2,3)=25, \\ L(2,5)=10, L(3,6)=20, L(4,5)=20, \\ L(5,6)=30 \)

準備 \( K \leftarrow \phi \\ L \leftarrow \{1,2,3,4,5,6\} \\ O(1) \leftarrow 0 \\ \)

\(\infty\) を999として

\( O(2) \leftarrow 999, O(3) \leftarrow 999, \\ O(4) \leftarrow 999, O(5) \leftarrow 999, \\ O(6) \leftarrow 999 \)

手順1(1回目) \( K \ne Pなので終了ではない O(m)=min\{O(1),O(2),O(3),O(4),O(5),O(6)\} =O(1) =0 \)

となり、m=1を選ぶ。

手順2(1回目) \( K \leftarrow \{ 1\} L \leftarrow \{2,3,4,5,6\}\\ [ ~~j=2のとき ~~O(2)=999 ~~O(1) + L(1,2)=0+10=10なので ~~O(2) > O(1) + L(1,2) となり ~~O(2) \leftarrow 10 ~~R(2) \leftarrow 1 \\ ~~j=3のとき ~~(1,3)はVの元ではない。 \\ ~~j=4のとき ~~O(4) = 999 ~~O(1) + L(1,4) = 0 + 20 = 20 ~~O(4) > O(1) + L(1,4)となり ~~O(4) \leftarrow 20 ~~R(4) \leftarrow 1 \\ ~~j=5,6のとき ~~(1,5),(1,6)はVの元ではない ~] \)

手順1(2回目) \( K=\{1 \}なのでK \ne Pとなり終了ではない \\ O(2)=10, O(3)=999, O(4)=20, O(5)=999, O(6)=999なので O(m)=min\{O(2),O(3),O(4),O(5),O(6)\} =O(2) =10 \)

となり、\(m=2\)を選ぶ。

手順2(2回目) \( K \leftarrow  \{1\} \cup \{2\}=\{1,2\} \\ L \leftarrow \{3,4,5,6\} \\ [ ~~j=3のとき ~~O(3)=999 ~~O(2) + L(2,3)=10+25=35なので ~~O(3) > O(2) + L(2,3) となり ~~O(3) \leftarrow 35 ~~R(3) \leftarrow 2 \\ ~~j=4のとき ~~(2,4)はVの元ではない。\\ ~~j=5のとき ~~O(5) = 999 ~~O(2) + L(2,5) = 10 + 10 = 20 ~~O(5) > O(2) + L(2,5)となり ~~O(5) \leftarrow 20 ~~R(5) \leftarrow 2 \\ ~~j=6 ~~(2,6)はVの元ではない ~] \)

手順1(3回目) \( K=\{1,2\}なのでK \ne Pとなり終了ではない \\ O(3)=35,O(4)=20,O(5)=20,O(6)=999なので O(m)=min\{O(3),O(4),O(5),O(6)\} =O(4)  =20 となり、m=4を選ぶ。 \)

手順2(3回目) \( K \leftarrow \{1,2,4\} \\ L \leftarrow \{3,5,6\} \\ [ ~j=3のとき ~(4,3)はVの元ではない \\ ~j=5のとき ~O(5)=20 ~O(4) + L(4,5) = 20 + 20 = 40 ~O(5) < O(4) + L(4,5)となり,何もしない \\ ~j=6 ~(4,6)はVの元ではない ~] \)

手順1(4回目) \( K=\{1,2,4\}なのでK \ne Pとなり終了ではない O(3)=35,O(5)=20,O(6)=999なので O(m)=min\{O(3),O(5),O(6)\} =O(5) =20 \)

となり、\(m=5\)を選ぶ。

手順2(4回目) \( K \leftarrow \{1,2,4,5\} \\ L \leftarrow \{3,6\} \\ [ ~~j=3のとき ~~(5,3)はVの元ではない \\ ~~j=6のとき ~~O(6)=999 ~~O(5) + L(5,6) = 20 + 30 = 50 O(6) > O(5) + L(5,6)となり ~~O(6) \leftarrow 50 ~~R(6) \leftarrow 5 ~] \)

手順1(5回目) \( K=\{1,2,4,5\}なのでK \ne Pとなり終了ではない \\ O(3)=35,O(6)=50なので O(m)=min\{O(3),O(6)\} =O(3) =35 \)

となり\(m=3\)を選ぶ。

手順2(5回目) \( K \leftarrow \{1,2,3,4,5\} \\ L \leftarrow \{6\} \\ ~~[ ~j=6のとき ~O(6)=50 ~O(3) + L(3,6) = 35 + 20 = 55 ~O(6) < O(3) + L(3,6)となり何もしない ] \)

手順1(6回目) \( K=\{1,2,3,4,5\}なのでK \ne Pとなり終了ではない \\ O(6)=50なので O(m)=min\{O(6)\} =O(6) =50 \)

となり、\(m=6\)を選ぶ。

手順2(6回目) \( K \leftarrow \{1,2,3,4,5,6\} \\ L \leftarrow \phi \\ [ Lの要素がない ] \)

手順1(7回目) \(K=\{1,2,3,4,5,6\}\)なので\(K=P\)となり終了

節点1から節点\(6\)への最短の長さ \(O(6)=50\) 節点1から節点6への最短路で節点6の直前の節点の番号 \(R(6)=5\)

無向グラフ

最短路問題ではラベル付き有向グラフを扱ったが,ここでは,弧で結ばれている節点間は, 双方向に行き来できるものとする。

従って,図示した場合も始点,終点といった「向き」はない。 このようなグラフ\(G\)は無向グラフと呼ばれる。これは \( (1)節点の集合P (2)Pの点の非順序対\{a,b\}( a,bはPの点)の集合V \)

からなる。

\(\{a,b\}=\{b,a\}\)である.


この非順序対\{a,b\}も弧と呼ぶことにする。有向グラフのような始点,終点はない.

(図5.7)


のように表すことができる。有向グラフと同様に枝のまたは弧の図をつなぎ合わせば, グラフ\(G=(P,V)\)を平面図で表すことができる。

(図5.8)

\( P=\{a,b,c,d,e,f\} V=\{\{a,b\},\{a,c\},\{b,d\},\{b,e\},\{c,e\},\{d,f\},\{e,f\}\} \)


ラベル

有向グラフと全く同様に無向グラフG=(P,V)の弧にも,長さや,所要時間などのデータでラベル付け することができる。

(図5.9)

有向グラフと同様に節点の多重対 \((p_1,p_2,\cdots,p_k)\)で,各\(\{p_1,p_2\},\{p_2,p_3\},\cdots,\{p_{k-1},p_k\}\) が\(V\)の元,すなわち弧であるものを 路と呼ぶことにする。

上の図では,\((a,b,e,f),(a,c,e),(b,d,f)\)などが路である.

巡回セールスマン問題

さて,簡単にするため,集合\(P\)が\(n\)個の節点からなっているとして

\(P=\{1,2,\cdots,n\}\)とし,夫々の弧に付けられている,ラベルはその弧を移動する 費用は表すものとしておく。

(図5.10)

弧をつなぎ合わせて作られる路を移動する費用は,それを構成している弧の費用の和で 表します。上の図で路\((1,3,4,2)\)の費用は,20+20+40で80である.

巡回セールスマン問題は,各節点を,例えば都市に,費用を運賃として,都市1を出発して各都市\((2,3,4)\)を巡回(1回だけ訪れて)して, 再び都市1に戻ってくる,路の内費用最少の ものを求めるといった問題である.

(図5)の例では,路\((1,3,4,2,1)\)と\((1,2,4,3,1)\)が解で,費用が130である.

可能な路を全てを調べても,1番目の都市3通り\(\times\)2番目の都市2通り\(\times\)3番目の都市1通り=3!通りで順序を 逆に回っても同じであるから2で割って,結局3!/2通りである.しかし,都市の数が増えると非常に難しくなる。

D.P.の適用

有グラフ最短路問題と同様に最適性の原理を使って組織的に調べることができる。

例えば,都市\(1\)を出発して,\(\{2,3,4\}\)を巡回して,

最後に都市\(2\)を訪れるまでの最小費用を\(Cost(\{2,3,4\},2)\)で表すと, その最小になる路を通ってさらに都市\(1\)に戻ってくるまでの費用は

  \(Cost(\{2,3,4\},2)+L\{2,1\}\)

である.全く同様に,費用最少で,\(\{2,3,4\}\)を巡回後,都市3を訪れ,都市\(1\) に戻る費用は

  \(Cost(\{2,3,4\},3)+L\{3,1\}\)

\(\{2,3,4\}\)を巡回して,最後に都市4を訪れ,都市1に戻る費用は

  \(Cost(\{2,3,4\},4)+L\{4,1\}\)

である. 結局,最小の費用は

\(min\{Cost(\{2,3,4\},2)+L\{2,1\},Cost(\{2,3,4\},3)+L\{3,1\} , Cost(\{2,3,4\},4)+L\{4,1\}\}\)

であり,その最少費用を実現する路が求めるものである.

有グラフの場合と同様に\(Cost(\{2,3,4\},2)\)も再帰的に,  都市1を出発して,\(\{3,4\}\)を巡回して,最後に都市2を訪れるまでの 最小費用であるから

 都市1を出発して,\(\{3,4\}\)を巡回して都市3を訪れ,ついで都市2を訪れる費用

 \(Cost(\{3,4\},3)+L\{3,2\}\)

 都市1を出発して,\(\{3,4\}\)を巡回して都市4を訪れ,ついで都市2を訪れる費用

 \(Cost(\{3,4\},4)+L\{4,2\}\)

のうち何れか小さい方:

\(min\{Cost(\{3,4\},3)+L\{3,2\},Cost(\{3,4\},4)+L\{4,2\}\}\)

で求められる。

さらに,

\(Cost(\{3,4\},3)\)は路\((1,4,3)\)の費用であるから\(L\{1,4\}+L\{4,3\}=30+20=50\)

\(Cost(\{3,4\},4)\)は路\((1,3,4)\)の費用であるから\(L\{1,3\}+L\{3,4\}=20+20=40\)

である.

結局,最小の費用は以下の再帰的な計算により求めることができる。

\( min\{Cost(\{2,3,4\},2)+L\{2,1\},Cost(\{2,3,4\},3)+L\{3,1\},Cost(\{2,3,4\},4)+L\{4,1\} \} =min\{ 80+50,110+20 ,120+30 \} =130 \\ (1,3,4,2,1)または (1,2,4,3,1) \\  Cost(\{2,3,4\},2) =min\{Cost(\{3,4\},3)+L\{3,2\},Cost(\{3,4\},4)+L\{4,2\}\} =min\{50+60,40+40\}=80 路は(1,3,4,2) \\ Cost(\{3,4\},3)=L\{1,4\}+L\{4,3\}=30+20=50 \\ Cost(\{3,4\},4)=L\{1,3\}+L\{3,4\}=20+20=40 \\ Cost(\{2,3,4\},3) =min\{Cost(\{2,4\},2)+L\{2,3\},Cost(\{2,4\},4)+L\{4,3\}\} =min\{70+60,90+20\}=110 路は(1,2,4,3) \\ Cost(\{2,4\},2)=L\{1,4\}+L\{4,2\}=30+40=70 \\ Cost(\{2,4\},4)=L\{1,2\}+L\{2,4\}=50+40=90 \\ Cost(\{2,3,4\},4) =min\{Cost(\{2,3\},2)+L\{2,4\},Cost(\{2,3\},3)+L\{3,4\}\} =min\{80+40,110+20\}=120 路は (1,3,2,4) \\ Cost(\{2,3\},2)=L\{1,3\}+L\{3,2\}=20+60=80 \\ Cost(\{2,3\},3)=L\{1,2\}+L\{2,3\}=50+60=110 \\ \)

しかしながら,この方法は組織的ではあるが,「全件探索」(全ての可能な候補を全て当たる) であり,都市の数が10~20ぐらいまでが限界である.

分岐限定法

 ここで扱っている,巡回セールスマン問題には,解法の「決定打」はない。 問題の難しさを表す場合によく出てくる「NP困難問題」の一つである. 種々な方法が考案されている。「分岐限定法」もその一つである.

個人用ツール