例图:
-
点支配集:(个人理解就是点覆盖所有点)
给定无向图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}构成的点覆盖集图
这几个概念实在很容易混乱,希望这几个图能帮助大家理解~
有些定义是按照自己定义去写的,非标准定义,如果有错误,欢迎大家批评指正!