离散数学·支配集、覆盖集、独立集和匹配

call me by ur name

已于 2023-02-15 20:01:35 修改

阅读量2.2k

点赞数 1

文章标签：算法

于 2022-12-10 22:07:09 首次发布

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/qq_61786525/article/details/128126098

版权

支配集

在这里插入图片描述
简而言之——V-支配集后剩下的点，都能在支配集中找到相邻的点
支配数的符号是γ₀（有关点的集，下标为0）

例

在这里插入图片描述
右下角相同颜色的为同一个支配集
要注意极小性
整个V就是支配集（所以说支配集找极大没有意义，只能找极小）

独立集

在这里插入图片描述
简而言之——在V^*中每个点都是不相邻的（相互都没有边）

例

在这里插入图片描述
任何单个点的点集都是独立集（所以说独立集找极小没有意义，只能找极大），但是因为极大独立集的存在，所以有部分这样的独立集被覆盖

定理

在这里插入图片描述
证明仍是多用反证法
逆命题不成立

点覆盖

在这里插入图片描述
简而言之——V^*中的点能将G中所有的边都关联上
极小性

例

在这里插入图片描述

定理

在这里插入图片描述
等价符号↔，要证明两个：从左边到右边，从右边到左边
仍然是反证法

推论

在这里插入图片描述

计算方法

在这里插入图片描述
v+与v相邻的点

a：只有b点
b：有a,b,c，所以加上a,b,c
c：有d,b

在这里插入图片描述

每一条边相乘一条边的2个关联点，用相加进行联系

ɑ₀+β₀=n

在这里插入图片描述
用性质：极大独立集的相对补集是极小点覆盖

边覆盖

在这里插入图片描述
简而言之——E^*中的边能将G中所有的点关联

例

在这里插入图片描述

匹配

在这里插入图片描述
简而言之——E^*中的边互不相邻（边独立集）

例

在这里插入图片描述

饱和点、增广路径、交错路径

在这里插入图片描述
饱和点——与匹配集中的边关联的点
非饱和点——不关联
一般用M代表匹配

例

在这里插入图片描述

ɑ₁+β₁=n

完美匹配

完美匹配：没有非饱和点的匹配若图中的一个匹配，包括了图中的所有点，则称这个匹配为完美匹配

例

在这里插入图片描述

最大匹配

在这里插入图片描述

完备匹配

在这里插入图片描述

Hall条件——弱化版的点支配集
t条件——在V₁中有点的度数大于t，在V₂中有点的度数小于t2023.2.14复习

练习

4

在这里插入图片描述

8

在这里插入图片描述

call me by ur name

关注

1
点赞
踩
13

收藏

觉得还不错? 一键收藏
0
评论
离散数学·支配集、覆盖集、独立集和匹配

简而言之——V-支配集后剩下的点，都能在支配集中找到相邻的点支配数的符号是γ（有关点的集，下标为0）
复制链接

扫一扫

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

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