Konig定理

由匈牙利数学家柯尼希（D.Konig）于1913年首先陈述的定理。
定理的内容：在0-1矩阵中，1的最大独立集合最小覆盖包含的元素个数相同，等价地，二分图中的最大匹配数等于这个图中的最小点覆盖数。

证明:

对于上面的二分图，它的最大匹配(不唯一)已经用红线标出来了，

然后我们对于右边或左边(这里按右边为例)没有匹配的点，我们从它出发走交替路(这里有介绍)，会经过若干节点
将所有从右边没有匹配的点开始的交替路上的所有的点标注起来(如下图标蓝的点)

可以证明左边所有被标注的点都是被匹配的点(否则从未匹配的点到未匹配的点的交替路就是增广路)
右边所有没有被标注的点都是被匹配的点(或是没连任何边的点，可以忽略。否则可以从它开始走任意非匹配边，它就会被标注)
这些点就是最小覆盖点集(被标红)

因为对于所有右边被标注的点连的边,其左边的点都被标注了，会被覆盖
假设左边的点是不是匹配点且没被标注，则当前边一定不是匹配边，可以加入交替路中，所以假设不成立
假设左边的点是匹配点且没被标注，则当前边一定是匹配边且不在交替路中，那么右边的这个点也是匹配点且被标记，那么右边的这个点已经连了一个在交替路中的匹配边，但一个点最多会有一个匹配边，所以假设不成立

对于所有左边没被标注的点连的边，其右边的点都没被标注
假设右边的点是匹配点且被标注，则当前边一定不是匹配边，可以加入交替路中，所以假设不成立
假设右边的点不是匹配点且被标注，则当前边一定不是匹配边，可以加入交替路中，所以假设不成立

所以所有边都被覆盖了

Konig定理及证明的更多相关文章

  1. 二分图最小覆盖的Konig定理及其证明,最小的覆盖证明

    [转http://www.cppblog.com/abilitytao/archive/2009/09/02/95147.html  ->  http://yejingx.ycool.com/p ...

  2. 【Learning】最小点覆盖（二分图匹配） 与Konig定理证明

    (附一道例题) Time Limit: 1000 ms   Memory Limit: 128 MB Description 最小点覆盖是指在二分图中,用最小的点集覆盖所有的边.当然,一个二分图的最小 ...

  3. 二分图最大匹配的König定理及其证明

     二分图最大匹配的K?nig定理及其证明 本文将是这一系列里最短的一篇,因为我只打算把K?nig定理证了,其它的废话一概没有.    以下五个问题我可能会在以后的文章里说,如果你现在很想知道的话,网上 ...

  4. Computer Science Theory for the Information Age-6: 学习理论——VC定理的证明

    VC定理的证明 本文讨论VC理论的证明,其主要内容就是证明VC理论的两个定理,所以内容非常的枯燥,但对于充实一下自己的理论知识也是有帮助的.另外,VC理论属于比较难也比较抽象的知识,所以我总结的这些证 ...

  5. 《University Calculus》-chaper8-无穷序列和无穷级数-泰勒定理的证明

    泰勒定理: 证明:

  6. latex中使用定理、证明、缩进

    1.定理和证明 \documentclass[a4paper,UTF8]{article} \usepackage{ctex} \usepackage{amsthm,amsmath,amsfonts, ...

  7. xdoj-1057(Lucas定理的证明及其模板）

    Lucas定理的证明: 转自百度百科(感觉写的还不错) 首先你需要这个算式:    ,其中f > 0&& f < p,然后 (1 + x) nΞ(1 + x) sp+q Ξ ...

  8. hdu5391-Zball in Tina Town-威尔逊定理(假证明)

    Tina Town is a friendly place. People there care about each other. Tina has a ball called zball. Zba ...

  9. 初等数论-Base-2(扩展欧几里得算法，同余，线性同余方程，(附：裴蜀定理的证明))

    我们接着上面的欧几里得算法说 扩展欧几里得算法 扩展欧几里德算法是用来在已知a, b求解一组x,y,使它们满足贝祖等式\(^①\): ax+by = gcd(a, b) =d(解一定存在,根据数论中的 ...

随机推荐

  1. BlueHost主机建站方案怎样选择？

    BlueHost是知名美国主机商,近年来BlueHost不断加强中国市场客户的用户体验,提供多种主机租用方案,基本能够满足各类网站建设需求.下面就和大家介绍一下建站应该怎样选择主机. 1.中小型网站 ...

  2. C++ 贪吃蛇一维

    #include <iostream> #include <conio.h> #include <windows.h> #include <time.h> ...

  3. Wed Nov 01 13:03:16 CST 2017 WARN: Establishing SSL connection without server's identity verification is not recommended.

    报错:Wed Nov 01 13:03:16 CST 2017 WARN: Establishing SSL connection without server's identity verifica ...

  4. 杂项-日志：日志（log）

    ylbtech-杂项-日志:日志(log) 1.返回顶部 1. 概述 网络设备.系统及服务程序等,在运作时都会产生一个叫log的事件记录:每一行日志都记载着日期.时间.使用者及动作等相关操作的描述. ...

  5. iOS开发NSMutableArray数组越界处理

    #import "NSArray+CrashArray.h" #import <objc/runtime.h> @implementation NSObject (Un ...

  6. Docker系列(三)：Docker自定义容器镜像

    将容器编程镜像: docker commit [repo:tag] 网上有这句话:当我们在制作自己的镜像的时候,会在container中安装一些工具.修改配置,如果不做commit保存 起来,那么co ...

  7. Django之13种必会查询

    1.常见的13中查询方式(必须记住) <1> all(): 查询所有结果 <2> filter(**kwargs): 它包含了与所给筛选条件相匹配的对象 <3> g ...

  8. selenium基础（鼠标和键盘事件）

    selenium鼠标和键盘的操作事件 webdriver常见的几种操作方法 clear():清楚文本文字 send_keys(values):模拟按键输入,values是输入的内容 click():单 ...

  9. Linq学习笔记(第一部分)

    本文分享自lliulun的30分钟linq教程,地址:http://www.cnblogs.com/liulun/archive/2013/02/26/2909985.html 一:与LINQ有关的语 ...

  10. Luogu P4180 【模板】严格次小生成树[BJWC2010]

    P4180 [模板]严格次小生成树[BJWC2010] 题意 题目描述 小\(C\)最近学了很多最小生成树的算法,\(Prim\)算法.\(Kurskal\)算法.消圈算法等等.正当小\(C\)洋洋得 ...