一般圖最大匹配——帶花樹算法 學習小記

Text 一般圖的最大匹配仍然是基於尋找增廣路的 增廣路的定義是這樣的一條路徑，它不經過重複的點，並且路徑兩端均沒有匹配，且整條路徑是非匹配邊-匹配邊-非匹配邊這樣交錯的。 類比二分圖最大匹配的增廣路算法，如果我們找到了一條增廣路，那麼將這條增廣路的邊取反（匹配的變成非匹配，非匹配的變成匹配），那麼匹配數會恰好+1，如果全圖不存在增廣路，也就說明當前已經是一個最大匹配了。（證明略） 一般圖和二分圖

>>阅读原文<<