二分圖中對最小頂點覆蓋、最小邊覆蓋、最大獨立集的理解

僅僅用於自己理解，若有共鳴，別太吐槽就行哈~ 首先是匈牙利算法的本質：(圖參考了zxy的) 這個圖要詳細看完，那麼剛開始我想的「找小三」實際上就是遞歸找增廣路的過程，如果找到增廣路，匹配數就一定可以加一。(代碼就不上了，都是一個模板) 理解到這裏其實才只是個開始，我想解決的是最大匹配與最小頂點覆蓋數、最小邊覆蓋數、最大點獨立集之間的關係是怎麼得來的。首先是結論： 在任意圖中：(《挑戰》裏的結論)

>>阅读原文<<