萌新一枚,借鉴了许多大佬而总结下的笔记,可能有瑕疵或者错误,望指正。
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;
}