POJ3469: Dual Core CPU 题解

这题很考验对最小割的理解

其实题目就是让你合理的安排每个任务是在A做还是在B做

这样的模型可以想到最小割

我们建一个超级源点s和一个超级源点t

设s所属于的集合是S,t所属于的集合是T

我们希望构一个图，使得它的最小割就是答案

对于所有点，向t连一条流量为ai的边，这样所有被分到S的模块在割的时候都会割到ai的边，而在T的模块则不需要割掉这条边

对于所有点，从s向它连一条流量为bi的边，这样所有被分到T的模块在割的时候都会割到bi的边，而在S的模块则不需要割掉这条边

对于每组ai,bi,wi，从ai向bi连一条流量为wi的边，同时从bi向ai也连一条流量为wi的边，这样保证只要ai,bi不属于同一个集合，他们之间的有一条边就一定会被割掉，如果ai,bi同属于一个集合，他们之间的边就一定不会被割掉

于是我们构造出来的图，最小割就是答案

而最小割又等于最大流，于是跑一遍最大流就可以了

#include <cstdio>
#include <iostream>
#include <cstring>
#include <string>
#include <cmath>
#include <algorithm>
#include <cstdlib>
#include <utility>
#include <map>
#include <stack>
#include <set>
#include <vector>
#include <queue>
#include <deque>
#define x first
#define y second
#define mp make_pair
#define pb push_back
#define LL long long
#define Pair pair<int,int>
#define LOWBIT(x) x & (-x)
using namespace std;

const int MOD=2e9;
const int INF=0x7ffffff;
const int magic=348;

int head[200048],nxt[600048],to[600048],f[600048],tot=1;
inline void addedge(int s,int t,int l,int ll)
{
	to[++tot]=t;nxt[tot]=head[s];head[s]=tot;f[tot]=l;
	to[++tot]=s;nxt[tot]=head[t];head[t]=tot;f[tot]=ll;
}

int n,e,t;
int depth[100048];
queue<int> q;

bool bfs()
{
	int i,x,y;
	for (i=0;i<=t;i++) depth[i]=-1;
	depth[0]=0;
	q.push(0);
	while (!q.empty())
	{
		x=q.front();q.pop();
		for (i=head[x];i;i=nxt[i])
		{
			y=to[i];
			if (depth[y]==-1 && f[i])
			{
				depth[y]=depth[x]+1;
				q.push(y);
			}
		}
	}
	if (depth[t]==-1) return false; else return true;
}

int dfs(int x,int maxf)
{
	if (x==t) return maxf;
	int i,y,res=0,minf,now;
	for (i=head[x];i;i=nxt[i])
	{
		y=to[i];
		if (depth[y]==depth[x]+1 && f[i])
		{
			minf=min(maxf-res,f[i]);
			now=dfs(y,minf);
			f[i]-=now;
			f[i^1]+=now;
			res+=now;
		}
	}
	return res;
}

int main ()
{
	int i,a,b,w;
	scanf("%d%d",&n,&e);
	t=n+1;
	for (i=1;i<=n;i++)
	{
		scanf("%d%d",&a,&b);
		addedge(i,t,a,0);
		addedge(0,i,b,0);
	}
	for (i=1;i<=e;i++)
	{
		scanf("%d%d%d",&a,&b,&w);
		addedge(a,b,w,w);
		//addedge(b,a,w);
	}
	LL ans=0;
	while (bfs()) ans+=dfs(0,INF);
	cout<<ans<<endl;
	return 0;
}