mcqueen_ren的博客

原创 《最大匹配》

设二分图 $G=<V_1, V_2, E>, |V_1| \leq |V_2|$ ，则 $G$ 中存在 $V_1$ 到 $V_2$ 的完备匹配当且仅当对于任意的 $S \subset V_1$ ，均有 $|S|\leq|N(S)|$ ，其中 $N(S)=\Cup_{v_i \in S}{N(V_i)}$ ，是 $S$ 的邻域。如果我们将环中属于$M$的匹配边变成属于$M'$的匹配边，属于$M'$的匹配边变成属于$M$的匹配边，此时**匹配的数量是不变的**，所以对于这样的操作，其实没有必要进行。