二分图

在二分图中：原图中的最大团=补图中的最大独立集=总点数-最小点覆盖=总点数-最大匹配=最小边覆盖

 

二分图的必须边和可行边：必须边判定条件：(x,y)流量为1，且在残量网络上属于不同的强连通分量。
　　　　　　　　　　　　可行边判定条件：(x,y)流量为1，且在残量网络上属于相同的强连通分量。

 

好题：P3731 [HAOI2017]新型城市化 - 洛谷 | 计算机科学教育新生态 (luogu.com.cn)