1. 用途
判断一个二分图是否有完美匹配。
2. 完美匹配
原二分图所有点都被覆盖到的匹配。
3. 内容
若对于任意属于原二分图 \(G\) 的点集 \(D\) ，令其所有点的所有出边到达的点集为 \(S\) ，都有 \(|D|\leq|S|\) ，则 \(G\) 有完美匹配。
4. 证明
4.1 必要性
显然
4.2 充分性
（口胡）若 \(\exists\ G\) 满足 \(3\) 且没有完美匹配，考虑将 \(G\) 的最大匹配记为 \(p\) 。两边都至少有一个未被匹配的点，由于任意点集都可以到达一个大小大于它自身的点集，所以一定可以通过不断增广增广增广换换换匹配匹配匹配匈牙利匈牙利匈牙利使这两个点被覆盖。（
标签：二分,匹配,增广,完美,匈牙利,定理,点集,霍尔 来源： https://www.cnblogs.com/Trinity31/p/15776708.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。