霍尔定理证实

必要性     假设 V1 V 1 到 V2 V 2 存在一个完美匹配 M M ，那么对于 A A 中的每一个顶点 v v ，在 M M 中都存在至少一条边能链接到 V2 V 2 。所以，对于任意 V1 V 1 子集 A A ，其在 V2 V 2 中的相邻顶点个数至少与 V1 V 1 中的顶点同样多，既 |N(A)|≥|A| | N ( A ) | ≥ | A | 。得证。web 充分性 基本步骤

>>阅读原文<<