poj3020

首先明确几个概念

设G为无向图，有：

（1）点支配集

设G=<V,E>，V*属于V.
(1) V*为支配集——任意vi属于（V-V*）,存在vj属于V*，使得(vi,vj)属于E 
(2) V*为极小支配集——V*的真子集不是支配集
(3) 最小支配集——元素最少的支配集
(4) 支配数γ0(G)——最小支配集中的元素个数

（2）点独立集

设G=<V,E>，V*属于V.
(1) 点独立集V*——V*中顶点彼此不相邻
(2) V*为极大点独立集——V*中再加入任何顶点就不是点独立集
(3) 最大点独立集——元素最多的点独立集
(4) 点独立数——最大点独立集中的元素个数，记为β0 

（3）点覆盖数

设G=<V,E>, V*属于V.
(1) V*是点覆盖集——任意e属于E，存在v属于V*，使e与v关联
(2) V*是极小点覆盖集——V*的任何真子集都不是点覆盖集
(3) 最小点覆盖集(或最小点覆盖)——顶点数最少的点覆盖集
(4) 点覆盖数——α0(G)——最小点覆盖的元素个数

（4）边覆盖集

设G=<V,E>，E*属于E，
(1) E* 为边覆盖集——任意v属于V，存在e属于E，使得v与e关联
(2) E* 为极小边覆盖——E* 的真子集不是边覆盖
(3) 最小边覆盖——边数最少的边覆盖
(4) 边覆盖数α1——最小边覆盖中元素个数

（5）匹配

设G=<V,E>, E*属于E，
(1) 匹配(边独立集)E*——E*中各边均不相邻
(2) 极大匹配E*——E*中不能再加其他边了
(3) 最大匹配——边数最多的匹配
(4) 匹配数——最大匹配中的边数，记为β1 

（6）匹配及其他概念

设M为G中一个匹配.
(1) vi 与vj 被M匹配——(vi,vj)属于M
(2) v为M饱和点——有M中边与v关联
(3) v为M非饱和点——无M中边与v关联
(4) M为完美匹配——G中无M非饱和点
(5) M的交错路径——从M与E-M中交替取边构成的G中路径
(6) M的可增广交错路径——起、终点都是M非饱和点的交错路径
(7) M的交错圈——由M与E-M中的边交替出现构成的G中圈

（7）完美匹配

设G=<V1,V2,E>为二部图，|V1|≤|V2|，M是G中
最大匹配，若V1中顶点全是M饱和点，则称M为G中完备匹
配. 
|V1|=|V2| 时完备匹配变成完美匹配.

我的理解：

独立集：
    独立集是指图的顶点集的一个子集,该子集的导出子图不含边.如果一个独立集不是任何一个独立集的子集, 那么称这个独立集是一个极大独立集.一个图中包含顶点数目最多的独立集称为最大独立集。最大独立集一定是极大独立集，但是极大独立集不一定是最大的独立集。
支配集：
    与独立集相对应的就是支配集ÿ