ソースを表示

=={最短経路問題}


==ラベル付き有向グラフ==

===有向グラフ===
有向グラフは,ここでは<math>G</math>で表しますが,コンピュータや,ネットワークにもよく使われ
ます。有向グラフ<math>G</math>は


(1) 節点の集合<math>P</math>

(2) <math>P</math>の点の順序対<math>(a,b)(a,bはPの点)</math>の集合<math>V</math>

からなる.


<math>a \ne b</math>のとき<math>(a,b) \ne (b,a)</math>である.

また

<math>(a,b)=(c,d)\Leftrightarrow (a=c\ and\ b=d）</math>

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


<math>V \subseteq P \times P</math>


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

(図5.1) [[ファイル:Fig5.1.gif]]

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


(図5.2) [[ファイル:Fig5.2.gif]]


<math>
P=\{ a,b,c,d,e,f \}　　\\
V=\{(a,b),(a,c),(b,d),(b,e),(c,e),(d,f),(e,f) \}
</math>

===ラベル===

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

(図5.3) [[ファイル:Fig5.3.gif]]

===路===

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

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

===最短路問題===

<math>G</math>をラベル付き有向グラフとする。ただし,

(図5.4) [[ファイル:Fig5.4.gif]]

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

さて,簡単にするため、集合<math>P</math>が<math>n</math>個の節点からなっているとして

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

(図5.5) [[ファイル:Fig5.5.gif]]

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

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

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

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



===D.P.の原理===


(図5.6) [[ファイル:Fig5.6.gif]]

　節点<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>への別の最短路があったとすると,例えば,(図6)の
節点<math>c,e</math>を経由して,<math>b</math>に行く路がそうであったとすると

<math>
L(a,c)+L(c,e)+L(e,b) \lt L(a,b)
</math>　

となり,これから

<math>
L(a,c)+L(c,e)+L(e,b)+L(b,d) \lt L(a,b)+L(b,d)
</math>

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

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

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

ベルマンの<math>D.P.</math>（ダイナミック・プログラミング）とか最適性の原理と呼ばれている.

===再帰的な計算法===

最適性の原理を使うと,例えば,接点<math>i</math>から<math>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>
O(i,k)=min\{ \{ L(i,k) \} \cup \{L(i,j)+O(j,k)
|j \ne i,k,(i,j)はVの元\}\} \qquad (1a) 
</math>


<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>(i,(j,\cdots,k))=(i,j,\cdots,k)</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>L(i,j)+O(j,k)</math>

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

(図5.5) [[ファイル:Fig5.5.gif]]


に適用すると

<math>
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)
</math>

===Dijkstraの方法===

DPの原理を使った効率的な方法として,Dijkstraの方法が知られています。
<Dijkstra>

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

===手順1===
<math>
終了  (K = P)  
</math>

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

===手順2===
<math>
K \leftarrow K \cup \{m \}（Kに要素mを加えた集合を新たにKとする。）\\
L \leftarrow L \setminus \{m \}（Lからその要素mを除いた集合を新たにLとする。）
</math>

<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にもどる。===


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

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

が書き込まれている.

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

図5.5は、

<math>
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 
</math>

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

<math>\infty</math> を999として

<math>
O(2) \leftarrow  999, O(3) \leftarrow  999, \\ 
O(4) \leftarrow  999, O(5) \leftarrow  999, \\
O(6) \leftarrow  999 
</math>

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

となり、m=1を選ぶ｡

===手順２(1回目)===
<math>
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の元ではない
~]
</math>

===手順１(2回目)===
<math>
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
</math>

となり、<math>m=2</math>を選ぶ｡

===手順２(２回目)===
<math>
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の元ではない
~]
</math>

===手順１(３回目)===
<math>
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を選ぶ｡
</math>

===手順２(３回目)===
<math>
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の元ではない
~>>
</math>

===手順１(４回目)===
<math>
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
</math>

となり、<math>m=5</math>を選ぶ｡

===手順２(４回目)===
<math>
K \leftarrow  \{1,2,4,5\} 
L \leftarrow  \{3,6\} 
[[利用者:Moderator|Moderator]]<<
~~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
~>>
</math>

