【图论】【二分图匹配】匈牙利算法正确性证明所需的两个定理证明
2017-07-13 09:27
295 查看
经本人检阅,这是一篇好文,很容易理解。文章证明了:
定理1:(Berge 1957)M是最大匹配的充要条件是G中无M的可增广轨(关于增广轨可以参考上面那个blog里的说明)。
定理2:如果从一个点A出发,没有找到增广路径,那么无论再从别的点出发找到多少增广路径来改变现在的匹配,从A出发都永远找不到增广路径。
传送门
http://blog.csdn.net/yuxue_23/article/details/12224067
本文只是用来方便查找,版权归原作者所有。
在这里表达一下对原作者的敬意,支持原创,支持原作者。
在加一点理解:
这里难证明的应该是“无增广路 ——>已经是最大匹配”这个命题
文章中的做法是证明逆否命题“不是最大匹配——>有增广路”
证明逆否命题的方法是构造法,即找出一条增广路
定理2证明思路:假设我们对点A进行了两次,增广,第一次没有找到增广路,第二次找到了。下面需要证明这样是矛盾的,因为如果第二次可以找到,那么在第一次找时就应该找到了。
具体请见文章
定理1:(Berge 1957)M是最大匹配的充要条件是G中无M的可增广轨(关于增广轨可以参考上面那个blog里的说明)。
定理2:如果从一个点A出发,没有找到增广路径,那么无论再从别的点出发找到多少增广路径来改变现在的匹配,从A出发都永远找不到增广路径。
传送门
http://blog.csdn.net/yuxue_23/article/details/12224067
本文只是用来方便查找,版权归原作者所有。
在这里表达一下对原作者的敬意,支持原创,支持原作者。
在加一点理解:
这里难证明的应该是“无增广路 ——>已经是最大匹配”这个命题
文章中的做法是证明逆否命题“不是最大匹配——>有增广路”
证明逆否命题的方法是构造法,即找出一条增广路
定理2证明思路:假设我们对点A进行了两次,增广,第一次没有找到增广路,第二次找到了。下面需要证明这样是矛盾的,因为如果第二次可以找到,那么在第一次找时就应该找到了。
具体请见文章
相关文章推荐
- [图论] 二分图匹配(匈牙利算法)
- 图论算法----二分图匹配----匈牙利算法详解
- 四、图论 二分图匹配 匈牙利算法
- [原]关于对求两个排序数组交集的扫描算法正确性的证明
- BZOJ 1433 假期的宿舍 (图论 二分图匹配 匈牙利算法)
- hdu 2063 过山车(基础二分图匹配匈牙利算法)
- codevs 1922 骑士共存问题||二分图||最大独立集||二分图匹配||Dinic与匈牙利算法的讨论||网络流
- [算法] 匈牙利算法 poj 1274 示例 [ 二分图匹配 入门篇 ] O(n*m) Hopcroft O(sqrt(n)*m)
- 二分图匹配—匈牙利算法
- 趣学算法之:匈牙利算法(二分图匹配)
- hdu2063 过山车 (二分图匹配,匈牙利算法)
- 二分图匹配——匈牙利算法の板子
- 二分图匹配之匈牙利算法和 二分图匹配的几种题型
- 【二分图匹配-匈牙利算法】Courses HDU - 1083
- hdu2063过山车(匈牙利算法)二分图匹配
- 匈牙利算法(二分图匹配)
- poj1469 二分图匹配(匈牙利算法)
- poj 3041 Asteroids(二分图匹配匈牙利算法)
- 二分图匹配 匈牙利算法 hihocoder 1122
- HDU 1281 棋盘游戏(二分图匹配+匈牙利算法+模拟)