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