二分图

二分图一些常用结论：
最小支配集：V* 中最少的点，关联最多（V-V* ）中的点；
最小点覆盖：用最少的点去覆盖完所有的边；
最大点独立集：集合中的点两两并不关联且点最多的集合；
匹配（边独立集）：E* 中的点两两并不相邻。E*被称为G的匹配。

最小点覆盖=最大匹配
最小边覆盖=顶点数-最大匹配
最大点独立集=顶点数-最大匹配