定理內容：對於一個二分圖，如果所有左邊都小於等於右邊，存在完備匹配，即所有左部點都被匹配。
必要性顯然。充分性可以歸納。
設左部點為\(n\)，\(n=1\)顯然成立。
第一種情況，左邊存在一個子集（不是全集）和右邊對應的一樣大，根據歸納假設，點集內部存在完美匹配。刪掉這些點，如果出現了一個左邊大於右邊，顯然矛盾。
第二種情況，不存在這樣的子集，任意匹配一條邊即可。
所以就得證了。貌似有很多假證明。。
免責聲明！
本站轉載的文章為個人學習借鑒使用，本站對版權不負任何法律責任。如果侵犯了您的隱私權益，請聯系本站郵箱yoyou2525@163.com刪除。