Hall定理学习笔记
基本定义
现有二分图，其有两个点集X、Y，令|X|<|Y|
对于任意的点集 s \(\in\) X，设 t为 s 与 Y 有连边的点的集合，满足 |s|<=|t|。
这是该二分图有完美匹配的充要条件
证明
必要性
假如一个二分图G存在完美匹配，且不满足Hall定理。
那么对于某k个点，它们连向的都不足k个点。
那么它们是怎么都被匹配上的？？？
很显然必要性正确。
充分性
假如一个二分图G不存在完美匹配，且满足Hall定理。
那么假如有一种最大匹配的方案，既然不存在完美匹配，可以找到至少一个未被匹配的点。
因为这个二分图满足Hall定理，所以这个点一定连向了至少一个点。
假如这个点不在最大匹配中，它们就匹配了，怎么可能呢？？？
那么这个点在最大匹配中！所以一定有一个点和它匹配了。
因为这个二分图满足Hall定理，所以这个点又一定连向了除它匹配的点外的至少一个点。
假如这个点不在最大匹配中，一条增广路找到了，怎么可能呢？？？
那么这个点在最大匹配中！所以……
看懂了吧！我们一定能推出矛盾！
所以充分性正确。
大多数内容参考自https://blog.csdn.net/WerKeyTom_FTD/article/details/65658944
标签：二分,匹配,连向,定理,笔记,假如,Hall 来源： https://www.cnblogs.com/CHK666/p/16346983.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。