关于独立集,覆盖集,支配集与匹配的一些定理及部分简单证明(下)
2013-09-19 15:03
288 查看
一. 设无向图G的顶点个数为n,且无孤立顶点,则
① 设M为G的一个最大匹配,对于G中M的每个未盖点v,选取一条与v关联的边所组成边的集合为N,则W=M∨N为G中的最小边覆盖。
②设W1为G的最小边覆盖,若G中存在相邻的边就移去其中一条,设移去的边集为N1,则M1=W1-N1为G中的一个最大匹配。
③边覆盖数+边独立数=n。
二.对于二部图
①二部图的点覆盖数等于匹配数。
(该定理正确性可从求法上看出,二部图的匹配数可用网络流来做,最大流即最大匹配,而点覆盖数也是用网络流来做,而且建图方式相同,然后求最小割,因为最大流等于最小割,所以原定理成立。)
②点独立数=顶点个数n-匹配数(由二①)
① 设M为G的一个最大匹配,对于G中M的每个未盖点v,选取一条与v关联的边所组成边的集合为N,则W=M∨N为G中的最小边覆盖。
②设W1为G的最小边覆盖,若G中存在相邻的边就移去其中一条,设移去的边集为N1,则M1=W1-N1为G中的一个最大匹配。
③边覆盖数+边独立数=n。
二.对于二部图
①二部图的点覆盖数等于匹配数。
(该定理正确性可从求法上看出,二部图的匹配数可用网络流来做,最大流即最大匹配,而点覆盖数也是用网络流来做,而且建图方式相同,然后求最小割,因为最大流等于最小割,所以原定理成立。)
②点独立数=顶点个数n-匹配数(由二①)
相关文章推荐
- 关于独立集,覆盖集,支配集与匹配的一些定理及部分简单证明(上)
- 关于独立集,覆盖集,支配集与匹配的一些定理及部分简单证明(上)
- 关于独立集,覆盖集,支配集与匹配的一些定理及部分简单证明(下)
- 图论的一些概念 支配集 覆盖集 独立集
- 图论小结(一)包括一些最短路,最小生成树,差分约束,欧拉回路,的经典题和变种题。强连通,双连通,割点割桥的应用。二分匹配,KM,支配集,独立集,还有2-SAT。
- 支配集,覆盖集,独立集与匹配
- 支配集、覆盖集、独立集与匹配
- 【学习笔记】 支配集、覆盖集、独立集与匹配
- 支配集、覆盖集、独立集与匹配
- 【学习笔记】 支配集、覆盖集、独立集与匹配
- 二分图 最小覆盖数 = 最大匹配数、最大独立集 = 总数-最小覆盖集 证明 hdu 1068
- 二分图相关定理及其证明(最小点覆盖+最小路径覆盖+最大独立集+最小覆盖集)
- 独立集,覆盖集,支配集,最大团,最大匹配
- 支配集、覆盖集、独立集、匹配与着色
- 独立集,覆盖集,支配集,最大团,最大匹配
- Visual Studio 2017中使用正则修改部分内容 如何使用ILAsm与ILDasm修改.Net exe(dll)文件 C#学习-图解教程(1):格式化数字字符串 小程序开发之图片转Base64(C#、.Net) jquery遍历table为每一个单元格取值及赋值 。net加密解密相关方法 .net关于坐标之间一些简单操作
- 支配集、覆盖集、独立集、匹配与着色
- 独立集,覆盖集,支配集,最大团,最大匹配
- 关于凸优化的一些简单概念
- 自制简单的Java下载器——来自《Java高级编程》的一个关于线程的例子(带上部分注释)