某 SCOI 模拟赛 T2 排列（permutation）【最小割】

题意

有 $n$ 个数 $x_i$，找到它们的一个排列，有 $m$ 个要求 $x_a$ 要放在 $x_b$ 前面，最大化所得排列的最大连续子段和。

题解

负数不好处理。先把答案设成所有正数的和，假如最大连续子段和不包括某个正数，答案 $-x_i$，如果包括某个负数，答案 $-|x_i|$。

整个排列可以分为三段：最前面的不在和最大的连续子段中的、中间一段的在其中的、最后面的不在其中的。

考虑建图：$st\to p_i\to q_i\to ed$，割掉三条边中的某一条就对应着这个数在排列中的某一段。要求 $x_a$ 要放在 $x_b$ 前面，也就是 $x_a$ 所在的段不在 $x_b$ 所在的段的后面，所以连接 $p_a\to p_b$、$q_a\to q_b$，容量为 $\inf$。

代码：

#include<bits/stdc++.h>
using namespace std;
#define ll long long
int getint(){
	int ans=0,f=1;
	char c=getchar();
	while(c<'0'||c>'9'){
		if(c=='-')f=-1;
		c=getchar();
	}
	while(c>='0'&&c<='9'){
		ans=ans*10+c-'0';
		c=getchar();
	}
	return ans*f;
}
const int N=2010,M=10086*2;
const ll Inf=0x3f3f3f3f3f3f3fll,inf=0x3f3f3f3fll;
struct bian{
	int l,e,n;
};
bian b[M];
int s[N],s_[N],tot=1;
void add(int x,int y,int z){
	++tot;
	b[tot].l=z;
	b[tot].e=y;
	b[tot].n=s[x];
	s[x]=tot;
}
int st,ed;
int dis[N];
bool bfs(){
	memset(dis,0x3f,sizeof(dis));
	dis[st]=1;
	queue<int>q;q.push(st);
	while(q.size()){
		int t=q.front();
		q.pop();
		for(int i=s[t];i;i=b[i].n){
			if(b[i].l&&dis[b[i].e]>dis[t]+1){
				dis[b[i].e]=dis[t]+1;
				q.push(b[i].e);
			}
		}
	}
	return dis[ed]<inf;
}
ll ss(int x,ll fl){
	if(x==ed)return fl;
	ll ans=0;
	for(int &i=s_[x];i;i=b[i].n){
		if(!b[i].l)continue;
		if(dis[b[i].e]!=dis[x]+1)continue;
		ll d=ss(b[i].e,min(fl,(ll)b[i].l));
		ans+=d;fl-=d;
		b[i].l-=d;b[i^1].l+=d;
		if(!fl)break;
	}
	return ans;
}
ll dinic(){
	ll ans=0;
	while(bfs()){
		memcpy(s_,s,sizeof(s_));
		while(ll x=ss(st,Inf))ans+=x;
	}
	return ans;
}

int main(){
	int n=getint(),m=getint();
	ll sum=0;
	st=n*2+5,ed=n*2+6;
	for(int i=1;i<=n;i++){
		int x=getint();
		if(x>0){
			sum+=x;
			add(st,i,x);	add(i,st,0);
			//add(i,i+n,0);	add(i+n,i,0);
			add(i+n,ed,x);	add(ed,i+n,0);
		}else{
			//add(st,i,0);	add(i,st,0);
			add(i,i+n,-x);	add(i+n,i,0);
			//add(i+n,ed,0);	add(ed,i+n,0);
		}
	}
	for(int i=0;i<m;i++){
		int x=getint(),y=getint();
		add(x,y,inf);		add(y,x,0);
		add(x+n,y+n,inf);	add(y+n,x+n,0);
	}
	ll fl=dinic();
	cout<<sum-fl;
	return 0;
}