你想弄懂什么？

瓶颈引理指出，如果一个二分图有瓶颈，那么就不存在完美匹配。从计数论证来看，这被认为是显而易见的。

适用条件：存在左侧顶点的子集 S。；|S| > |$E(S)$|。

瓶颈引理指出，如果一个二分图有瓶颈，那么就不存在完美匹配。从计数论证来看，这被认为是显而易见的。

适用条件：存在左侧顶点的子集 S。；|S| > |$E(S)$|。