离散数学复习笔记——支配集，覆盖集，独立集，匹配

支配集，覆盖集，独立集，匹配

概念

支配集

支配集：该图的除了支配集之外的点都与支配集相连，集合中的点将整个图支配了

极小支配集：$V^{\ast }$是支配集，其真子集不是

最小支配集：|V*|点数最小的支配集

支配数：${\gamma }_0(G)=|V^{\ast }|$最小支配集的点数

定理13.1：无向图G无孤立点,V1是极小支配集,则存在V2也是极小支配集,且V1∩V2=$\varnothing$

独立集

独立集：集合中的点相互之间没有连线

极大独立集：$V^{\ast }$是独立集，其真母集不是

最大独立集：|$V^{\ast }$|最大的独立集

独立数：${\beta }_0(G)=|V^{\ast }|$最大独立集的点数

定理13.2：无向图G无孤立点，$V^{\ast }$是极大独立集，则$V^{\ast }$也是极小支配集(逆命题不成立)

点覆盖

点覆盖：点集合与图中所有的边关联

极小点覆盖：$V^{\ast }$是点覆盖，其真子集不是

最小点覆盖: $|V^{\ast }|$的顶点数最小

点覆盖数：${\alpha }_0(G)=|V^{\ast }|$最小点覆盖的顶点数

点覆盖是支配集

支配集不一定是点覆盖

极小点覆盖不一定是极小支配集

定理13.3：$V^{\ast }是点覆盖\iff V-V^{\ast }是独立集$

推论：无向图G无孤立点，$V^{\ast }是极小点覆盖\iff V-V^{\ast }是极大独立集,且{\alpha }_0+{\beta }_0=n$

团

团: G[V*]是完全子图

极大团：V*是团，其真母集都不是

最大团：|V*|最大的团

团数：$v_0(G)=|V^{\ast }|$，V*是最大团

定理13.4：无向图G，$V^{\ast }是G的团\iff V^{\ast }是\overline{G}的独立集$

推论：无向图G，$V^{\ast }是G的极(最)大团\iff V^{\ast }是\overline{G}的极(最)大独立集，v_0(G)={\beta }_0(\overline{G})$

边覆盖和匹配

边覆盖

边覆盖:边将所有点覆盖了

极小边覆盖：真母集不是边覆盖

最小边覆盖：边数最小的边覆盖

边覆盖数：${\alpha }_1(G)=|E^{\ast }|$,最小边覆盖的边数

匹配

匹配：边独立集，匹配中任意两边不相邻

极大匹配：真母集不是匹配

最大匹配：边数最大的匹配

匹配数：${\beta }_1(G)=|E^{\ast }|$,最大匹配的边数

定理13.5

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

设M是G中匹配

饱和点：v与M中边关联

非饱和点：v不与M中边关联

交错路径(圈)：在M和E-M中交替取边的路径(圈)

可增广交错路径：两端都是非饱和点的交错路径

最大匹配

定理13.7：$n设M1,M2是G中2个不同匹配,则G[M1\oplus M2]的每个连通分支是M1,M2中的边组成的交错圈或交错路径$

定理13.8：$设M是G中匹配,\Gamma 是M的可增广路径,则M’=M\oplus E(\Gamma )也是G中匹配,且|M’|=|M|+1$

定理13.9：$M是G中最大匹配\iff G中无M可增广路径$

完美匹配

完美匹配：图中没有非饱和点的匹配

定理13.10（完美匹配的充要条件）：$G有完美匹配\iff \forall V^{\prime }\subset V(G),p_{奇}(G-V^{\prime })\le |V^{\prime }|$

$p_{奇}$是奇数阶连通分支数

推论：无桥3正则图有完美匹配

二部图中的匹配(t条件，Hall条件)

完备匹配：|M|=|$V_1$|

t条件（判断有无完备匹配）：$\forall v\in V_1,d(v)\ge t;\forall v\in V_2,d(v)\le t$

定理13.11(Hall定理)：$n二部图G=<V1,V2,E>,|V1|\le |V2|,二部图G有完备匹配\iff G满足Hall条件(|S|\le |N(S)|)$

Hall条件: $从二部图中点少的一方V_1中任取一些点，V_2中与这部分相连的点的数量总是大于等于这些V_1中点的数量$

K正则二部图

定理13.13：$设G=<V1,V2,E>是k正则二部图,则G中存在k个边不重的完美匹配$

定理13.14:$设G=<V1,V2,E>是无孤立点二部图,则{\alpha }_0={\beta }_1$(点覆盖数等于匹配数)