二分图最小顶点覆盖: 选择数量最少的点集,满足图中每条边至少和点集中的一个点关联 König定理: 二分图最小顶点覆盖=二分图最大匹配 简单证明: 设最大匹配为M 1.M足够:让选出的点集覆盖这M条匹配边,那么其他边一定会被覆盖(如果有边不被覆盖说明还有增广路)。 2.M必须:由于这M条匹配边没有公共点,因此至少需要M个点才能覆盖。