本文解析了匹配算法中的两个关键定理：一是最大匹配等价于无增广路径；二是从某点无法找到增广路径，则始终无法通过增广改变匹配状态。通过逆否命题和构造法证明了这些结论。
经本人检阅，这是一篇好文，很容易理解。文章证明了：
定理1：（Berge 1957）M是最大匹配的充要条件是G中无M的可增广轨(关于增广轨可以参考上面那个blog里的说明)。
定理2：如果从一个点A出发，没有找到增广路径，那么无论再从别的点出发找到多少增广路径来改变现在的匹配，从A出发都永远找不到增广路径。
传送门
http://blog.youkuaiyun.com/yuxue_23/article/details/12224067
本文只是用来方便查找，版权归原作者所有。
在这里表达一下对原作者的敬意，支持原创，支持原作者。
在加一点理解：
这里难证明的应该是“无增广路 ——>已经是最大匹配”这个命题
文章中的做法是证明逆否命题“不是最大匹配——>有增广路”
证明逆否命题的方法是构造法，即找出一条增广路
定理2证明思路：假设我们对点A进行了两次，增广，第一次没有找到增广路，第二次找到了。下面需要证明这样是矛盾的，因为如果第二次可以找到，那么在第一次找时就应该找到了。
具体请见文章
扫一扫
21
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
