連差分約束不知道是什麼的：http://www.cnblogs.com/void/archive/2011/08/26/2153928.html

假設 需要滿足條件:

b-a<=k1     (1)

c-b<=k2     (2)

c-a<=k3     (3)

(1)（2）相加 得到不等式c-a<=k1+k2

所以要使條件滿足的首要條件就是c-a<=min(k1+k2,k3) 但是可能題目中會有多個條件，不過本質並不會改變，依舊是求最小值，那麼我們將a,b,c為點，以k為邊權建邊，得到一個有向圖，求最短路就得到了min；

注意：1.最少每個人分到一個糖果從0填邊的時候邊權為1，而且要從後面向前填邊

            2.最終ans用long long存

#include<cstdio>
#include<cstring>
#define maxn 100020
#include<iostream>
#include<queue>
#define LL long long
using namespace std;
queue<int >q;
int n,m,head[maxn*2],tot,vis[maxn],dis[maxn],times[maxn];
struct edge{
	int v,w,next;
}e[maxn*4];
void adde(int a,int b,int c){e[tot].v=b,e[tot].w=c,e[tot].next=head[a];head[a]=tot++;}

bool spfa(){
	q.push(0),dis[0]=0,times[0]=1;
	while(!q.empty()){
		int u=q.front();q.pop() ;
		vis[u]=0;
		for(int i=head[u];i!=-1;i=e[i].next ){
			int v=e[i].v ,w=e[i].w;
			if(dis[v]<dis[u]+w){
				dis[v]=dis[u]+w;
				times[v]++;
				if(times[v]>=n)return false;
				if(!vis[v]){
					vis[v]=1;
					q.push(v); 
				}
			}
		}
	}
	return true;
}

int main(){
	memset(head,-1,sizeof(head));
	scanf("%d%d",&n,&m);
	for(int pos,b,a,i=1;i<=m;i++){
		scanf("%d%d%d",&pos,&a,&b);
		if(pos==1){adde(a,b,0),adde(b,a,0);}
		else if(pos==2){
			if(a==b){printf("-1");}
			 adde(a,b,1);
		}else if(pos==3){
			adde(b,a,0);
		}else if(pos==4){
			if(a==b){printf("-1");return 0;}
			adde(b,a,1);break;
		}else if(pos==5){
			adde(a,b,0);
		}	
	}
	for(int i=n;i>=1;i--)adde(0,i,1);
	if(!spfa()){printf("-1");return 0;}
	LL ans=0;
	for(int i=1;i<=n;i++)
		ans+=(LL)dis[i];
	printf("%lld",ans);
	return 0;
}/*
5 7
1 1 2
2 3 2
4 4 1
3 4 5
5 4 5
2 3 5
4 5 1
*/