匈牙利算法简单笔记（无权二部图最大匹配）

萌新一枚，借鉴了许多大佬而总结下的笔记，可能有瑕疵或者错误，望指正。

1用于解决二部图匹配相关问题

2算法实现主要依靠不断寻找增广路增加匹配

增广路概念（来自百度百科）

若P是图G中一条连通两个未匹配顶点的路径，并且属于M的边和不属于M的边(即已匹配和待匹配的边)在P上交替出现，则称P为相对于M的一条增广路径（举例来说，有A、B集合，增广路由A中一个点通向B中一个点，再由B中这个点通向A中一个点……交替进行）。

3个人理解

假设有左半图和右半图，两个图中的点希望匹配，增广路就是从一条没被匹配的边出发（假设现在从左到右），如果路径指向的右边图的点没有匹配对象，那就将两者匹配，这就是一条增广路。

如果路径指向的右边图中的点有匹配对象了，那么顺着去问这个的对象（所以在左边图）能不能换个对象，这个“寻问右边这个点的对象的动作”就是经过已匹配的边，这样未匹配和已匹配就可以交替，且第一条边和最后一条边一定是未匹配的边，否则寻找失败。所以可以得出一个性质，未匹配的边数肯定比已匹配的边数多1。

将增广路中未匹配的边和已匹配的边交换，那么已匹配的边数就会加1。

当找不到增广路时，就是最大匹配

4代码实现

主要算法：

const int maxn=1e3+10;
bool mp[maxn][maxn];//记录左半图和右半图的点之间的联系，数据太大的话可以用邻接表或链式前项星 
int cp[maxn];//右边图中的点的对象，0代表没有对象 
bool vis[maxn];//标记每次循环时该点是否被访问过 
bool match(int x,int &m)
{
	for(int i=1;i<=m;i++)
	{
		if(mp[x][i]&&!vis[i])//这两个点有边并且i没被访问过 
		{
			vis[i]=1;
			if(!cp[i]||match(cp[i],m))//如果i没有对象或者 "i的对象" 能找到另外的对象 
			{
				cp[i]=x;//那么x成为i的对象， 
				return 1;//匹配成功 
			}
			//vis[i]=0;   <-这步实际上不需要，因为不会影响到后续结果
			//深搜的过程中能匹配成功就成功了,如果匹配失败,就算i这个点会因为vis[i]=0能再次访问，也会匹配失败 
		}
	}
	return 0;//匹配失败 
}

主函数应用

int main()
{
	int n,m;
	cin>>n>>m;//左半边的图和右半边的图 
	int q;
	cin>>q;//边数 
	int ans=0;
	for(int i=1;i<=q;i++)
	{
		int x,y;//左半图的点和右半图的点右边 
		cin>>x>>y;
		mp[x][y]=1;
	}
	for(int i=i;i<=n;i++)
	{
		memset(vis,0,sizeof(vis));
		//左边的点是一个一个找对象的，所以出发的时候的那条边一定是未匹配的边 
		ans+=match(i,m);
	}
	cout<<ans;
	return 0;
}