二分图相关定理

二分图的最小顶点覆盖

定义：若选择一个点说明选择与它相连的所有边，最小顶点覆盖就是选择最少的点来覆盖所有的边。

定理：二分图最小顶点覆盖 == 二分图最大匹配数

二分图的最大独立集

定义：选出一些顶点使得这些顶点两两不相邻，则这些点构成的集合称为独立集。最大独立集为包含顶点数最多的独立集。

定理：最大独立集 = 所有顶点数 - 最小顶点覆盖

二分图的最大团

定义： 团：选出一些点，使其两两之间都有边。 最大团：点数最大的团

定理：二分图的最大团 = 补图的最大独立集

感性理解：最大独立集为两两之间没有边，那么补图的最大独立集说明在原图中两两之间有边，那么就是原图的最大团

参考：

http://www.cnblogs.com/jianglangcaijin/p/6035945.html