UOJ80 二分图最大权匹配
草,学了一下午假板子,sb博客害人
题目大意:
一个教室有\(n\)个男生和\(m\)个女生,某些男女之间愿意早恋(雾),其早恋好感度为\(w_i\),问怎样让男女配对使得班里好感度之和最大
\(n\le 400\)
二分图最优匹配模型,KM算法板子题
在二分图中我们介绍了一些定义,包括最优匹配、完美匹配、顶标、相等子图
相等子图的完美匹配就是二分图的最优匹配
我们考虑先给每个点赋顶标,或者说对于好感度的期望值
首先每个男生的期望是她愿意早恋对象的好感度的最大值,女生是\(0\)(即每个男生都想要最喜欢的人,女生都很佛)
这样必定满足\(a_u+b_v\ge val(u,v)\)
然后试图在这个的相等子图中寻找完美匹配
不过大概率找不到
找不到怎么办呢?一般是出现了两个男生想要一个女生的情况,那么我们只能给某一个男生安排另外的女生,所以我们要降低已经匹配过男生的期望
当然为了不漏掉任何一个女生,我们不能降低的太多,应该降低到刚好刚才没被人选过的女生可以入选
也就是说我们对于每个刚才挑过人的男生,应该降低\(d=min\{a_u+b_v-val(u,v)\}\)其中\(vis_{boy}[u]=1,vis_{girl}[v]=0\)
但是男生们期望降低了,刚才匹配过的女生不能不要啊\(qwq\),所以应该将刚才每个匹配过的女生期望增加\(d\)保证刚才被匹配过的女生不会被丢出相等子图
这样会保证参与过匹配的边不会被踢出匹配,同时保证有新的右部节点参与匹配
但是\(n\ne m\)的情况怎么办啊(雾)
那为了匹配顺利,我们只能添加好感度为\(0\)的假人了……
具体实现一些细节在代码里面:
\(dfs\)版本:
#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
using namespace std;
namespace red{
#define int long long
#define eps (1e-8)
inline int read()
{
int x=0;char ch,f=1;
for(ch=getchar();(ch<'0'||ch>'9')&&ch!='-';ch=getchar());
if(ch=='-') f=0,ch=getchar();
while(ch>='0'&&ch<='9'){x=(x<<1)+(x<<3)+ch-'0';ch=getchar();}
return f?x:-x;
}
const int N=410,inf=0x3f3f3f3f;
int n,m,k;
int bl,br;
int head[N],cnt;
int love[N][N];
int g[N];
int f[N],ex_girl[N],ex_boy[N];
int slack[N];
bool vis_boy[N],vis_girl[N];
inline bool find(int boy)//稍微魔改过的匈牙利
{
vis_boy[boy]=1;
for(int girl=1;girl<=m;++girl)
{
if(vis_girl[girl]) continue;
int gap=ex_boy[boy]+ex_girl[girl]-love[boy][girl];
if(gap==0)//如果是相等子图,直接更新
{
vis_girl[girl]=1;
if(!f[girl]||find(f[girl]))
{
f[girl]=boy;
g[boy]=girl;
return 1;
}
}
else//不是的话记录一下最少改变多少期望
{
slack[girl]=min(slack[girl],gap);
}
}
return 0;
}
inline void km()
{
for(int i=1;i<=n;++i)
{
for(int j=1;j<=n;++j)
{
ex_boy[i]=max(ex_boy[i],love[i][j]);//男生初始期望是所有好感度最大值
}
}
for(int i=1;i<=n;++i)
{
memset(slack,inf,sizeof(slack));
memset(vis_boy,0,sizeof(vis_boy));
memset(vis_girl,0,sizeof(vis_girl));
if(find(i)) continue;//如果直接匹配成功就可以跳了
while("haku")//失败了,扩大相等子图范围
{
int d=inf,t;
for(int j=1;j<=n;++j)
if(!vis_girl[j]) d=min(d,slack[j]);//找到女生没被匹配过里面需要降低的最小值
for(int j=1;j<=n;++j)
{
if(vis_boy[j]) ex_boy[j]-=d;//匹配过的男生降低d
if(vis_girl[j]) ex_girl[j]+=d;//匹配过的女生提高d
else//没被匹配过的女生
{
slack[j]-=d;
if(!slack[j]) t=j;//如果男生全部削减完d之后可以进入相等子图,做个标记
}
}
if(!f[t]) break;//如果进入的女生没有配对的男生,那么说明我们可以找到新的一对,变成完美匹配
vis_girl[t]=1,vis_boy[f[t]]=1;//否则继续改变期望
t=f[t];
for(int j=1;j<=n;++j)
slack[j]=min(slack[j],ex_boy[t]+ex_girl[j]-love[t][j]);
}//注意不要在里面多次匈牙利,复杂度会炸
memset(vis_boy,0,sizeof(vis_boy));
memset(vis_girl,0,sizeof(vis_girl));
find(i);
}
int ret=0;
for(int i=1;i<=bl;++i)
{
ret+=love[i][g[i]];
}
printf("%lld\n",ret);
for(int i=1;i<=bl;++i) printf("%lld ",love[i][g[i]]?g[i]:0ll);
puts("");
}
inline void main()
{
n=read(),m=read(),k=read();
bl=n,br=m;
n=max(n,m),m=n;//假人代打
for(int x,y,w,i=1;i<=k;++i)
{
x=read(),y=read(),w=read();
love[x][y]=w;
}
km();
}
}
signed main()
{
red::main();
return 0;
}
\(bfs\)版本鸽子了,以后有空再补吧
UOJ80 二分图最大权匹配的更多相关文章
- POJ2195 Going Home[费用流|二分图最大权匹配]
Going Home Time Limit: 1000MS Memory Limit: 65536K Total Submissions: 22088 Accepted: 11155 Desc ...
- Hdu2255 奔小康赚大钱(二分图最大权匹配KM算法)
奔小康赚大钱 Problem Description 传说在遥远的地方有一个非常富裕的村落,有一天,村长决定进行制度改革:重新分配房子. 这可是一件大事,关系到人民的住房问题啊.村里共有n间房间,刚好 ...
- [ACM] HDU 2255 奔小康赚大钱 (二分图最大权匹配,KM算法)
奔小康赚大钱 Problem Description 传说在遥远的地方有一个很富裕的村落,有一天,村长决定进行制度改革:又一次分配房子. 这但是一件大事,关系到人民的住房问题啊. 村里共同拥有n间房间 ...
- POJ2195 Going Home (最小费最大流||二分图最大权匹配) 2017-02-12 12:14 131人阅读 评论(0) 收藏
Going Home Description On a grid map there are n little men and n houses. In each unit time, every l ...
- HDU2255 奔小康赚大钱 —— 二分图最大权匹配 KM算法
题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=2255 奔小康赚大钱 Time Limit: 1000/1000 MS (Java/Others) ...
- 二分图最大权匹配——KM算法
前言 这东西虽然我早就学过了,但是最近才发现我以前学的是假的,心中感慨万千(雾),故作此篇. 简介 带权二分图:每条边都有权值的二分图 最大权匹配:使所选边权和最大的匹配 KM算法,全称Kuhn-Mu ...
- UOJ#80. 二分图最大权匹配 模板
#80. 二分图最大权匹配 描述 提交 自定义测试 从前一个和谐的班级,有 nlnl 个是男生,有 nrnr 个是女生.编号分别为 1,…,nl1,…,nl 和 1,…,nr1,…,nr. 有若干个这 ...
- @noi.ac - 507@ 二分图最大权匹配
目录 @description@ @solution@ @accepted code@ @details@ @description@ 有一天你学了一个能解决二分图最大权匹配的算法,你决定将这个算法应 ...
- [SDOI2006] 仓库管理员的烦恼 - 二分图最大权匹配
最小化代价,即最大化"本土"货物的数量 于是就是个二分图最大权匹配裸题 #include <bits/stdc++.h> using namespace std; #d ...
随机推荐
- python读取excel数据转换成字典
以上面的excel格式,输出字典类型: import xlrddef read_excel_data(): filename = 'E:\学历列表.xls' data = xlrd.open_work ...
- 线程范围内的环境变量---ThreadLocal
package cn.itcast.heima2; import java.util.HashMap; import java.util.Map; import java.util.Random; p ...
- go get以后下载的包不在src下而在pkg的问题
我的GOPATH是这样的 但是当我go get下载包之后 下载的却不在src,而是在 $GOPATH$/pkg 下 原因可能是之前第一次go get下载, GitHub的速度太慢了,我更改了代理,使用 ...
- C#设计模式-原型模式(Prototype Pattern)
引言 在软件开发过程中,我们习惯使用new来创建对象.但是当我们创建一个实例的过程很昂贵或者很复杂,并且需要创建多个这样的类的实例时.如果仍然用new操作符去创建这样的类的实例,会导致内存中多分配一个 ...
- Spring源码理论
Spring Bean的创建过程: Spring容器获取Bean和创建Bean都会调用getBean()方法. getBean()方法 1)getBean()方法内部最终调用doGetBean()方法 ...
- 使用phpExcel读取excel文件
include_once '../include/common.inc.php'; include_once MC_ROOT.'include/smarty.inc.php'; date_defaul ...
- word教程字体和段落设置
放大/缩小字号:1.选中文字-点击"大A"或"小A" 2.同时摁着ctrl+shift+>/ctrl+shift+<即可 设置标题与正文间距:鼠标放 ...
- vue springboot利用easypoi实现简单导出
vue springboot利用easypoi实现简单导出 前言 一.easypoi是什么? 二.使用步骤 1.传送门 2.前端vue 3.后端springboot 3.1编写实体类(我这里是dto, ...
- Vue 3.0 升级指南
本文由葡萄城技术团队原创并首发 转载请注明出处:葡萄城官网,葡萄城为开发者提供专业的开发工具.解决方案和服务,赋能开发者. 2020年9月18日Vue 3.0正式发布,距离2016年10月1日Vue ...
- LeetCode周赛#212
1631. 最小体力消耗路径 #并查集 #最短路径 题目链接 题意 给定一二维 rows x columns 的地图 heights ,其中 heights[row][col] 表示格子 \((row ...