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

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

概念

支配集

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

极小支配集：$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-$