关于二分图最大匹配等于最小点覆盖的证明

假设一个二分图给出了最大匹配数为M,那个M条边都是独立的(在X,Y集合都没有交点) ,

结论1.覆盖M条独立边至少需要M个覆盖点

结论2.图中所有的边都能被最大匹配的边的点所覆盖(如果有边没被最大匹配边的点所覆盖的话,那么肯定就不是最大匹配啦)

结论3.最大匹配的一条边只对应一个覆盖点

如果最大匹配的一条边选了2个未覆盖点 那么只有这种一种情况

 红色边代表最大匹配,2-5选了两个未覆盖点,说明不是最大匹配,因为可以选1-5,2-7



NEXT
综上所述

由结论3得,最大匹配M条边中各选了一个覆盖点,这M个覆盖点覆盖了最大匹配边,综合结论2,图中非匹配边也能被最大匹配边的覆盖点所覆盖,

再结合结论1,至少需要M个覆盖点。

所以M个覆盖点就是最小的点覆盖

也就是说   二分图最大匹配等于最小点覆盖



讲得有误的话,求指正。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值