支配集,点覆盖集,点独立集之间的联系
2016-03-02 14:51
218 查看
1.设无向图G(u,v)中无鼓舞顶点,则G的极大点独立集都是G的极小支配集。逆命题不成立
理解:设V*为G的一个极大点独立集,那么对于那些不属于V*的点,他们肯定跟V*里的某个点相连(否则就不是极大了),因此V*肯定是个支配集。而又由于V*里,全部的点都是独立的,所以。把不论什么一个点拿出V*后,该点跟V*中剩余的全部的点都没法相连。即无法被支配。
故在该条件下V*为极小支配集。
2 一个独立集是极大独立集,当且仅当它是一个支配集。
理解:设V*为G的一个极大点独立集,那么对于那些不属于V*的点,他们肯定跟V*里的某个点相连(否则就不是极大了),因此V*肯定是个支配集。
3 设无向图G(V,E)中无孤立点,顶点集合V*被包括于V,则V*是G的点覆盖。当且仅当V-V*是G的点独立集。
理解:设T为V-V*(即V*关于V的补集),那么,若T为点独立集,则说明,没有某条边的两个相关点都属于T。故全部的边的两个相关点中,至少有一个属于T的补集,即V*。则V*为G的点覆盖集。 反过来。若V*是G的点覆盖。则说明,全部的边的两个相关点中,至少有一个属于V*,因而在T中,不可能存在两个相邻的点,即T为点独立集。
推论:设G是n阶无孤立点的图。则V*是G的极小(最小)点覆盖,当且仅当V-V*是G的极大(最大)点独立集,从而有:点覆盖数+点独立数=n。
4 二部图的最小点覆盖=最大匹配
理解:由于我们要尽可能用少的点去覆盖全部的边,所以,对于二分图的x部,y部中的随意一部而言,一条边尽可能少的跟点相连(对于随意一部,最好仅仅跟一个点相连),那么这就是匹配问题了。可是我们又要把全部的边都覆盖进去。所以要求最大匹配,而当我们求得最大匹配后,其它边都能被最大匹配的点覆盖(若存在不能被覆盖的边,那么就不是最大匹配了)。
理解:设V*为G的一个极大点独立集,那么对于那些不属于V*的点,他们肯定跟V*里的某个点相连(否则就不是极大了),因此V*肯定是个支配集。而又由于V*里,全部的点都是独立的,所以。把不论什么一个点拿出V*后,该点跟V*中剩余的全部的点都没法相连。即无法被支配。
故在该条件下V*为极小支配集。
2 一个独立集是极大独立集,当且仅当它是一个支配集。
理解:设V*为G的一个极大点独立集,那么对于那些不属于V*的点,他们肯定跟V*里的某个点相连(否则就不是极大了),因此V*肯定是个支配集。
3 设无向图G(V,E)中无孤立点,顶点集合V*被包括于V,则V*是G的点覆盖。当且仅当V-V*是G的点独立集。
理解:设T为V-V*(即V*关于V的补集),那么,若T为点独立集,则说明,没有某条边的两个相关点都属于T。故全部的边的两个相关点中,至少有一个属于T的补集,即V*。则V*为G的点覆盖集。 反过来。若V*是G的点覆盖。则说明,全部的边的两个相关点中,至少有一个属于V*,因而在T中,不可能存在两个相邻的点,即T为点独立集。
推论:设G是n阶无孤立点的图。则V*是G的极小(最小)点覆盖,当且仅当V-V*是G的极大(最大)点独立集,从而有:点覆盖数+点独立数=n。
4 二部图的最小点覆盖=最大匹配
理解:由于我们要尽可能用少的点去覆盖全部的边,所以,对于二分图的x部,y部中的随意一部而言,一条边尽可能少的跟点相连(对于随意一部,最好仅仅跟一个点相连),那么这就是匹配问题了。可是我们又要把全部的边都覆盖进去。所以要求最大匹配,而当我们求得最大匹配后,其它边都能被最大匹配的点覆盖(若存在不能被覆盖的边,那么就不是最大匹配了)。
相关文章推荐
- Swagger PHP使用指南
- nginx+tomcat7+session复制 负载均衡
- SQL SERVER 统计SQL语句或存储过程执行时间
- java内存模型
- 51nod--任务执行顺序
- html标签不解析直接输出代码问题处理
- c++实验报告 打印图形
- android:inputType参数类型说明
- halcon学习笔记——(1)HDevelop language(语法结构特点)
- c++(复习)上机实验报告
- PAT 1103. Integer Factorization (30)
- Android Studio + JNI 实践~入门第一步
- RxJava操作符(二)Transforming Observables
- 通过 itms-services 协议,发布或者分享 iOS 应用程序
- 树莓派2 安装C#运行环境
- iOS学习----------AFNetworking(1)网络监控
- 循环练习题
- spring-cloud-feign案例
- java类型转化之SimpleDateFormat-时间转化
- 算法补习-第二天-排序(中)