必要性
假设 V1 V 1 到 V2 V 2 存在一个完美匹配 M M ,那么对于 中的每个顶点 v v ,在 中都存在至少一条边能连接到 V2 V 2 。因此,对于任意 V1 V 1 子集 A A ,其在 中的相邻顶点个数至少与 V1 V 1 中的顶点一样多,既 |N(A)|≥|A| | N ( A ) | ≥ | A | 。得证。
充分性
基本步骤
若 |V1|=1 | V 1 | = 1 ,则其存在完美匹配 M M 当且仅当 存在至少一条边连接到 V2 V 2 ,故有 |N(A)|≥|A|=1 | N ( A ) | ≥ | A | = 1 , A