二分图理论

增广路的定义:

若P是图G中一条联通两个未匹配顶点的路径,且属于M的边和不属于M的边在P上交替出现,则称P为相对于M的一条增广路径。

增广路径的定义可以推出的三个结论:

①P的路径长度必定为奇数,第一条边和最后一条边都不属于M

②P经过取反操作可以得到一个更大的匹配M

③M为G的最大匹配当且仅当不存在相对于M的增广路径

即增广路始于非M,终于非M(M的形成:1.初始不重配对连接。2.重合翻转)

 

最大二分图匹配(见挑战)

最小点覆盖 

最小点覆盖==最大二分图匹配的个数

证明: 在二分图最大匹配的基础上存在的情况

一: 独立没边的点 ,没变所以不考虑

二:匹配的点不只一条边,但这增多的边不增加点去多覆盖

综上可证

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值