Hall定理的充分性证明

最近复习离散数学，其中二分图的匹配中，Hall定理的充分性证明好不容易才看懂，因此记录一下，以备不时之需： 先贴上课本中定理及证明过程： 通俗点讲，假设V1中顶点数为n，“二分图G存在完备匹配”      与    “取任意正整数1<=k<=n，均满足从V1集合选出k个不同的点，那么它们连向的V2集合的点个数不小于k”    这两个互为充要条件。 证明： 最开始，对 “从而这些端点全在V1中” 

>>阅读原文<<