UVA 10480 Sabotage (输出最小割所用边)

最新推荐文章于 2020-11-18 19:11:06 发布

原创最新推荐文章于 2020-11-18 19:11:06 发布 · 395 阅读

0 ·

本内容遵循CC 4.0 BY-SA版权协议

————图算法———— 同时被 2 个专栏收录

87 篇文章

订阅专栏

网络流

35 篇文章

订阅专栏

本文介绍了一种通过最大流算法确定最小割中具体边的方法。该方法先利用Dinic算法求解最大流，然后通过一次DFS遍历确定图中顶点的归属，最后找出连接不同归属顶点的所有边作为最小割的组成部分。

题意：给出一个图，要分割开1和2，每条边都有一个花费而且是无向的，问用上了哪些边，输出。

在今年多校赛的时候写过一道输出最小割所用边的数量，但是今天遇到这个输出用了哪些边我就懵逼了。前几天还写过一道二分图的题目，判断一条边是否是必须存在的边，即是否删除这条边二分图的最大匹配数就变了。所以想在这题也用枚举的方法，但是一直wa。。。自己举了举反例发现不对。看了一下题解，原来这么简单。。。跑完一次最大流之后，从1出发跑一次，能到达的点就是1这边的，剩下的都是2那边的。那些割边使得整个图分成的两部分。所以我们直接看看哪些边的两个端点是不同部分的即可。这个方法真的是太好了。

代码如下：

#include<bits/stdc++.h> 
using namespace std;
typedef pair<int, int> pii;
const int maxn = 105;
const int maxm = 1e4 + 5;
const int INF = 0x3f3f3f3f;

int head[maxn],cur[maxn],nx[maxm<<1],to[maxm<<1],flow[maxm<<1],ppp=0;
struct Dinic {
	int dis[maxn];
	int s, t;
	int ans;
	
	void init() {
		memset(head, -1, sizeof(head));
		ppp = 0;
	}
	
	void AddEdge(int u, int v, int c) {
		to[ppp]=v;flow[ppp]=c;nx[ppp]=head[u];head[u]=ppp++;swap(u,v);
		to[ppp]=v;flow[ppp]=0;nx[ppp]=head[u];head[u]=ppp++;
	}
	
	bool BFS() {
		memset(dis, -1, sizeof(dis));
		dis[t] = 1; 
		queue<int> Q;
		Q.push(t);
		while(!Q.empty()) {
			int x = Q.front();
			Q.pop();
			for(int i = head[x]; ~i; i = nx[i]) {
				if(flow[i^1] && dis[to[i]] == -1) {
					dis[to[i]] = dis[x] + 1;
					Q.push(to[i]);
				}
			}
		}
		return dis[s] != -1;
	}
	
	int DFS(int x, int maxflow) {
		if(x == t || !maxflow){
			ans += maxflow;
			return maxflow;
		}
		int ret = 0, f;
		for(int &i = cur[x]; ~i; i = nx[i]) {
			if(dis[to[i]] == dis[x] - 1 && (f = DFS(to[i], min(maxflow, flow[i])))) {
				ret += f;
				flow[i] -= f;
				flow[i^1] += f;
				maxflow -= f;
				if(!maxflow)
					break;
			}
		}
		return ret;
	}
	
	int solve(int source, int tank) {
		s = source;
		t = tank;
		ans = 0;
		while(BFS()) {
			memcpy(cur, head, sizeof(cur));
			DFS(s, INF);
		}
		return ans;
	}
}dinic;

int n, m;
int key[maxn];
set <pii> s;

void dfs(int u, int k) {
	for(int i = head[u]; ~i; i = nx[i]) {
		int v = to[i];
		if(key[v] || !flow[i])
			continue;
		key[v] = k;
		dfs(v, k);
	}
}

int main() {
#ifndef ONLINE_JUDGE
	freopen("in.txt", "r", stdin);
//    freopen("out.txt", "w", stdout);
#endif
	while(scanf("%d%d", &n, &m) != EOF) {
		if(n == 0 && m == 0)
			break;
		s.clear();
		dinic.init();
		memset(key, 0, sizeof(key));
		for(int i = 0, u, v, val; i < m; i++) {
			scanf("%d%d%d", &u, &v, &val);
			s.insert(pii(u, v));
			s.insert(pii(v, u));
			dinic.AddEdge(u, v, val);
			dinic.AddEdge(v, u, val);
		}
		int ans = dinic.solve(1, 2);
		key[1] = 1;
		dfs(1, 1);
		for(int i = 1; i <= n; i++) {
			for(int j = i + 1; j <= n; j++) {
				if(key[i] != key[j]) {
					pii tmp = pii(i, j);
					if(s.find(tmp) != s.end()) {
						printf("%d %d\n", i, j);
					}
				}
			}
		}
		printf("\n");
	}
	return 0;
}