关于二分图中对最小顶点覆盖、最小边覆盖、最大独立集的总结

参考博客
http://blog.csdn.net/flynn_curry/article/details/52966283

---

概念：

最大匹配：二分图中边集的数目最大的那个匹配；

最小顶点覆盖：选取最少的点数，使这些点和所有的边都有关联（把所有的边的覆盖），叫做最小点覆盖。

最小边覆盖：用尽量少的不相交简单路径覆盖有向无环图(DAG)G的所有顶点；

最大独立集：在一个二分图中,选择一些顶点,使得所选择的点集中任意两个顶点之间没有边相连

结论：

(a)、对于不存在孤立点的图，最大匹配+最小边覆盖=顶点数；
(b)、最大独立集+最小顶点覆盖=顶点数；
二分图中：
(c)、最大匹配=最小顶点覆盖。