找到答案，看到讲解发生的那一刻，再顺着概念继续探索。
正在理解你的问题，下面的搜索结果可先查看。
霍尔定理被介绍为瓶颈引理的逆命题：如果二分图中没有瓶颈，那么就有匹配。视频明确指出这个方向并不明显，将在接下来讨论。
适用条件：适用于二分图。；需要没有瓶颈的条件。
霍尔定理被介绍为瓶颈引理的逆命题：如果二分图中没有瓶颈，那么就有匹配。视频明确指出这个方向并不明显，将在接下来讨论。
适用条件：适用于二分图。；需要没有瓶颈的条件。
霍尔定理的逆命题指出，如果一个二分图没有瓶颈，那么它必定包含一个完美匹配。主讲人指出这个结果并不立即明显，并表示证明将在下一节中进行。
适用条件：适用于二分图。；需要没有瓶颈的条件。
霍尔定理的逆命题指出，如果一个二分图没有瓶颈，那么它必定包含一个完美匹配。主讲人指出这个结果并不立即明显，并表示证明将在下一节中进行。
适用条件：适用于二分图。；需要没有瓶颈的条件。
瓶颈引理指出，如果一个二分图有瓶颈，那么就不存在完美匹配。从计数论证来看，这被认为是显而易见的。
适用条件：存在左侧顶点的子集 S。；|S| > ||。
瓶颈引理指出，如果一个二分图有瓶颈，那么就不存在完美匹配。从计数论证来看，这被认为是显而易见的。
适用条件：存在左侧顶点的子集 S。；|S| > ||。