Tutte theorem 图 \(G=(V,E)\) 有完美匹配当且仅当满足 \(\forall U\subseteq V,o(G-U)\le|U|,o(X)\) 表示 X 子图的奇连通块数. Tutte–Berge formula 图 \(G=(V,E)\) 的最大匹配数为 \(\frac12\min\limits_{U\subseteq V}\{|U|-o(V-U)+|V|\}\) Tutte 定理证明 必要性 如果 G 有完美匹配,那么每个奇连通块至少有一个点需要与 U 中的点匹配,故得…