Hall定理的充分性證明

最近複習離散數學，其中二分圖的匹配中，Hall定理的充分性證明好不容易纔看懂，因此記錄一下，以備不時之需： 先貼上課本中定理及證明過程： 通俗點講，假設V1中頂點數爲n，「二分圖G存在完備匹配」      與    「取任意正整數1<=k<=n，均滿足從V1集合選出k個不同的點，那麼它們連向的V2集合的點個數不小於k」    這兩個互爲充要條件。 證明： 最開始，對 「從而這些端點全在V1中」 

>>阅读原文<<