图论的一些概念 支配集 覆盖集 独立集

根据《图论算法理论、实现及应用》整理的内容

点支配集(Vertex Dominating Set)

设无向图为G(V,E)，顶点集合V*$\subseteq$ V，若对于$\forall$ v $\in$ (V-V*)， $\exists$ u $\in$ V*,使得(u,v) $\in$ E，则称u支配v，V* 为G的一个点支配集。
通俗地讲，V中的顶点要么是V*集合中的元素，要么与V* 中的一个顶点相邻。

极小支配集: 若支配集V*的任何真子集都不是支配集，则称V*是极小支配集
最小支配集: 顶点数最少的支配集
点支配数: 最小支配集中的顶点数，记为$\gamma_0$(G), 或简记为$\gamma_0$。

---

点覆盖集(Vertex Covering Set)

设无向图为G(V,E)，顶点集合V* ⊆