二分匹配最大匹配的理解（附圖解）

  定義 一個PXP的有向圖中，路徑覆蓋就是在圖中找一些路徑，使之覆蓋了圖中的所有頂點，且任何一個頂點有且只有一條路徑與之關聯；（如果把這些路徑中的每條路徑從它的起始點走到它的終點，那麼恰好可以經過圖中的每個頂點一次且僅一次）；如果不考慮圖中存在迴路，那麼每條路徑就是一個弱連通子集． 由上面可以得出： 1.一個單獨的頂點是一條路徑； 2．如果存在一路徑p1,p2,......pk，其中p1 爲起點

>>阅读原文<<