帮忙召唤神牛 @Emoi丨苡默 @__Wa_ff_
神牛一只 @yaosiqiu


因为非最大
于是就至少有某两个最大匹配的点未包含在这其中，从那两个点中X集的点就可以找到包含另一个点的交错轨

为什么又一定能从那两个点中X集的点就可以找到包含另一个点的交错轨。。 加入两者无法连接呢？。

无法连接就不会有更大的二分图了。

我是说必然存在，而不是说任选两个未匹配的点都会存在，你想，假设存在两个未匹配点，一个在X集，设为a，一个在Y集，设为b，如果它们之间有边，那么直接相连，如果它们之间没有边，而它们又存在于某一个最大匹配中，那么a点一定有一个在那个最大匹配中进行匹配的点c，而c在当前非最大匹配图中原先的匹配点d又可以找到匹配，这样知道有某个点匹配了点b，就找到了一个交错轨
不是很严谨，自己找点论文什么的看看吧

召唤本弱菜干什么

秋哥为什么以前不说...