ex_Hall

二分图 \(A+B\) 中存在一个匹配能覆盖顶点集合 \(X+Y\) 的充要条件是存在一个匹配能覆盖 \(X\)，且存在一个匹配能覆盖 \(Y\)（\(X\in A\land Y\in B\)）。