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