支配集、覆盖集、独立集与匹配
2015-08-10 20:47
211 查看
注:下面的图G都为无向连通图
一、点支配
【支配】
对于图G中顶点集合V中的某一个点A与另一个点B有边链接,叫做点A支配B。
【点支配集】
对于图G中顶点集合V中的某个顶点子集V',可以支配V-V'中的其他点,这个点集V'就是点支配集。
【极小支配集】
对于支配集V,他的任何真子集都不是支配集,就称为V是极小支配集。
【最小支配集】
顶点数最小的支配集就是最小支配集。
注意:极小支配集和最小支配集不是一个含义。
![](http://img.blog.csdn.net/20140203115420750?watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvbGluMzc1NjkxMDEx/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/SouthEast)
![](http://blog.csdn.net/lin375691011/article/details/18908423)
例如当前图中有一个极小支配集{1,3,5},因为他的任何真子集都不是支配集。但是最小支配集是{2,4}
【点支配数】
最小点支配集中点的个数被称为点支配数。
点支配集性质:当一个图没有孤立顶点时,如果V'是点支配集,那么V-V'也是点支配集。
二、点覆盖
【覆盖】
对于图G上的某一点A,已知有一边E与它链接,点A就覆盖了边E。(这里是点对于边的覆盖)
【点覆盖集】
对于图G,其顶点集合V的子集V'可以覆盖其边集合E中的所有边。那么V'就是点覆盖集。
【极小点覆盖集】
若点覆盖集V'的任何真子集都不是点覆盖集,则称V'是极小点覆盖集。
【最小点覆盖集】
顶点个数最少的点覆盖集称为最小点覆盖集。
注:极小点覆盖集和最小点覆盖集不是同一个概念,理由同极小点支配集和最小点支配集。
【点覆盖数】
最小点覆盖集中的顶点数称为点覆盖数。
三、点独立
【独立】
在图G中,如果点A与点B没有边直接相连,两点间不相邻。就称这两点间独立。(这里是关于点的独立)
【点独立集】
在图G中,顶点集合V的子集V'中的任何两点间均独立,则称V'为点独立集。
【极大点独立集】
若向顶点子集V'中再加入任何其他顶点时V'都不将是点独立集,就称V'是极大点独立集。
【最大点独立集】
顶点数最多的点独立集就是最大点独立集。
【点独立数】
最大点独立集中顶点的个数称为点独立数。
四、边覆盖
【覆盖】
在图G中,对于某一条边E与他的两端点A、B,我们称E覆盖了点A、B。(这里是关于边的覆盖)
【边覆盖集】
在图G中,对于边的集合E的子集E'其中的所有边可以把图G中的顶点集合V中的所有点覆盖,则称E'为边覆盖集。
【极小边覆盖集】
若边覆盖集E'的任何真子集都不是边覆盖集,则称E'为极小边覆盖集。
【最小边覆盖集】
边数最少的边覆盖集称为最小边覆盖集。
【边覆盖数】
最小边覆盖集中的边的数量称为边覆盖数。
五、边独立(匹配)
【独立】
在图G中,若边A与边B没有公共顶点,则称这两条边相互独立。(这里是边独立)
【边独立集(匹配)】
在图G中,对于边的集合E的子集E',其中的任何两条边均独立,集合E'就称为边独立集。也称为E'为图G的匹配
【极大匹配(极大边独立集)】
在图G中,对于边的集合E的子集E',如果E'为边独立集且再加入任何一条边都不再是边独立集,则E'被称为极大匹配(极大边独立集)。
【最大匹配(最大边独立集)】
边数最多的匹配称为最大匹配(最大边独立集)。
【边独立数】
最大匹配中边的数量叫做边独立数
【盖点与未盖点】
对图G(U,V)给定的匹配M来说:
1、如果顶点集合V中某点v是M中某个边的端点,则称v是M的盖点。
2、如果顶点集合V中某点v不是M中任何边的端点,则称v是M的未盖点。
一、点支配
【支配】
对于图G中顶点集合V中的某一个点A与另一个点B有边链接,叫做点A支配B。
【点支配集】
对于图G中顶点集合V中的某个顶点子集V',可以支配V-V'中的其他点,这个点集V'就是点支配集。
【极小支配集】
对于支配集V,他的任何真子集都不是支配集,就称为V是极小支配集。
【最小支配集】
顶点数最小的支配集就是最小支配集。
注意:极小支配集和最小支配集不是一个含义。
例如当前图中有一个极小支配集{1,3,5},因为他的任何真子集都不是支配集。但是最小支配集是{2,4}
【点支配数】
最小点支配集中点的个数被称为点支配数。
点支配集性质:当一个图没有孤立顶点时,如果V'是点支配集,那么V-V'也是点支配集。
二、点覆盖
【覆盖】
对于图G上的某一点A,已知有一边E与它链接,点A就覆盖了边E。(这里是点对于边的覆盖)
【点覆盖集】
对于图G,其顶点集合V的子集V'可以覆盖其边集合E中的所有边。那么V'就是点覆盖集。
【极小点覆盖集】
若点覆盖集V'的任何真子集都不是点覆盖集,则称V'是极小点覆盖集。
【最小点覆盖集】
顶点个数最少的点覆盖集称为最小点覆盖集。
注:极小点覆盖集和最小点覆盖集不是同一个概念,理由同极小点支配集和最小点支配集。
【点覆盖数】
最小点覆盖集中的顶点数称为点覆盖数。
三、点独立
【独立】
在图G中,如果点A与点B没有边直接相连,两点间不相邻。就称这两点间独立。(这里是关于点的独立)
【点独立集】
在图G中,顶点集合V的子集V'中的任何两点间均独立,则称V'为点独立集。
【极大点独立集】
若向顶点子集V'中再加入任何其他顶点时V'都不将是点独立集,就称V'是极大点独立集。
【最大点独立集】
顶点数最多的点独立集就是最大点独立集。
【点独立数】
最大点独立集中顶点的个数称为点独立数。
四、边覆盖
【覆盖】
在图G中,对于某一条边E与他的两端点A、B,我们称E覆盖了点A、B。(这里是关于边的覆盖)
【边覆盖集】
在图G中,对于边的集合E的子集E'其中的所有边可以把图G中的顶点集合V中的所有点覆盖,则称E'为边覆盖集。
【极小边覆盖集】
若边覆盖集E'的任何真子集都不是边覆盖集,则称E'为极小边覆盖集。
【最小边覆盖集】
边数最少的边覆盖集称为最小边覆盖集。
【边覆盖数】
最小边覆盖集中的边的数量称为边覆盖数。
五、边独立(匹配)
【独立】
在图G中,若边A与边B没有公共顶点,则称这两条边相互独立。(这里是边独立)
【边独立集(匹配)】
在图G中,对于边的集合E的子集E',其中的任何两条边均独立,集合E'就称为边独立集。也称为E'为图G的匹配
【极大匹配(极大边独立集)】
在图G中,对于边的集合E的子集E',如果E'为边独立集且再加入任何一条边都不再是边独立集,则E'被称为极大匹配(极大边独立集)。
【最大匹配(最大边独立集)】
边数最多的匹配称为最大匹配(最大边独立集)。
【边独立数】
最大匹配中边的数量叫做边独立数
【盖点与未盖点】
对图G(U,V)给定的匹配M来说:
1、如果顶点集合V中某点v是M中某个边的端点,则称v是M的盖点。
2、如果顶点集合V中某点v不是M中任何边的端点,则称v是M的未盖点。
相关文章推荐
- Centos7安装mysql
- 实训第一天--增删改查加hibernate+搭建环境常见问题
- 初入java路,面试屡碰壁。
- python:5、函数1
- 3.【SELinux学习笔记】架构
- 月光微博客
- OC中@property的各种属性的使用详解
- 高性能网络编程4--TCP连接的关闭
- Poj 2002 Squares(二分&&STL)
- hdoj1159 Common Subsequence
- java中的匿名内部类总结
- 什么是类。什么是对象
- 一起talk C栗子吧(第三十四回:C语言实例--巧用溢出计算最值)
- UITextField值变化则赋值的小技巧
- hdu 1045 Fire Net(最小覆盖点+构图(缩点))
- axel 中处理数据的mysql语句
- Frequently Used Algo
- extern “C” 的使用
- CSS和HTML的结合方式
- 高性能网络编程3----TCP消息的接收