二分图总结

1.Konig 定理：最小点覆盖=最大匹配
最大独立集 = n - 最小点覆盖
2.无向图G最大团=补图G'最大独立集
3.DAG最小路径覆盖 ：
拆成出点和入点，一条边连接对应出点和入点
最小路径覆盖=n - G2最大匹配
4.MC问题：霍尔定理
$G = <V1，V2, E> |V1| \leq |V2|$ 有完美匹配当且仅当 V1中任意 $k$ 个点至少与 V2 中至少$k$个点相连
5.霍尔定理构造：延迟认可算法