二分图的最大独立集
2017-09-20 12:53
120 查看
如果一个图是二分图,那么它的最大独立集就是多项式时间可以解决的问题了 |最大独立集| = |V|-|最大匹配数|
证明:
设最大独立集数为U,最大匹配数为M,M覆盖的顶点集合为EM。
为了证明|U|=|V|-|M|,我们分两步证明|U|<=|V|-|M|和|U|>=|V|-|M|
1 .先证明 |U|<=|V|-|M|
M中的两个端点是连接的,所有M中必有一个点不在|U|集合中,所以|M|<=|V|-|U|
2. 再证明|U|>=|V|-|M|
假设(x,y)属于M
首先我们知道一定有|U|>=|V|-|EM|,那么我们将M集合中的一个端点放入U中可以吗?
假设存在(a,x),(b,y),(a,b)不在EM集合中
如果(a,b)连接,则有一个更大的匹配存在,矛盾
如果(a,b)不连接,a->x->y->b有一个新的增广路,因此有一个更大的匹配,矛盾
所以我们可以了解到取M中的一个端点放入U中肯定不会和U中的任何一个点相连,所以|U|>=|V|-|EM|+|M|=|V|-|M|
所以,|U|=|V|-|M|
例题:
http://blog.csdn.net/acmman/article/details/38564159
证明:
设最大独立集数为U,最大匹配数为M,M覆盖的顶点集合为EM。
为了证明|U|=|V|-|M|,我们分两步证明|U|<=|V|-|M|和|U|>=|V|-|M|
1 .先证明 |U|<=|V|-|M|
M中的两个端点是连接的,所有M中必有一个点不在|U|集合中,所以|M|<=|V|-|U|
2. 再证明|U|>=|V|-|M|
假设(x,y)属于M
首先我们知道一定有|U|>=|V|-|EM|,那么我们将M集合中的一个端点放入U中可以吗?
假设存在(a,x),(b,y),(a,b)不在EM集合中
如果(a,b)连接,则有一个更大的匹配存在,矛盾
如果(a,b)不连接,a->x->y->b有一个新的增广路,因此有一个更大的匹配,矛盾
所以我们可以了解到取M中的一个端点放入U中肯定不会和U中的任何一个点相连,所以|U|>=|V|-|EM|+|M|=|V|-|M|
所以,|U|=|V|-|M|
例题:
http://blog.csdn.net/acmman/article/details/38564159
相关文章推荐
- 【bzoj3175】【TJOI2013】【攻击装置】【二分图最大独立集】
- hdu1565 方格取数 最大流(二分图极大点权独立集) 或状态压缩dp
- hiho一下 第三十五周 :二分图三·二分图最小点覆盖和最大独立集
- 二分图中对最小顶点覆盖、最小边覆盖、最大独立集的理解
- poj3692 Kindergarten 二分图最大独立集
- 二分图 最小覆盖数 = 最大匹配数、最大独立集 = 总数-最小覆盖集 证明 hdu 1068
- 二分图:最大独立集&最大匹配&最小顶点覆盖
- hdu5556 2015ACM合肥现场赛题 二分图最大独立集
- 二分图相关拓展(抽象模型,最小顶点覆盖,边的最小覆盖,最大独立集,最大团)
- 二分图中对最小顶点覆盖、最小边覆盖、最大独立集的理解
- poj 2594 二分图最大独立集
- POJ-1466 Girls and Boys (二分图最大独立集)
- BZOJ 2718: [Violet 4]毕业旅行 二分图最大点独立集 传递闭包
- BZOJ 1143: [CTSC2008]祭祀river 二分图,最大独立集,Floyd闭包
- bzoj3175 [Tjoi2013]攻击装置(二分图最大点独立集)
- 二分图最大匹配 & 最大独立集
- hdu3829(二分图,最大独立集)
- 【loj】#6007. 「网络流 24 题」方格取数(二分图最大点权独立集)
- BZOJ 4808: 马【二分图】【最大独立集】
- hdu1068【二分图最大独立集】