二分图匹配的 König定理

二分图最小顶点覆盖：

选择数量最少的点集，满足图中每条边至少和点集中的一个点关联

König定理：

二分图最小顶点覆盖=二分图最大匹配

简单证明：

设最大匹配为M
1.M足够：让选出的点集覆盖这M条匹配边，那么其他边一定会被覆盖（如果有边不被覆盖说明还有增广路）。
2.M必须：由于这M条匹配边没有公共点，因此至少需要M个点才能覆盖。

---