图论复习（三）——独立集、支配集与匹配

---

文章截图片来自杨映雪老师ppt

前言

---

一、概念

1.独立集：图的一个顶点子集S，该子集中的任意两个项点在图中不相邻。

极大独立集：如果在一个独立集S中任意增加一个结点后，S就不是独立集，那么称S为极大独立集。

最大独立集：极大独立集中基数 |S| 最大的独立集称为最大独立集。其基数称为独立数，记作a(G)。

2.点覆盖：图的一个顶点子集S，图G的每一条边至少有一个端点在S中。

极小点覆盖：如果S是一个点覆盖，从S中任意去除一个结点后都不再是点覆盖，那么称为极小点覆盖。

最小点覆盖：极小点覆盖中基数 |S| 最小的点覆盖称为最小点覆盖。其基数称为G的点覆盖数，记作β(G)。

3.边覆盖：图的一个边集L，边集L中的边与图G的每个结点都关联。

极小边覆盖：如果L是边覆盖，从L中任意删去一边后不能不能关联图G所有的结点，那么就称L为极小边覆盖。

最小边覆盖：极小边覆盖中基数|L|最小的边覆盖称为最小边覆盖。基数称为边覆盖数，记作θ(G)。

4.极大团：结点集T是图G的一个子集，如果 T中任意两个结点都相邻，则称T为图G的团。如果增加一个新结点后不为团。则称T为图G的极大团。

5.支配集：

通俗的说，支配集就是集合S中的结点都能与V-S中的结点相关联。

例题：

二、布尔变量运算求极大独立集

布尔运算法则：

极大独立集计算方法：

例题：

思想：极大独立集中关联的两个结点不能同时存在与独立集中。

三、求极小点覆盖

四、独立集与点覆盖关系

五、用无向图的邻接矩阵求极大独立集和极小支配集

将无向图的邻接矩阵经过矩阵平移变换交换对应行和列的位置之后，形成上述形式的标准型。O处的结点数就是所求的极大独立集，同时它的结点补集就是极小点覆盖。

例题：

六、利用向量和法求极大独立集。

七、极小支配集计算

参考博客链接

八、支配集相关定理