图论支配集、点独立集、点覆盖集

例图：

• 点支配集：（个人理解就是点覆盖所有点）
  给定无向图G =（V , E）,其中V是点集， E是边集， 称V的一个子集S称为支配集当且仅当对于V-S中任何一个点v, 都有S中的某个点u, 使得(u, v) ∈E。
  举个例子：下图的极小支配集为{V1,V5}，{V3，V6}，{V2,V4,V6}
  PS:极小指如果再减小集合的任一一个顶点都不能构成支配集
  该图的支配数为2，即至少需要两个顶点才能构成支配集

                         {V1,V5}构成点支配集的图
  

• 点独立集
  给定无向图G =（V , E）,其中V是点集， E是边集， 称V的一个子集S称为点独立集当且仅当对于S中任何一对顶点(a,b), 都有不存在边（u,v） 使得(u, v) ∈E。（即点独立集中任一两个顶点不相邻）
  上图的极大点独立集为{V1,V5}，{V2,V3,V7},{V3,V6}
  PS：极大指再添加任何一个顶点都不构成独立集
  点独立数为3，即至多可以有3个顶点构成的点独立集

    			 {V1,V6}构成的点独立集图 
  

• 点覆盖集（个人理解就是点覆盖所有边）
  给定无向图G =（V , E）,其中V是点集， E是边集， 称V的一个子集S称为点覆盖集当且仅当对于G中任何一边e∈E都有至少一个端点u∈S。（即点覆盖集覆盖所有边）
  例如上图中的一个极小点覆盖集{V1,V2,V5,V6}
  PS:极小指再添加其中的任一个顶点都不构成点覆盖集
  点覆盖数为4，即至少需要4个顶点才能构成点覆盖集

                   {V1,V2,V5,V6}构成的点覆盖集图
  

  
  这几个概念实在很容易混乱，希望这几个图能帮助大家理解~
  有些定义是按照自己定义去写的，非标准定义，如果有错误，欢迎大家批评指正!