HDU2255 奔小康赚大钱 (最大权完美匹配) 模板题【KM算法】

<题目链接>

           奔小康赚大钱

Problem Description
传说在遥远的地方有一个非常富裕的村落,有一天,村长决定进行制度改革:重新分配房子。
这可是一件大事,关系到人民的住房问题啊。村里共有n间房间,刚好有n家老百姓,考虑到每家都要有房住(如果有老百姓没房子住的话,容易引起不安定因素),每家必须分配到一间房子且只能得到一间房子。
另一方面,村长和另外的村领导希望得到最大的效益,这样村里的机构才会有钱.由于老百姓都比较富裕,他们都能对每一间房子在他们的经济范围内出一定的价格,比如有3间房子,一家老百姓可以对第一间出10万,对第2间出2万,对第3间出20万.(当然是在他们的经济范围内).现在这个问题就是村领导怎样分配房子才能使收入最大.(村民即使有钱购买一间房子但不一定能买到,要看村领导分配的).
Input
输入数据包含多组测试用例,每组数据的第一行输入n,表示房子的数量(也是老百姓家的数量),接下来有n行,每行n个数表示第i个村名对第j间房出的价格(n<=300)。
Output
请对每组数据输出最大的收入值,每组的输出占一行。
Sample Input
2
100 10
15 23
Sample Output
123
 
解题分析:
带权二分图的最优匹配问题,需要用到KM算法。KM算法讲解可以看这里  >>>    
以下代码和讲解转载于 >>>
 
但是,我们普通的dfs版的KM算法复杂度比较伪,只针对随机数据复杂度为$O(n^3)$,对于极限数据(w[i][j]很大)slack优化作用不显著,有可能被卡到$O(n^4)$
dfs版KM:
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std; const int N=;
const int INF = 0x3f3f3f3f; int n,nx,ny;
int linker[N],lx[N],ly[N],slack[N]; //lx,ly为顶标,nx,ny分别为x点集y点集的个数
int visx[N],visy[N],w[N][N]; int DFS(int x){
visx[x]=;
for(int y=;y<=ny;y++){
if(visy[y])continue; //每次只常识匹配一次y,相当于匈牙利中的vis[]
int tmp=lx[x]+ly[y]-w[x][y]; //x,y期望值之和与x,y之间的权值的差值
if(tmp==){ //x,y之间期望值==他们之间权值时符合要求
visy[y]=;
if(linker[y]==- || DFS(linker[y])){ //y没有归属者,或者y的原始归属者能够找到其他归属者
linker[y]=x;
return ;
}
}else slack[y]=min(slack[y],tmp);
}
return ;
} int KM(){
int i,j;
memset(linker,-,sizeof(linker));
memset(ly,,sizeof(ly)); //初始化,y的期望值为0
for(i=;i<=nx;i++) //lx为x的期望值,lx初始化为与它关联边中最大的
for(j=,lx[i]=-INF;j<=ny;j++)
if(w[i][j]>lx[i])
lx[i]=w[i][j];
//为每一个x尝试解决归属问题
for(int x=;x<=nx;x++){
for(i=;i<=ny;i++)slack[i]=INF;
while(true){
memset(visx,,sizeof(visx));
memset(visy,,sizeof(visy));
if(DFS(x))break; //若成功(找到了增广轨),则该点增广完成,进入下一个点的增广
//若失败(没有找到增广轨),则需要改变一些点的标号,使得图中可行边的数量增加。
//方法为:将所有在增广轨中(就是在增广过程中遍历到)的X方点的标号全部减去一个常数d,
//所有在增广轨中的Y方点的标号全部加上一个常数d
int d=INF;
for(i=;i<=ny;i++)
if(!visy[i])d=min(slack[i],d); //d为没有匹配到的y的slack中的最小值
for(i=;i<=nx;i++)
if(visx[i])lx[i]-=d;
for(i=;i<=ny;i++)
if(visy[i])ly[i]+=d;
else slack[i]-=d; //修改顶标后,要把所有不在交错树中的Y顶点的slack值都减去d
}
}
int res=;
for(i=;i<=ny;i++)
if(linker[i]!=-)
res+=w[linker[i]][i];
return res;
} int main(){
while(~scanf("%d",&n)){
nx=ny=n;
for(int i=;i<=n;i++)
for(int j=;j<=n;j++)
scanf("%d",&w[i][j]);
int ans=KM();
printf("%d\n",ans);
}
return ;
}

bfs版KM:复杂度真正为$O(n^3)$        (待补)

上一篇:第一阶段——CentOS6_Python3.6.1笔记(尚学堂-Python基础快速入门)+ 【补充】麦子-Python程序入门与进阶


下一篇:C# -- 使用递归列出文件夹目录及目录下的文件