二分图介绍

点覆盖集：即一个点集，使得所有边至少有一个端点在集合里。或者说是“点” 覆盖了所有“边”。

最小 点覆盖集：= 最大匹配数

最小 点权覆盖集：

点独立集：即一个点集，集合中任两个结点不相邻，则称V为独立集。或者说是导出的子图是零图（没有边）的点集。
最大 点独立集：= 节点数-最大匹配数

最大 点权独立集：

最大点权独立集=总权值-最小点权覆盖集。
最小点权覆盖集=图的最小割值=最大流。

http://blog.csdn.net/leolin_/article/details/7199688