- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
二分图的最大匹配算法
二分图的最大匹配
Maximum Matching on Bipartite Graph
这是一个经典中的经典问题。
求解这类问题,最常用的就是匈牙利算法,复杂度为O(n^3)。
我在这里详细的介绍三种不同的实现,针对不同的题目,他们有不同的效果呦^_^。
先定义一些框架:
int nx , ny , g[maxn][maxn] , cx[maxn] , cy[maxn] ;
// cx[i]表示与Xi匹配的Y顶点
// cy[i]同理
这三种方法不同的地方就在于不同的寻找增广路径的方法。
1、DFS增广
从某一个X顶点出发,用深度优先的策略寻找增广路,
并在找到之后,巧妙地利用递归来修改匹配。
int mk[maxn] ;
int path(int u)
{
for (int v = 0 ; v ny ; v++) if (g[u][v] !mk[v])
{
mk[v] = 1 ;
if (cy[v] == -1 || path(cy[v])) { cx[u] = v ; cy[v] = u ; return 1 ; }
} return 0 ;
}
int MaxMatch()
{
int res(0) ;
memset(cx , 0xff , sizeof(cx)) ;
memset(cy , 0xff , sizeof(cy)) ;
for (int i = 0 ; i = nx ; i++)
if (cx[i] == -1) { memset(mk , 0 , sizeof(mk)) ; res += path(i) ; }
return res ;
}
优点:实现简洁,理解容易
适用:稠密图,由于边多,dfs找增广路很快
复杂度:O(n^3)
2、BFS增广
int pred[maxn] , mk[maxn] , open[maxn] ;
int MaxMatch()
{
int i , u , v , t , d , e , cur , tail , res(0) ;
memset(mk , 0xff , sizeof(mk)) ;
memset(cx , 0xff , sizeof(cx)) ; memset(cy , 0xff , sizeof(cy)) ;
for (i = 0 ; i nx ; i++)
{
pred[i] = -1 ;
for (open[cur = tail = 0] = i ; cur = tail cx[i] == -1 ; cur++)
{
for (u = open[cur] , v = 0 ; v ny cx[i] == -1 ; v ++)
if (g[u][v] mk[v] != i)
{
mk[v] = i ; open[++tail] = cy[v] ;
if (open[tail] = 0) { pred[open[tail]] = u ; continue ; }
for (d = u , e = v ; d != -1 ; t = cx[d] , cx[d] = e , cy[e] = d , e = t , d = pred[d]) ;
}
}
if (cx[i] != -1) res++ ;
}
return res ;
}
适用:稀疏二分图,边少,增广路短
复杂度:O(n^3)
3、多增广路
这是一类方法,每次增广同时寻找多条不相交增广路,由Hopcroft和Karp于1973年提出,有非常优秀的时间界。
以下代码由BFS的框架直接修改而来:
int pred[maxn] , mk[maxn] , open[maxn] , src[maxn] ;
int MaxMatch()
{
int i , u , v , t , d , e , cur , tail , res(0) , p , flag ;
memset(mk , 0xff , sizeof(mk)) ;
memset(cx , 0xff , sizeof(cx)) ;
memset(cy , 0xff , sizeof(cy)) ;
for (p = 1 , flag = 1 ; flag ; p++)
{
flag = 0 ; for (cur = tail = 0 , i = 0 ; i nx ; i ++) if (cx[i] == -1)
open[++tail] = i , pred[i] = -1 , src[i] = i ;
for ( ; cur = tail ; cur++)
{
u = open[cur
文档评论(0)