グラフ理論から組合せ最適化へ - research institute...
TRANSCRIPT
![Page 1: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/1.jpg)
グラフ理論から組合せ最適化へ
京都大学数理解析研究所
岩田 覚
![Page 2: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/2.jpg)
グラフ
![Page 3: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/3.jpg)
グラフ
![Page 4: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/4.jpg)
ケーニヒスベルグの7本の橋
![Page 5: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/5.jpg)
ケーニヒスベルグの7本の橋
![Page 6: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/6.jpg)
Eulerの定理
),( EVG = 連結グラフ
すべての枝を1回ずつ通る閉路
Euler 閉路が存在する
すべての点で次数が偶数
接続する枝の本数
![Page 7: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/7.jpg)
Eulerの定理
![Page 8: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/8.jpg)
良い特徴付け
判定問題 【答えは,Yes/No】
NP: Yesのときに簡潔な証拠が存在
co‐NP: Noのときに簡潔な証拠が存在
良い特徴付け (Good Characterization)
NP-coNP∩ を保証する特徴付け
![Page 9: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/9.jpg)
マッチング
),( EVG =
:EM ⊆ マッチング ||2|| MM =∂
端点集合
完全マッチング
VM =∂
![Page 10: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/10.jpg)
Tutteの定理
),( EVG =
UG− の連結成分で点数が奇数の個数
U完全マッチングが存在する
VUUUG ⊆∀≤− |,|)odd(
![Page 11: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/11.jpg)
Petersenの定理
3正則2枝連結グラフには完全マッチングが存在する.
d正則: すべての点で次数が d
k枝連結: どの 本の枝を削除しても連結1−k
![Page 12: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/12.jpg)
Petersenの定理
![Page 13: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/13.jpg)
Petersenの定理
![Page 14: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/14.jpg)
Petersenの定理
3正則2枝連結グラフ
U
U UG−:F と の奇成分を結ぶ枝の集合
)odd(3|| UGF −≥
||3|| UF ≤
||)odd( UUG ≤−∴
Tutteの定理より,完全マッチングが存在する.
),( EVG =
![Page 15: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/15.jpg)
Tutte‐Berge公式
),( EVG = :)(Gμ マッチングの最大枝数
} |:|)odd(|min{|21)( VUUUGVG ⊆+−−=μ
U
|}|){odd(max: UUGVU
−−=⊆
l
l個の点を追加.各点から のすべての点に枝を張る.
V
Tutteの定理を適用.
![Page 16: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/16.jpg)
Edmondsのアルゴリズム
最大マッチングの計算法
増加道 を見出し,
.: φ=MP .: MPM Δ=
増加道が存在しなければ,終了.
![Page 17: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/17.jpg)
Edmondsのアルゴリズム
増加道の探索法
![Page 18: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/18.jpg)
Edmondsのアルゴリズム
増加道が見つからない場合
.||)odd(|| )odd(||||2||2
UUGVUGUVUM
+−−=−−−+=
![Page 19: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/19.jpg)
Gallaiの補題
),( EVG =
:EH ⊆ 枝被覆 VH =∂
||)()( VGG =+ημ
:)(Gη 枝被覆の最小枝数
![Page 20: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/20.jpg)
Tutte‐Berge公式
),( EVG = :)(Gμ マッチングの最大枝数
} |:|)odd(|min{|21)( VUUUGVG ⊆+−−=μ
U
![Page 21: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/21.jpg)
Tutte‐Berge公式
),( EVG =
:EM ⊆ マッチング
|}|)odd(|{|21|| UUGVM +−−≤
VU ⊆
U
||)odd(|| UUGMV −−≥∂−
||)odd(||2|| UUGMV −−≥−
![Page 22: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/22.jpg)
Edmondsのアルゴリズム
最大マッチングの計算法
増加道 を見出し,
.: φ=M
P .: MPM Δ=増加道が存在しなければ,終了.
以下を繰り返す.
![Page 23: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/23.jpg)
Edmondsのアルゴリズム増加道の探索法
![Page 24: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/24.jpg)
Edmondsのアルゴリズム
増加道が見つからない場合
||)odd(|| UUGMV −−=∂−
|}|)odd(|{|21|| UUGVM +−−=
U
![Page 25: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/25.jpg)
最大重みマッチング
),( EVG =
ℜ→Ew :
3
2
3
7
5
4 6
2
1
∑∈
=Me
ewMw )()(
}? :|)(max{ MMw マッチング
![Page 26: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/26.jpg)
最大重みマッチング
∑∈Ee
exew )()(
).( }1,0{)(
),( 1)(
Eeex
Vvexve
∈∈
∈≤∑∈δ
Maximize
subject to
整数線形計画問題
),( EVG = vδ v
}1)(|{ == exeM
![Page 27: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/27.jpg)
最大重みマッチング
∑∈Ee
exew )()(
).( 0)(
),( 1)(
Eeex
Vvexve
∈≥
∈≤∑∈δ
Maximize
subject to
線形計画緩和問題
![Page 28: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/28.jpg)
線形計画法
cx
.0,
≥≤
xbAx
Maximize
subject to
線形計画問題
単体法 Dantzig (1947)
楕円体法 Khachiyan (1979)
内点法 Karmarkar (1984)
![Page 29: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/29.jpg)
最大重みマッチング
1e
3e
2e
)( 1ex
)( 3ex
)( 2ex
),,( 21
21
21
![Page 30: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/30.jpg)
最大重みマッチング
3odd |:| , ≥⊆ SVS
2
1||)(][
−≤∑
∈
SexSEe
妥当不等式
},|{][ SeEeeSE ⊆∂∈=
切除平面
![Page 31: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/31.jpg)
最大重みマッチング
∑∈Ee
exew )()(Maximize
subject to
線形計画問題 }3odd |:| ,|{ ≥⊆= SVSSQ
).( 0)(
),( 2
1||)(
),( 1)(
][
Eeex
QSSex
Vvex
SEe
ve
∈≥
∈−
≤
∈≤
∑
∑
∈
∈δ
)MP(G
![Page 32: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/32.jpg)
マッチング多面体
)MP(G実行可能領域 の端点は,マッチングの特性ベクトル
特性ベクトル
⎩⎨⎧
∉∈
=)(0)(1
)(MeMe
eMχ
} :|conv{)MP( MG Mχ= マッチング
![Page 33: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/33.jpg)
最小重み完全マッチング
),( EVG =
ℜ→Ew :
3
2
3
7
5
4 6
2
1
∑∈
=Me
ewMw )()(
}? :|)(min{ MMw 完全マッチング
![Page 34: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/34.jpg)
最小重み完全マッチング
}3odd |:| ,|{ ≥⊆= SVSSQ
1)(][
≥∑∈ SDe
ex
妥当不等式
}1||,|{][ =∩∂∈= SeEeeSD
![Page 35: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/35.jpg)
最小重み完全マッチング
∑∈Ee
exew )()(Minimize
subject to
線形計画問題
).( 0)(
),( 1)(
),( 1)(
][
Eeex
QSex
Vvex
SDe
ve
∈≥
∈≥
∈=
∑
∑
∈
∈δ
)MP(P G
![Page 36: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/36.jpg)
完全マッチング多面体
)MP(P G実行可能領域 の端点は,完全マッチングの特性ベクトル
} :|conv{)MP(P MG Mχ= 完全マッチング
⇒≠φ)MP(P G 完全マッチングが存在
![Page 37: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/37.jpg)
Petersen の定理
)( 3/1)( Eeex ∈=
3正則2枝連結グラフには完全マッチングが存在する.
vδ v
1)( =∑∈ ve
exδ
1)(][
≥∑∈ SDe
ex
φ≠∈∴ )MP(P Gx
![Page 38: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/38.jpg)
最大重みマッチング
),( EVG =
ℜ→Ew :
3
2
3
7
5
4 6
2
1
∑∈
=Me
ewMw )()(
}? :|)(max{ MMw マッチング
![Page 39: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/39.jpg)
最大重みマッチング
∑∈Ee
exew )()(Maximize
subject to
線形計画問題 }3odd |:| ,|{ ≥⊆= SVSSQ
).( 0)(
),( 2
1||)(
),( 1)(
][
Eeex
QSSex
Vvex
SEe
ve
∈≥
∈−
≤
∈≤
∑
∑
∈
∈δ
![Page 40: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/40.jpg)
線形計画法の双対理論
cx
.0,
≥≤
xbAx
Maximize
subject to
主問題
yb
.0,
≥≥
ycyA
Minimize
subject to
双対問題
任意の実行可能解の組に対して, .ybcx ≤弱双対定理
. ) ybyAxcx ≤≤Q
![Page 41: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/41.jpg)
線形計画法の双対理論
cx
.0,
≥≤
xbAx
Maximize
subject to
主問題
yb
.0,
≥≥
ycyA
Minimize
subject to
双対問題
主問題と双対問題に実行可能解が存在するならば,の組に対して,両者に最適解が存在して, .ybcx =
強双対定理
![Page 42: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/42.jpg)
線形計画法の双対理論
cx
.0,
≥≤
xbAx
Maximize
subject to
主問題
yb
.0,
≥≥
ycyA
Minimize
subject to
双対問題
.0)(,0)(
=−=−
xcyAbAxy
:, yx 最適解
:x 実行可能解
:y 実行可能解
相補性条件
![Page 43: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/43.jpg)
最大重みマッチング
∑∈Ee
exew )()(Maximize
subject to
主問題
).( 0)(
),( 2
1||)(
),( 1)(
][
Eeex
QSSex
Vvex
SEe
ve
∈≥
∈−
≤
∈≤
∑
∑
∈
∈δ
双対変数
双対変数
)(vy
)(Sz
![Page 44: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/44.jpg)
最大重みマッチング
∑ ∑∈ ∈
−+
Vv QSSzSvy )(
21||)(Minimize
subject to
双対問題
).( 0)(),( 0)(
),( )()()(
QSSzVvvy
EeewSzvyeSev
∈≥∈≥
∈≥+ ∑∑∂⊇∂∈
![Page 45: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/45.jpg)
最大重みマッチング
.)()()(0)( ∑ ∑∂∈ ∂⊇
=+⇒>ev eS
ewSzvyex(i)
(ii)
相補性条件
.2/)1|(|)(0)(][
−=⇒> ∑∈
SexSzSEe
(iii) .1)(0)( =⇒> ∑∈ ve
exvyδ
![Page 46: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/46.jpg)
主双対アルゴリズム
(i)
(ii)
相補性条件
.2/)1|(||][|0)( −=∩⇒> SSEMSz
(iii) . ,0)( MVvvy ∂−∈∀=
マッチング:M :),( zy 双対問題の実行可能解
. ,)()()( MeewSzvyev eS
∈∀=+∑ ∑∂∈ ∂⊇
条件 (i), (ii) を保持.条件 (iii) が達成されたら終了.
Mx χ=
![Page 47: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/47.jpg)
主双対アルゴリズム
(i)
(ii)
相補性条件
.2/)1|(||][|0)( −=∩⇒> SSEMSz
(iii) . ,0)( MVvvy ∂−∈∀=
).( 0)()()()( EeewSzvyecev eS
∈≥−+= ∑ ∑∂∈ ∂⊇
∗⊆ EM
}.0)(,|{ =∈=∗ ecEeeE
![Page 48: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/48.jpg)
主双対アルゴリズム
初期解の設定
),( }|)(max{21:)( VvEeewvy ∈∈=
).( 0:)( QSSz ∈=
,: φ=M
![Page 49: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/49.jpg)
主双対アルゴリズム
),( ** EVG =増加道の探索
![Page 50: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/50.jpg)
主双対アルゴリズム
),( ** EVG =マッチングの更新
![Page 51: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/51.jpg)
主双対アルゴリズム
双対実行可能解の更新
⎩⎨⎧
∈+∈−
=) ()() ()(
:)(vvyvvy
vyεε
⎩⎨⎧
−+
=) :(2)() :(2)(
:)(SSzSSz
Szεε
),( ** EVG =
![Page 52: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/52.jpg)
主双対アルゴリズム
0},,,min{: >= δγβαε
} |)(min{: ∈= vvyα
} :|)(min{: 21 SSz=β
} |)(min{: 21 ec=γ
} |)(min{: ec=δ
ステップ幅
![Page 53: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/53.jpg)
主双対アルゴリズム
計算量 )|||(| 2VEO ⋅
整数値の場合, 半整数値, 整数値.:y :z:w
増加道が見つかるまでの間に双対変数の更新は 回.|)(|VO
.or ,, 0)(),(
φ=∩⊇⊆⇒>
TSSTTSTzSz
![Page 54: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/54.jpg)
主双対アルゴリズム
3
2
3
7
5
4 62
1
![Page 55: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/55.jpg)
主双対アルゴリズム
3
2
3
7
5
4 62
1
7/2
7/2
7/2
7/2
7/2
7/2
![Page 56: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/56.jpg)
主双対アルゴリズム
3
2
3
7
5
4 62
1
7/2
7/2
7/2
7/2
7/2
7/2
1=ε
![Page 57: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/57.jpg)
主双対アルゴリズム
3
2
3
7
5
4 62
1
7/2
5/2
5/2
5/2
7/2
5/2
![Page 58: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/58.jpg)
主双対アルゴリズム
3
2
3
7
5
4 62
1
7/2
5/2
5/2
5/2
7/2
5/2
1=ε
![Page 59: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/59.jpg)
主双対アルゴリズム
3
2
3
7
5
4 62
1
9/2
5/2
5/2
3/2
5/2
3/2
1=ε
![Page 60: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/60.jpg)
主双対アルゴリズム
3
2
3
7
5
4 62
1
11/2
7/2
3/2
1/2
3/2
1/2
2/1=ε
![Page 61: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/61.jpg)
主双対アルゴリズム
3
2
3
7
5
4 62
1
5
4
1
0
1
0
1
![Page 62: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/62.jpg)
最小重み完全マッチング
),( EVG =
ℜ→Ec :
3
2
3
7
5
4 6
2
1
∑∈
=Me
ecMc )()(
}? :|)(min{ MMc 完全マッチング
![Page 63: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/63.jpg)
最小重み完全マッチング
∑∈Ee
exec )()(Minimize
subject to
線形計画問題
).( 0)(
),( 1)(
),( 1)(
][
Eeex
QSex
Vvex
SDe
ve
∈≥
∈≥
∈=
∑
∑
∈
∈δ
![Page 64: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/64.jpg)
郵便配達人問題
),( EVG =
+ℜ→E:l
すべての枝を少なくとも1回通って出発点に戻る最短経路
![Page 65: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/65.jpg)
郵便配達人問題
),( EVG = ),(ˆ FWG =
:)(ac 両端点を結ぶ最短路長
最小重み完全マッチング
![Page 66: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/66.jpg)
計算困難問題への挑戦
NP困難問題への対処法
効率的に解ける特殊ケース
精度保証付き近似アルゴリズム
![Page 67: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/67.jpg)
最大カット問題
),( EVG = +ℜ→Ew :
∑∈
=][
)(])[(XDe
ewXDw
?])[(max XDwVX⊂≠φ
NP困難
![Page 68: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/68.jpg)
最大カット問題
平面グラフ
双対グラフ
郵便配達人問題
平面グラフ上の最大カット問題は,双対グラフ上の郵便配達人問題に帰着可能.
![Page 69: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/69.jpg)
巡回セールスマン問題
),( EVG = 完全グラフ
+ℜ→Ed : 距離(三角不等式)
:EH ⊆ Hamilton閉路(すべての点を1度ずつ通る)
∑∈
=He
edHd )()(
?} :|)(min{ HHd Hamilton閉路
NP困難
![Page 70: グラフ理論から組合せ最適化へ - Research Institute …kenkyubu/kokai-koza/H22-slide...グラフ理論から組合せ最適化へ 京都大学数理解析研究所 岩田覚](https://reader034.vdocuments.net/reader034/viewer/2022050612/5fb358dedd8cae4a8260dc57/html5/thumbnails/70.jpg)
巡回セールスマン問題
Christofidesの近似アルゴリズム
最小全域木 ET ⊆
TW : の奇次数点の集合
][ : WGM の最小重み完全マッチング
:H 最適巡回路
)()( HdTd ≤2/)()( HdMd ≤
)(23)( HdMTd ≤∪
近似比 3/2