先是几个比较简单的定理
最大匹配=最小点覆盖=n-最小边覆盖=n-最大独立集
最小点覆盖和最大独立集互补 霍尔定理
对于任意集合a，都满足|a|<=|b|，其中b是a连边的集合的并。这个条件是二分图有完美匹配的充要条件
