霍爾定理證實

必要性     假設 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 充分性 基本步驟

>>阅读原文<<