Stoer-Wagner算法（全局最小割）

题面：https://www.luogu.com.cn/problem/P5632

 

 

题解：

全局最小割Stoer-Wagner算法

附上论文：

关于证明：

论文的证明写得非常详细，在此不再赘述

关于时间复杂度

最大邻接搜索是来求任意非固定两点的最小割，做完一次最大邻接搜索之后还要缩点重做，直到全图只剩一个点

所以使用堆优化的复杂度大概是O(n^2logn)

关于实现

初写Stoer-Wagner的时候会觉得比较麻烦，在此提供一个简单易懂的O(n^3)写法：

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
#define N 605
const int INF=0x3f3f3f3f;
int cap[N][N];
int dis[N];bool vis[N],del[N];
int main()
{
	int n,m,i,j,k,pos,pre,u,v,c;
	scanf("%d%d",&n,&m);
	for(i=1;i<=m;i++){
		scanf("%d%d%d",&u,&v,&c);
		cap[u][v]=cap[v][u]=c;
	}
	int ans=INF;
	for(i=1;i<n;i++){
		memset(dis,0,sizeof(dis));
		memset(vis,0,sizeof(vis));
		pre=pos=0;
		for(j=1;j<=n-i+1;j++){
			pre=pos;pos=0;
			for(k=1;k<=n;k++)
				if(!del[k]&&!vis[k]&&(dis[k]>dis[pos]||!pos))
					pos=k;
			vis[pos]=1;
			for(k=1;k<=n;k++)
				if(!del[k]&&!vis[k])
					dis[k]+=cap[pos][k];
		}
		ans=min(dis[pos],ans);
		del[pre]=1;
		for(j=1;j<=n;j++){
			cap[pos][j]+=cap[pre][j];
			cap[j][pos]+=cap[j][pre];
		}
	}
	printf("%d",ans);
}