===手順１(５回目)===
<math>
K=\{1,2,4,5\}なのでK \ne Pとなり終了ではない
O(3)=35,O(6)=50なので
O(m)=min\{O(3),O(6)\}
=O(3)
=35
</math>
となり、<math>m=3</math>を選ぶ｡

===手順２(５回目)===
<math>
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)となり何もしない
>>
</math>

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

となり、<math>m=6</math>を選ぶ｡

===手順２(６回目)===
<math>
K \leftarrow  \{1,2,3,4,5,6\}
L \leftarrow  \phi
<<
Lの要素がない
>>
</math>

===手順１(７回目)===
<math>K=\{1,2,3,4,5,6\}</math>なので<math>K=P</math>となり終了

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

==無向グラフ==
最短路問題ではラベル付き有向グラフを扱ったが,ここでは,弧で結ばれている節点間は,
双方向に行き来できるものとする。従って,図示した場合も始点,終点といった「向き」はない。
このようなグラフ<math>G</math>は無向グラフと呼ばれる。これは
<math>
(1)節点の集合P 
(2)Pの点の非順序対\{a,b\}( a,bはPの点)の集合V
</math>

からなります。

<math>\{a,b\}=\{b,a\}</math>である.


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

\vspace{2cm}
\par 

(図5.7)

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

\vspace{5cm}
\par 

(図5.8)
<math>
P=\{a,b,c,d,e,f\}
V=\{\{a,b\},\{a,c\},\{b,d\},\{b,e\},\{c,e\},\{d,f\},\{e,f\}\}
</math>


===ラベル===

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

(図5.9)

[[ファイル:Fig5.9.gif]]

===路===

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

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

===巡回セールスマン問題===


さて,簡単にするため,集合<math>P</math>が<math>n</math>個の節点からなっているとして

<math>P=\{1,2,\cdots,n\}</math>とし,夫々の弧に付けられている,ラベルはその弧を移動する
費用は表すものとしておく。
下の図では,節点の番号と区別できるよう(）付の数字で表しておく。

\vspace{5cm}
\par 

(図5.10)

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

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

(図5)の例では,路<math>(1,3,4,2,1)</math>と<math>(1,2,4,3,1)</math>が解で,費用が130である.
可能な路を全てを調べても,１番目の都市3通り<math>\times</math>2番目の都市2通り<math>\times</math>３番目の都市1通り=3!通りで順序を
逆に回っても同じであるから2で割って,結局3!/2通りである.しかし,都市の数が増えると非常に難しくなります。


===D.P.の適用===

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

例えば,都市<math>1</math>を出発して,<math>\{2,3,4\}</math>を巡回して,
最後に都市<math>2</math>を訪れるまでの最小費用を<math>Cost(\{2,3,4\},2)</math>で表すと,
その最小になる路を通ってさらに都市<math>1</math>に戻ってくるまでの費用は
　　<math>Cost(\{2,3,4\},2)+L\{2,1\}</math>
である.全く同様に,費用最少で,<math>\{2,3,4\}</math>を巡回後,都市3を訪れ,都市<math>1</math>
に戻る費用は
　　<math>Cost(\{2,3,4\},3)+L\{3,1\}</math>
<math>\{2,3,4\}</math>を巡回して,最後に都市4を訪れ,都市1に戻る費用は
　　<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\} ,
Cost(\{2,3,4\},4)+L\{4,1\}\}</math>
であり,その最少費用を実現する路が求めるものである.

有グラフの場合と同様に<math>Cost(\{2,3,4\},2)</math>も再帰的に,
　都市1を出発して,<math>\{3,4\}</math>を巡回して,最後に都市2を訪れるまでの
最小費用であるから
　都市1を出発して,<math>\{3,4\}</math>を巡回して都市3を訪れ,ついで都市2を訪れる費用
　<math>Cost(\{3,4\},3)+L\{3,2\}</math>
　都市1を出発して,<math>\{3,4\}</math>を巡回して都市4を訪れ,ついで都市2を訪れる費用
　<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>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>
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
</math>

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

===分岐限定法===

　ここで扱っている,巡回セールスマン問題には,解法の「決定打」はない。
問題の難しさを表す場合によく出てくる「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>