浅析最大二分图匹配算法中记录数组book的真实作用

#include"iostream"
#include"cstdio"
#include"cstdlib"
using namespace std;


int u[100];
int v[100];
int w[100];
int first[100];
int next[100];
int n,m;
int match[100];
int book[100];
int sum=0;


bool dfs(int u)
{
	int t=first[u];
	while(t!=-1)
	{
		if(book[v[t]]==0)
		{
		book[v[t]]=1;	
		if(match[v[t]]==0||dfs(match[v[t]]))
		{
			match[u]=v[t];
			match[v[t]]=u;
			return 1;
		}
	    }
		t=next[t];
	}
	return 0;
}


int main()
{
	cin>>n>>m;
	for(int i=1;i<=n;i++)
	{
		first[i]=-1;
	}
	for(int i=1;i<=m;i++)
	{
		cin>>u[i]>>v[i];
		w[i]=1;
	}
	for(int i=m+1;i<=2*m;i++)
	{
		u[i]=v[i-m];
		v[i]=u[i-m];
		w[i]=w[i-m];
	}
	for(int i=1;i<=2*m;i++)
	{
		next[i]=first[u[i]];
		first[u[i]]=i;
	}
	for(int i=1;i<=n;i++)
	{
		memset(book,0,sizeof(book));
		if(dfs(i))
		{
			sum++;
		}
	}
	cout<<sum<<endl;
	return 0;
} 

以上是加上book数组的源码，我仔细考虑了一下book数组的真实作用

如果没有book数组

如图

当以4为原点开始搜索，当搜索到7的时候，7和2其实已经有了连接关系，但是我们尝试4和7之间的增广路

应为match[7]=2，所以进入dfs(match[7])就是dfs(2)函数，再次以2为原点进行搜索

在这时，请注意我们的目的

我们是想再找到一条2不和7相连和其他点相连从而促进4和7相连，从而增加增广路。

所以，我们是不希望2再次和7匹配的

但是如果没有book数组进行判重，那么2必然会再次搜索到7，此时会成为无限循环，不断重复以2为原点开始搜索的情况

所以程序是有问题的。

综上，book数组是绝对有必要的，是匈牙利算法深度优先搜索的必要成分，绝对不能轻而易举的删去