匈牙利演算法-淡江大学.ppt

配對 Konig定理︰在雙分圖中最大配對與最小覆蓋有相同的元素個數。在雙分圖的鄰接矩陣中最大獨立集合與最小覆蓋有相同的元素個數 配對演算法結束後 已標記列和未標記行形成一個覆蓋 加上星號的1形成一個最大獨立集合 獨立元素連結的行列形成一個配對 例19︰配對 覆蓋︰{2, 5, A, C, F} 加上星號的1形成一個最大獨立集合 配對︰{(1, A), (2, D), (3, C), (4, F), (5, B)} A B C D E F G 1 1* 0 1 0 0 1 0 2 0 0 1 1* 1 0 1 E? 3 1 0 1* 0 0 0 0 4 1 0 0 0 0 1* 0 5 0 1* 0 0 1 0 1 E? 6 0 0 1 0 0 1 0 5? 2? #? #? 例20︰配對 覆蓋︰{2, B, C} 加上星號的1形成一個最大獨立集合 配對︰{(1, C), (2, A), (4, B)} A B C D A B C D 1 0 0 1* 0 1 0 0 1* 0 2 1* 1 0 1 2 1* 1 0 1 D? 3 0 0 1 0 3 0 0 1 0 4 0 1* 1 0 4 0 1* 1 0 2? #? 例21︰配對 覆蓋︰{A, B, C, D} (已標記列和未標記行形成一個覆蓋) 加上星號的1形成一個最大獨立集合 配對︰{(1, D), (2, A), (3, C), (4, B)} 最大配對與最小覆蓋 注意！Konig定理僅適用於雙分圖的狀況下，若非雙分圖時，不保證最大配對與最小覆蓋有相同的元素個數，|M| ? |C| 例22︰下圖中最小覆蓋為任意3個節點，但最大配對數只有2對 最大配對與最小覆蓋 例22︰6位演講者被安排在9, 10, 11, 1, 2, 3點演講，B先生只能在中午之前演講，K女士只能在9點或2點演講，Z女士無法在9點、11 點及2點演講，T先生無法在2點之前演講，A女士無法在10點到3點之間演講，N先生無法在10點到2點之間演講。試證明會議主持人不可能安排出大家都滿意的議程 最大配對與最小覆蓋 K, T, A, N四個人都想在9, 2, 3的時段演講，根據p.6的Hall定理可發現這根本不可能 最大配對與最小覆蓋 例23︰由5名工人中挑選4名，來完成4項工作，每個工人完成工作的能力如下表。試問要如何挑選才能在最短的時間內完成工作 Job 1 Job 2 Job 3 Job 4 Worker 1 3 7 5 8 Worker 2 6 3 2 3 Worker 3 3 5 8 6 Worker 4 5 8 6 4 Worker 5 6 5 7 3 最大配對與最小覆蓋 工作1, 2, 3, 4至少需要3天才能完工，我們以3天做為他能不能完工的標準，可以得到左圖的連接矩陣。但是我們最多只能找到3個獨立元素，無法覆蓋4項工作 右圖以4天做標準，同樣只能找到3個獨立元素 J1 J2 J3 J4 J1 J2 J3 J4 W1 1 0 0 0 W1 1 0 0 0 W2 0 1 1 1 W2 0 1 1 1 W3 1 0 0 0 W3 1 0 0 0 W4 0 0 0 0 W4 0 0 0 1 W5 0 0 0 1 W5 0 0 0 1 最大配對與最小覆蓋 我們以5天做為他能不能完工的標準，可以得到左圖的連接矩陣和3個獨立元素，經過配對演算法，可以得到右圖的最大配對與最小覆蓋 解︰(W1, J3, 5), (W2, J2, 3), (W3, J1, 3), (W4, J4, 4) J1 J2 J3 J4 J1 J2 J3 J4 W1 1 0 1 0 W1 1 0 1 0 W2 0 1 1 1 W2 0 1 1 1 W3 1 1 0 0 W3 1 1 0 0 W4 1 0 0 1 W4 1 0 0 1 W5 0 1 0 1 W5 0 1 0 1 最大獨立集合演算法(1) 最大獨立集合演算法(2) 最大配對與最小覆蓋 例24︰讓4名工人完成4項工作，每個工人完成工作的能力如下表。試問要如何挑選才能在最少的人力成本(總工時)完成工作 Worker 1 Worker 2 Worker 3 Worker 4 Job 1 3 6 3 5 Job 2 7 3 5 8 Job 3 5 2 8 6 Job 4 8 3 6 4 最大配對與最小覆蓋 左圖需要18個工作天，右圖需要19個工作天 下圖為上圖扣減每列／行之最小值後的結果 3 6 3 5 3 6 3 5 7 3 5 8 7 3 5 8 5 2 8 6 5 2 8 6 8 3 6 4 8 3 6 4 0 3 0 1 3 0 3 0 1 3 4 0 2 4 3 4 0 2 4 3 3 0 6 3 2 3 0 6 3 2 5 0 3 0 3 5 0 3 0