匹配、边覆盖、独立集和顶点覆盖

记图G=(V,E). 匹配：在G中两两之间没有公共端点的边集合 边覆盖：G中的任意端点都至少是边集F中的某条边的端点的边集合F⊆E 独立集：在G中两两之间互不相连的点集合 顶点覆盖：G中的任意边的至少一个端点属于S的顶点集合S⊆V 此外，它们还满足： （a）对于不存在孤立点的图，|最大匹配|+|最小边覆盖|=|V| （b）|最大独立集|+|最小点覆盖|=|V| 证明思路：(a)可以通过向最大匹配中

>>阅读原文<<