BZOJ 2330 [SCOI2011]糖果 差分约束

Description

幼儿园里有N个小朋友，lxhgww老师现在想要给这些小朋友们分配糖果，要求每个小朋友都要分到糖果。但是小朋友们也有嫉妒心，总是会提出一些要求，比如小明不希望小红分到的糖果比他的多，于是在分配糖果的时候，lxhgww需要满足小朋友们的K个要求。幼儿园的糖果总是有限的，lxhgww想知道他至少需要准备多少个糖果，才能使得每个小朋友都能够分到糖果，并且满足小朋友们所有的要求。

Input

输入的第一行是两个整数N，K。

接下来K行，表示这些点需要满足的关系，每行3个数字，X，A，B。

如果X=1， 表示第A个小朋友分到的糖果必须和第B个小朋友分到的糖果一样多；

如果X=2， 表示第A个小朋友分到的糖果必须少于第B个小朋友分到的糖果；

如果X=3， 表示第A个小朋友分到的糖果必须不少于第B个小朋友分到的糖果；

如果X=4， 表示第A个小朋友分到的糖果必须多于第B个小朋友分到的糖果；

如果X=5， 表示第A个小朋友分到的糖果必须不多于第B个小朋友分到的糖果；

Output

输出一行，表示lxhgww老师至少需要准备的糖果数，如果不能满足小朋友们的所有要求，就输出-1。

Sample Input

5 7

1 1 2

2 3 2

4 4 1

3 4 5

5 4 5

2 3 5

4 5 1

Sample Output

11

HINT

【数据范围】

    对于30%的数据，保证 N<=100

    对于100%的数据，保证 N<=100000

对于所有的数据，保证 K<=100000，1<=X<=5，1<=A, B<=N

Source

题目链接

差分约束的模板题目。

x+m<=y，x向y连一条长度为m的边。

x=y，其实就是x<=y,y<=x。

由于每个人至少1个糖果，建个超级源点0，向1~n所有点连长度为1的边就好了。

然后建个图，跑最长路就好了。

注意一下差分约束里，按照<=构造，跑最长路。

按照>=构造，就跑最短路了。

用SPFA直接跑最长路。

万恶的题目……

不但爆了int……

还卡SPFA……

看了一下题解，才知道0连边的时候倒着n~1就不会TLE了……

只是我奇怪的是！！！

为什么别人TLE，我WA啊…………

罢了

#include<bits/stdc++.h>
#define ll long long
using namespace std;
int read(){
	int x=0,f=1;char ch=getchar();
	while (ch<'0' || ch>'9'){if (ch=='-') f=-1;ch=getchar();}
	while (ch>='0' && ch<='9'){x=x*10+ch-'0';ch=getchar();}
	return x*f;
}
const int 
	N=100005;
int n,k,Ecnt;
int Q[N<<1],times[N];
ll dist[N];
bool vis[N];
struct Edge{
	int next,to; ll val;
}E[N+(N<<1)]; int head[N];
void add(int u,int v,ll w){
	E[++Ecnt].next=head[u];
	E[Ecnt].to=v;
	E[Ecnt].val=w;
	head[u]=Ecnt;
}
ll SPFA(){
	int h=0,t=1;
	vis[0]=1; dist[0]=(ll)0;
	while (h<t){
		int u=Q[h++];
		vis[u]=0; times[u]++;
		if (times[u]>n) return -1;
		for (int i=head[u];i;i=E[i].next)
			if (dist[u]+E[i].val>dist[E[i].to]){
				dist[E[i].to]=dist[u]+E[i].val;
				if (!vis[E[i].to]){
					vis[E[i].to]=1;
					Q[t++]=E[i].to;
				}
			}
	}
	ll ans=(ll)0;
	for (int i=1;i<=n;i++) ans+=dist[i];
	return ans;
}
int main(){
	n=read(),k=read();
	int x,y,z; Ecnt=0;
	ll a=(ll)0,b=(ll)1;
	while (k--){
		x=read(),y=read(),z=read();
		if (y==z && (x==2 || x==4)){
			puts("-1");
			return 0;
		}
		if (x==1) add(y,z,a),add(z,y,a);
		if (x==2) add(y,z,b);
		if (x==3) add(z,y,a);
		if (x==4) add(z,y,b);
		if (x==5) add(y,z,a);
	}
	for (int i=n;i;i--) add(0,i,1);
	printf("%lld\n",SPFA());
	return 0;
}