最小点集覆盖=最大匹配<二分图>/证明
来源:互联网 发布:网络研发人员薪酬设计 编辑:程序博客网 时间:2024/05/18 01:50
来源
最小点集覆盖==最大匹配。
首先,最小点集覆盖一定>=最大匹配,因为假设最大匹配为n,那么我们就得到了n条互不相邻的边,光覆盖这些边就要用到n个点。
现在我们来思考为什么最小点击覆盖一定<=最大匹配。
任何一种n个点的最小点集覆盖,一定可以转化成一个n的最大匹配。因为最小点集覆盖中的每个点都能找到至少一条只有一个端点在点集中的边。
如果找不到则说明该点所有的边的另外一个端点都被覆盖,所以该点则没必要被覆盖,和它在最小点集覆盖中相矛盾。
多个覆盖点都只能选则同一个点组成匹配的情况是不会出现的。因为如果出现这种情况的话,那么这几个点一定不是最小点集覆盖。因为这几个点(设为点集合S)既然只有一个点A可以组成匹配,说明这些S中的点除去与点A的边之外的其他边的另一端都是覆盖点,即S中点的其他边都已被其他点覆盖到,S里点被选为覆盖集是要覆盖S与A连接的那条边,所以最小点集覆盖应该选那个点A即可覆盖这些边,而不选S中的点。
只要每个端点都选择一个这样的边,就必然能转化为一个匹配数与点集覆盖的点数相等的匹配方案。所以最大匹配至少为最小点集覆盖数,即最小点集覆盖一定<=最大匹配。
0 0
- 最小点集覆盖=最大匹配<二分图>/证明
- 证明二分图最大匹配=二分图最小点集覆盖
- 证明二分图最小点集覆盖=二分图最大匹配
- 最小点覆盖和二分图最大匹配(证明)
- 二分图最大匹配,最小点覆盖,最大独立集 证明
- 最小点集覆盖==最大匹配 证明
- 二分图 最小覆盖数 = 最大匹配数、最大独立集 = 总数-最小覆盖集 证明 hdu 1068
- 二分图最大匹配,最小点覆盖,最小路径覆盖,二分图最大独立集
- 关于二分图最大匹配等于最小点覆盖的证明
- 二分图-最大匹配,最小路径覆盖,最小点覆盖
- hdu 1150 二分图 最小点覆盖=最大匹配
- HDU2119_Matrix(二分图/最小点覆盖=最大匹配)
- 二分图最大匹配的König定理及其证明(最小点覆盖等于最大匹配数)
- 二分图相关定理及其证明(最小点覆盖+最小路径覆盖+最大独立集+最小覆盖集)
- 二分图最大匹配,最小路径覆盖,最小点覆盖,最大独立集,最小边覆盖与建图方法
- 二分图最大匹配的König定理及其证明 (最小覆盖集)
- hdu 4160 Dolls--最小点集覆盖=V-二分图最大匹配
- NYOJ 237 游戏高手的烦恼 最小点集覆盖 = 二分图最大匹配
- Node——内存控制
- matplotlib运行时keyError:ffmpeg
- IM模块--点击按钮显示照片视图
- Inp files for dielectric elastomer
- Java使用【网易云信】短信接口,给手机用户发送并校验验证码
- 最小点集覆盖=最大匹配<二分图>/证明
- 基于cestos6.5_64bit_MySql5.7.14数据库的安装以及主从复制的配置
- 2018 母牛的故事
- 代码混淆后日志的解读工具-retrace
- Gson解析Json数组
- [JQuery,前端]jQuery表格插件datatables用法汇总
- 实用代码块
- C#控制台基础 helloworld之 使用没有约束的泛型类中的泛型方法输出
- 抽象类跟接口