二分图匹配

题目:二分图匹配
二分图匹配,就是解决 一群人,喜欢一类东西,然后求最多满足能满足多少人的问题。当然,东西是不同的,人的喜好也是不同的。

这里讲一下匈牙利算法是如何解决这个问题的。
首先,我们画了一个图:

然后,我们对第一个人匹配,也就是找第一个人要的东西,然后就得到了下图(粉色代表匹配成功,也就是左边的人得到了右边的东西。草绿色代表遍历过但未成功)

然后,我们跳过一大堆已知的操作,得到下图:

这时,我们发现,3号人也想要二号物品,但是已经被1号人拿走了。这改怎么办办呢?我们发现,1号还能拿3号物品。于是,人1把物2给了人3,拿了物3。

然后, 匹配4号。这时……人2占了物1,但人2不能拿别的东西了。于是乎,人2拒绝妥协,人4被人2暴打了一顿而人4匹配不了其他的,因为他对物品1情有独钟,不喜欢别的东西,so,他莫得东西了QwQ。

现在,所有的人都匹配完了,能拿到东西的最多有三个人,4号被抛弃了,还被暴打了一顿,最大匹配数也就是3。

那么,具体思路讲完了,改怎么实现呢?
很简单,我们逐个枚举人,(dfs(i)=1)表示匹配成功,否则失败。用(1)(chos)数组,(chos_i)表示第(i)个物品被第(chos_i)个人拿走了,(vis)数组用来在判断一个人能否拿别的物品时用的。也就是做个标记,如果不做这个标记,那再判断这个人能否拿别的物品时他也许还会选择这个物品。(所以,每次(dfs)都要清空(vis)(dfs)内部就是枚举他喜欢的每一个东西,如果这个东西没人要或要这个东西的人可以拿别的,这个东西就归他了,然后返回1。如果遍历完所有他想要的还得不到任何东西,就返回0。
(vis)数组要在每一次遍历的时候清空哦

上代码:

#include<bits/stdc++.h>
using namespace std;
int n,m,e,ans;//e是边数,ans是答案
bool vis[100005];
int chos[100005];
struct node
{
	int tot;
	int dt[10000005],nxt[10000005];
	int hd[100005];
	void add(int x,int y)
	{
		tot++;
		nxt[tot]=hd[x];
		hd[x]=tot;
		dt[tot]=y;
		return ;
	}
}g;//链式前向星存图
bool dfs(int x)
{
	for(int i=g.hd[x];i;i=g.nxt[i])//枚举他喜欢的每一个东西
	{
		if(vis[g.dt[i]]) continue;//被判断过,就直接下一个循环
		vis[g.dt[i]]=1;//标记,如果不标记,后面的判断dfs(chos[g.dt[i]])就永远是真了。
		if(!chos[g.dt[i]]||dfs(chos[g.dt[i]]))//如果当前没人要这个东西或要这个东西的人还可以拿别的,那这个东西就是他的了
		{
			chos[g.dt[i]]=x;//标记这个东西归他了
			return 1;//返回true。
		}
	}
	return 0;//到遍历完还没得到东西,返回false
}
int main()
{
	scanf("%d%d%d",&n,&m,&e);
	for(int i=1;i<=e;i++)
	{
		int u,v;
		scanf("%d%d",&u,&v);
		if(u>n||v>m) continue;//题目中说有可能会出现u>n和v>m的情况
		g.add(u,v);//连边
	}
	for(int i=1;i<=n;i++)//枚举每个人
	{
		memset(vis,0,sizeof(vis));//清空vis
		ans+=dfs(i);//直接加就可以了,因为bool中true的值是1,false的值是0
	}
	printf("%d",ans);
	return 0;
}
原文地址:https://www.cnblogs.com/mk-oi/p/13492143.html