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

在无向网络G(V,E)中，V*是V的子集，E*是E的子集。

---

点支配集：
所谓点支配集就是v*中的顶点能够支配v-v*中的每一个顶点，即v-v*中的顶点都是v*中某个顶点的邻接顶点。或则说v中的顶点要么是v*中的顶点要么是与v*相邻的顶点。
极小支配集：若v*的任何真子集都不是支配集，则称v*是极小支配集。
最小支配集：顶点数最小的支配集称为最小支配集。其顶点数称为点支配数。

---

点覆盖集：
所谓点覆盖集v*,就是G中的所有的边至少有一个顶点属于v*.
极小点覆盖集：若v*的任何真子集都不是点覆盖集，则称v*是极小点覆盖集。
最小点覆盖集：顶点数最小的点覆盖集称为最小点覆盖集。其顶点数称为点覆盖数。其顶点数称为点覆盖数。

---

点独立集：
v*中任意两个顶点不相邻。
*极大点独立集：**v加入任何顶点都不再是独立集，则称为极大独立集。
最大点独立集：顶点数最多的点独立集，称为最大点独立集。其顶点数称为点独立数。

---

边覆盖集：
所有的顶点都是E*中某条边的邻接顶点。
极小边覆盖集：若边覆盖集任何真子集都不是边覆盖集，则称为极小边覆盖集。
最小边覆盖集：边数最少的边覆盖集称为最小边覆盖集。其边数称为边覆盖数。

---

边独立集：若E*中任意两条边不相邻，则称为边独立集也称为匹配。
极大匹配：加入任意一条边都不匹配，则称为极大匹配。
最大匹配：边数最多的匹配称为最大匹配。其边数称为边独立数或匹配数。

---

他们之间有以下关系：（G有n个顶点，且没有孤立顶点）
点覆盖数+点独立数=n
边覆盖数+边独立数=n
当G为二部图时：
点覆盖数=点匹配数
点独立数=n-匹配数

这些概念和关系都是在求最大匹配时建图和求解时非常有用的！！！