1. 程式人生 > >[模板] 二分圖/網絡流相關定理

[模板] 二分圖/網絡流相關定理

可以轉化 最大獨立集 獨立 集中 解釋 方案 模板 psd one

待更

最小點集覆蓋==最大匹配。在這裏解釋一下原因,首先,最小點集覆蓋一定>=最大匹配,因為假設最大匹配為n,那麽我們就得到了n條互不相鄰的邊,光覆蓋這些邊就要用到n個點。現在我們來思考為什麽最小點擊覆蓋一定<=最大匹配。任何一種n個點的最小點擊覆蓋,一定可以轉化成一個n的最大匹配。因為最小點集覆蓋中的每個點都能找到至少一條只有一個端點在點集中的邊(如果找不到則說明該點所有的邊的另外一個端點都被覆蓋,所以該點則沒必要被覆蓋,和它在最小點集覆蓋中相矛盾),只要每個端點都選擇一個這樣的邊,就必然能轉化為一個匹配數與點集覆蓋的點數相等的匹配方案。所以最大匹配至少為最小點集覆蓋數,即最小點擊覆蓋一定<=最大匹配。綜上,二者相等。

二分圖最大獨立集=|V|-二分圖的最大匹配數

onetab

[模板] 二分圖/網絡流相關定理