二分图总结

概念：

最小点覆盖：用最少的点覆盖所有的边

最小支配集：用最少的点覆盖所有的点

独立集：图中任意两个顶点都不相连的顶点集合。

性质：

 

最大独立集+最小覆盖集=图中的所有顶点数

最大匹配数=最小点覆盖

最大匹配数：

1，利用网络流中的最大流（时间复杂度高）

2，匈牙利算法（时间复杂度低）