以下考虑完备匹配的必须边(非完备匹配要用到网络流)
给定一张二分图,其最大匹配方案不一定是唯一的。若任何一个最大匹配方案的匹配边都包括,则称为二分图匹配的必须边
以下证明假设我们已经求出了一个最大匹配
在完备匹配时,一条边是必须边,当且仅当满足以下两个条件:
1.在当前这个完备匹配的状态下,是匹配边
2.在当前这个完备匹配的状态下,直接从图中删除这条边之后,不能再找一条增广路,其起点是,终点是
第一个条件显然,下面的证明就忽略了
必要性。利用反证。如果去掉后,还能再找到这么一条增广路,那么我们把这条增广路取反,显然匹配数加一,此时等于最大匹配,而且这个最大匹配不再包含这一条边,所以不是必须边,矛盾,故不能找到这么一条增广路
充分性。仍然利用反证。如果不是必须边,那么就说明去掉后的图的最大匹配仍然是完备匹配,我们不妨重新排序把和这两个点放在最后,并且认为前面在跑匈牙利算法的时候跑出来的匹配情况与最开始的完备匹配去掉后剩下的边的匹配情况相同(匈牙利算法是不看顺序的,而且只执行一遍,故这个换序不会影响结果),那么这个匈牙利跑出来的结果应该是完备匹配。我们在匈牙利的最后,考虑和这两个点(此时,现在的这个图与最开始的完备匹配的那个图的差距仅仅是少了这一条边),如果找不到到的增广路,那么肯定匹配失败,故匈牙利跑出来的结果不再是最大匹配,矛盾,所以是必须边
如果我们把二分图中的非匹配边看作从左部到右部的有向边,把二分图中的匹配边看作从右部到左部的有向边,构成一张新的有向图,那么原图中从到有增广路等价于新图中存在从到的路径。这一个用充分必要性证明就可以了,比较简单
因此,必须边的判定条件是:是原图的匹配边,并且和两点在新图中属于不同的SCC(在相同的SCC就说明存在一条增广路;注意一定可以走到)
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】博客园社区专享云产品让利特惠,阿里云新客6.5折上折
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· PowerShell开发游戏 · 打蜜蜂
· 在鹅厂做java开发是什么体验
· 百万级群聊的设计实践
· WPF到Web的无缝过渡:英雄联盟客户端的OpenSilver迁移实战
· 永远不要相信用户的输入:从 SQL 注入攻防看输入验证的重要性