支配集、覆盖集、独立集与匹配

图论中支配集、覆盖集、独立集与匹配基本概念及关系

摘自：《图论算法理论、实现及应用》

1) 点支配集，极小点支配集，最小点支配集，点支配数 － γ0(G)；

点支配的概念 － 顶点支配顶点；

2) 点覆盖集，极小点覆盖集，最小点覆盖集，点覆盖数 － α0(G)；

点覆盖的概念 －顶点集合的子集覆盖住所有边；

3) 点独立集，极大点独立集，最大点独立集，点独立数 － β0(G)；

4) 边覆盖集，极小边覆盖集，最小边覆盖集，边覆盖数 － α1(G)；

边覆盖的概念 －边集合的子集覆盖住所有顶点；

5) 边独立集（匹配），极大边独立集（极大匹配），最大边独立集（最大匹配），边独立数（或匹配数） － β1(G)。

以上几个量存在以下关系（设无向图G 有n 个顶点，且没有孤立顶点）：

α0 ＋ β0 ＝ n，即：点覆盖数 +点独立数 = n 

α1 ＋ β1 ＝ n，即：边覆盖数 +边独立数 = n

对二部图（设无向二部图G 有n 个顶点，且没有孤立顶点），还有以下关系式：

1) 二部图的点覆盖数α0 ＝匹配数β1。

2) 二部图的点独立数β0 ＝ 顶点个数n － 匹配数β1 =边覆盖数α1。