二分图的最小顶点覆盖
定义：若选择一个点说明选择与它相连的所有边，最小顶点覆盖就是选择最少的点来覆盖所有的边。
定理：二分图最小顶点覆盖 == 二分图最大匹配数
二分图的最大独立集
定义：选出一些顶点使得这些顶点两两不相邻，则这些点构成的集合称为独立集。最大独立集为包含顶点数最多的独立集。
定理：最大独立集 = 所有顶点数 - 最小顶点覆盖
二分图的最大团
定义： 团：选出一些点，使其两两之间都有边。 最大团：点数最大的团
定理：二分图的最大团 = 补图的最大独立集
感性理解：最大独立集为两两之间没有边，那么补图的最大独立集说明在原图中两两之间有边，那么就是原图的最大团
参考：
http://www.cnblogs.com/jianglangcaijin/p/6035945.html