匹配不是最优必然有增广路的证明

本文详细探讨了增广路在算法中的角色,尤其是 Hopcroft-Karp 算法和匈牙利算法中如何证明:非最优匹配必然存在增广路。通过分析对称差的概念和匹配的性质,阐述了为何当匹配 M 不是最大时,必定能找到增加匹配数的路径。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

学习hopcroft-karp算法时看到这样一段对增广路的证明,想到之前学习匈牙利算法的时候也纠结过一阵子对增广路的证明,后来就不了了之。现在看到了,特意附上笔记。


先上原文,节选自hopcroft-karp的wiki解释:(https://en.wikipedia.org/wiki/Hopcroft%E2%80%93Karp_algorithm)

If {\displaystyle M}M is a matching, and {\displaystyle P}P is an augmenting path relative to {\displaystyle M}M, then the symmetric difference of the two sets of edges, {\displaystyle M\oplus P}M \oplus P, would form a matching with size 

评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值