[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

查分约束模板题，不过这道题卡spfa，所以你要玄学调试。

这道题让我们记住了：求最大值跑最短路，最小值跑最长路。

#include<bits/stdc++.h>
using namespace std;
const int Maxn=200005;
struct edge{
	int cnt,h[Maxn],w[Maxn*2],to[Maxn*2],next[Maxn*2];
	void add(int x,int y,int v){
		next[++cnt]=h[x];to[cnt]=y;w[cnt]=v;h[x]=cnt;
	}
}e;
int n,m,s,js,ans,inq[Maxn];
long long dist[Maxn];
queue<int>Q;
long long spfa(){
	memset(dist,-63,sizeof(dist));
	Q.push(s);dist[s]=0;
	while(!Q.empty()){
		int x=Q.front();Q.pop();
		inq[x]=0;
		if(++js>=300000)return -1;
		for(int i=e.h[x];i;i=e.next[i])
			if(dist[e.to[i]]<dist[x]+e.w[i]){
				dist[e.to[i]]=dist[x]+e.w[i];
				if(!inq[e.to[i]])inq[e.to[i]]=1,Q.push(e.to[i]);
			}
	}
	long long mn=1ll<<60;
	for(int i=1;i<=n;++i)mn=min(mn,dist[i]);
	long long res=0;
	for(int i=1;i<=n;++i)res+=dist[i]-mn;
	return res+n;
}
int main(){
	scanf("%d%d",&n,&m);
	for(int i=1;i<=m;++i){
		int op,x,y;scanf("%d%d%d",&op,&x,&y);
		if(op==1)e.add(x,y,0),e.add(y,x,0);
		if(op==2)e.add(x,y,1);
		if(op==3)e.add(y,x,0);
		if(op==4)e.add(y,x,1);
		if(op==5)e.add(x,y,0);
	}
	for(int i=n;i>=1;--i)e.add(s=n+1,i,0);
	cout<<spfa()<<endl;
	return 0;
}