程設講義-網路流與圖匹配.pptVIP

與前面類似，對於路徑覆蓋中的每條連接兩個頂點之間的每條有向邊u ? v，我們可以在匹配圖中對應做一條連接u與v‘的邊，顯然這樣做出來圖的是一個匹配圖(如果得到的圖不是一個匹配圖，那麼這個圖中必定存在這樣兩條邊?u ? v’? 及 u ? k‘，那麼在路徑覆蓋圖中就存在了兩條邊u-v, u-k，那從u出發的路徑就不止一條了，這與路徑覆蓋圖是矛盾的。 例題 機器人 在一個地圖中有很多障礙物，你要派出機器人去清除他們，但是你的機器人只能往右以及往下走，問最少要派多少台機器人才能把所有障礙物清除。 一般圖匹配 學會了如何找出二分圖的最大匹配，那一般圖呢？ 是否有辦法利用之前利用遞迴找增廣路的匈牙利演算法或是利用交錯樹與匈牙利樹找增廣路的匈牙利樹演算法找到呢？ 一般圖匹配 首先有一個明顯的性質：圖G為二分圖若且為若圖G不含奇圈(含有奇數個點的cycle) 我們發現在圖中有奇圈的形況下，若使用匈牙利演算法，複雜度會成長為O(n*n!)（因為交錯軌往不同的方向擴展可能會有不同的結果），極為恐怖。 一般圖匹配 若使用匈牙利樹演算法，在成長交錯樹的時候，可能會造成一些增廣路雖然存在，但在找到之前卻產生了匈牙利樹，以至於該增廣路永遠無法被找到。 所以，我們必須要想辦法處理奇圈的情況，才有辦法處理一般圖的最大匹配。 奇圈與花 為了處理奇圈的情形，我們針對會發生的奇圈定義一個新名詞：花(Bloss