二分图最小点覆盖König定理的简单证明

König定理是一个二分图中很重要的定理，它的意思是，一个二分图中的最大匹配数等于这个图中的最小点覆盖数。如果你还不知道什么是最小点覆盖，我也在这里说一下：假如选了一个点就相当于覆盖了以它为端点的所有边，你需要选择最少的点来覆盖所有的边。
小白的我参考了好多网上的证明，迷迷糊糊算是明白了，决定从大牛手中的证明，加入自己的一些可以让人更加明白的见解！！！

假如我们已经通过匈牙利算法求出了最大匹配（假设它等于M），下面给出的方法可以告诉我们，选哪M个点可以覆盖所有的边。
匈牙利算法需要我们从右边的某个没有匹配的点（起始点），走出一条使得“一条没被匹配、一条已经匹配过，再下一条又没匹配这样交替地出现”的路（交错轨，增广路）。但是，现在我们已经找到了最大匹配，已经不存在这样的路了。换句话说，我们能寻找到很多可能的增广路，但最后都以找不到“终点是还没有匹配过的点”而失败。我们给所有经过这条路上点打上记号（如上图粗线）：从右边的所有没有匹配过的点出发，按照增广路的“交替出现”的要求可以走到的所有点（最后走出的路径是很多条不完整的增广路）。那么右边没有打上记号的点，加上左边已经有记号的点组成了最小覆盖点集：。看图，上图中展示了两条这样的路径，标记了一共6个点（用 “√”表示）。用红色圈起来的三个点就是我们的最小覆盖点集。
首先，为什么这样得到的点集点的个数恰好有M个呢？答案很简单，因为最小覆盖点集里的每个点都是某个匹配边的其中一个端点。如果右边的哪个点是没有匹配过的，那么它早就当成起点被标记了；如果左边的哪个点是没有匹配过的，那就走不到它那里去（否则就找到了一条完整的增广路）。而一个匹配边又不可能左端点是标记了的，同时右端点是没标记的（不然的话右边的点就可以通过这条边到达了）。因此，最后我们圈起来的点与匹配边一一对应。
其次，为什么这样得到的点集可以覆盖所有的边呢？答案同样简单。不可能存在某一条边，它的左端点是没有标记的，而右端点是有标记的。原因如下：如果这条边不属于我们的匹配边，那么左端点就可以通过这条边到达（从而得到标记）；如果这条边属于我们的匹配边，那么右端点不可能是一条路径的起点，于是它的标记只能是从这条边的左端点过来的（想想匹配的定义），左端点就应该有标记。
最后，为什么这是最小的点覆盖集呢？这当然是最小的，不可能有比M还小的点覆盖集了，因为要覆盖这M条匹配边至少就需要M个点（再次回到匹配的定义）。

最后推荐大家学习匈牙利算法可以看这个文章，超级容易明白，简介明了
匈牙利算法

二分图最小点覆盖König定理的简单证明相关推荐

Asteroids POJ - 3041 匈牙利算法+最小点覆盖König定理
题意: 给出一个N*N的地图N 地图里面有K个障碍你每次可以选择一条直线消除这条直线上的所有障碍 (直线只能和列和行平行) 问最少要消除几次题解: 如果(x,y)上有一个障碍则把 ...
[匈牙利算法] 最小点覆盖 König定理
König定理: 一个二分图中的最大匹配数等于这个图中的最小点覆盖数. (你都能用最少的覆盖最多的还不是最大匹配数??) poj 1325 Machine Schedule [题目描述]有两部机器A和 ...
二分图最小点覆盖构造方案+König定理证明
原文链接前言博主很笨 ,如有纰漏,欢迎在评论区指出讨论. 二分图的最大匹配使用 DinicDinicDinic 算法进行实现,时间复杂度为 O(ne)O(n\sqrt{e})O(ne),其中, ...
【二分图|最小点覆盖集】König定理及其证明
转自Matrix67 二分图最大匹配的König定理及其证明如果你看不清楚第二个字母,下面有一个大号字体版本: 二分图最大匹配的König定理及其证明本文将是这一系列里最短的一篇,因为我只打算把K ...
（转）二分图最大匹配的König定理及其证明
出处:http://www.matrix67.com/blog/archives/116 二分图最大匹配的König定理及其证明如果你看不清楚第二个字母,下面有一个大号字体版本: 二分图最大匹配的K ...
【转载】二分图最大匹配的König定理及其证明 Matrix67原创
二分图最大匹配的König定理及其证明本文将是这一系列里最短的一篇,因为我只打算把König定理证了,其它的废话一概没有. 以下五个问题我可能会在以后的文章里说,如果你现在很想知道的话,网上去找找答 ...
【转载】二分图最大匹配的König定理及其证明
二分图最大匹配的König定理及其证明转载自 Matrix67 本文将是这一系列里最短的一篇,因为我只打算把König定理证了,其它的废话一概没有. 以下五个问题我可能会在以后的文章里说,如果你现在 ...
【learning】二分图最大匹配的König定理
[吐槽] 嗯好吧这个东西吧..其实是一开始做一道最小点覆盖的题的时候学到的奇妙深刻的东西然后发现写了很长然后就觉得不拎出来对不起自己呀哈哈哈哈咳咳好的进入正题 [正题] 在这里码一下最小点覆盖的 ...
遗传算法的简单介绍以及模式定理的简单证明
遗传算法遗传算法(Genetic Algorithm,GA),最早是由美国的John holland在20世纪70年代提出.算法通过模拟达尔文生物进化论的自然选择以及遗传学机理的生物进化过程来搜 ...

二分图最小点覆盖König定理的简单证明

二分图最小点覆盖König定理的简单证明相关推荐

最新文章

热门文章