二分图konig定理证明

之前在网上看到了很多难懂的证明方法,这里说一种我觉得很简单的证明

首先是一个显然的性质:

最大匹配中:

所有的边,一定至少有一端是匹配边端点,否则的话就不是最大匹配

然后是讨论:
所有的边有3类:
1.左端点匹配

2.右端点匹配

3.左右端点都匹配

下面考虑这样一种选点方式:
所有的边(除匹配边外),左端点匹配就选择左端点(具体比较复杂,如果匹配边是独立的显然只选一个端点就行了)

否则就选择右端点,那么我们证明:

1.不存在边:两个端点都没选择(显然,根据刚才的选择策略,不存在这样的边)

2.不存在匹配边:两个端点都没选择

证毕。

原文地址:https://www.cnblogs.com/a-blog-of-taojiayi-2003/p/11656235.html

时间: 2024-08-04 03:30:45

二分图konig定理证明的相关文章

Konig定理及证明

Konig定理 由匈牙利数学家柯尼希(D.Konig)于1913年首先陈述的定理. 定理的内容:在0-1矩阵中,1的最大独立集合最小覆盖包含的元素个数相同,等价地,二分图中的最大匹配数等于这个图中的最小点覆盖数. 证明: 对于上面的二分图,它的最大匹配(不唯一)已经用红线标出来了, 然后我们对于右边或左边(这里按右边为例)没有匹配的点,我们从它出发走交替路(这里有介绍),会经过若干节点 将所有从右边没有匹配的点开始的交替路上的所有的点标注起来(如下图标蓝的点) 可以证明左边所有被标注的点都是被匹

数学定理证明机械化的中国学派(II)

所谓"学派"是指:存在一帮人,具有相同或接近的学术观点或学术立场,采用某种特定的"方法"(或途径),在一个学术方向上共同开展工作,并且做出了相当有迎影响的学术成就. 数学定理证明机械化的途径很多,但是,"吴方法"只有一种.什么是"吴方法"?我们拿初等(平面)几何学为例,所谓"吴方法"实质上就是"方程联立求证法".什么叫"方程联立求证法"呢? 比如说,我们需要求证一个几

赫尔布朗特定理开启自动定理证明的大门

1930年,年仅22岁的法国"小毛头"赫尔布朗特(Jacques Herbrand,1908-1931)在登山时遇难的前一年给我们留下了一条数理逻辑的基本定理:赫尔布朗特定理.这条定理有什么意义呢? 大家知道,在数理逻辑里面,引入量词符号"?"与"?",是很重要的,但是,对于数学自动鼎定理证明而言,量词符号"?"与"?"就是累赘.怎么办呢? 在所谓"一阶逻辑"里面,符号"?&q

数学定理证明机械化的中国学派(I)

1997年,吴文俊院士获得赫尔布朗特奖,说明了什么呢?首先,我们必须明确的是:赫尔布朗特奖是当今国际数学界自动定理证明研究领域的最高学术奖项.该奖项的授予标志着国际学术界(同仁)对获奖项目的一致认可. 回顾历年来,赫尔布朗特获奖者的名单如下: Larry Wos (1992) Woody Bledsoe (1994) John Alan Robinson (1996) Wu Wenjun (1997,吴文俊) Gérard Huet (1998) Robert S. Boyer and JStr

数学自动定理证明的前景

7月2日下午,北京市小学开始放暑假,二楼的小孙孙不停地大喊大叫,对此,我心中很烦.但是,上楼一看,发现小孙孙正在网络上与同学玩连网游戏,...引起我对往事的回忆. 上世纪50年代,通用计算机刚刚问世(1954年),数学家就在计算机上动脑筋了,想搞"机器自动定理证明".起初,他们(数学家)拿罗素名著"数学原理"开刀(小试牛刀),在三条推理规则(模块生成.变量代换与公式置换)的前提下,让计算机自动证明了"数学原理"中前54个定理的38个,可谓&quo

费马小定理证明

  费马小定理证明 费马小定理定义:假如p是质数,且gcd(a,p)=1,那么a^(p-1)≡1(mod p),就是说,如果p是质数,并且a与p互质,那么a的p-1次方膜上p恒等于1.下面给出证明: 例如:13是一个质数,那么1,2,3,4,5,6,7,8,9,10,11,12乘上一个与13互质的数,比如乘上3,得到3,6,9,12,15,18,21,24,27,30,33,36,   然后膜上13得到3,6,9,12,2,5,8,11,1,4,7,10,给这些数排序就会发现,他们就是1,2,3

算法及定理证明

RSA算法原理 黑客教程网址大全 扩展欧几里德算法 卡特兰数 莫比乌斯反演 反素数深度分析 可持久化线段树 STL Rope 位运算及位优化 最近公共祖先 LCA转RMQ 十个利用矩阵乘法解决的经典题目 多重背包 单调队列优化 线段树求矩形面积并 SPFA算法 c++ string用法 DAG图的最小路径覆盖 扩展KMP 二分图最大匹配的K?nig定理及其证明

lucas定理证明

Lucas 定理(证明) A.B是非负整数,p是质数.AB写成p进制:A=a[n]a[n-1]...a[0],B=b[n]b[n-1]...b[0]. 则组合数C(A,B)与C(a[n],b[n])*C(a[n-1],b[n-1])*...*C(a[0],b[0])  mod p 相同 即:Lucas(n,m,p)=c(n%p,m%p)*Lucas(n/p,m/p,p) 证明: 首先我们注意到 n=(ak...a2,a1,a0)p  =  (ak...a2,a1)p * p + a0 =  [n

[数分笔记]用Dedekind切割定理证明确界定理

1.定理内容 Dedekind切割定理:设是实数集的一个切割,则或者有最大数,或者有最小数. 确界定理:非空有上界的数集必有上确界,非空有下界的数集必有下确界. 2.证明过程 设非空数集有上界 记,即是上界的集合 令的补集为,即 从而形成实数集的一个切割 由Dedekind定理知,要么有最大数,要么有最小数 若有最大数,设是的最大数 由于,所以不是的上界 从而,s.t 那么,从而也不是的上界,故 与是的最大数矛盾,从而没有最大数 所以有最小数 即有最小上界,即上确界 #