支配集、覆盖集、独立集与匹配

注:下面的图G都为无向连通图


一、点支配


【支配】

对于图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的未盖点。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值