//用双端队列（其实就是栈）来进行差分约束，就对了
#include<bits/stdc++.h>
#define ll long long
using namespace std;
const int N=1e6+10;
int n,m;
int h[N],e[N*2],ne[N*2],idx;
ll dist[N],w[N*2];
bool st[N];
void add(int a,int b,int c){
	e[idx]=b,w[idx]=c,ne[idx]=h[a],h[a]=idx++;
}
int q[N],cnt[N];
bool spfa(){
	memset(dist,-0x3f,sizeof(dist));
	dist[0]=0;deque<int> q;q.push_back(0);
	while(q.size()){
		int t=q.back();q.pop_back();
		st[t]=0;
		for(int i=h[t];~i;i=ne[i]){
			int j=e[i];
			if(dist[j]<dist[t]+w[i]){
				dist[j]=dist[t]+w[i];
				cnt[j]=cnt[t]+1; 
				if(cnt[j]>=n+1) return 1;
				if(!st[j]){
					q.push_back(j);
					st[j]=1;
				}
			}
		}
	} 
	return 0;
}
int main(){
	memset(h,-1,sizeof(h));
	scanf("%d%d",&n,&m);
	while(m--){
		int a,b,op;
		scanf("%d%d%d",&op,&a,&b);
		if(op==1){
			add(a,b,0);
			add(b,a,0);
		}
		else if(op==2) add(a,b,1);
		else if(op==3) add(b,a,0);
		else if(op==4) add(b,a,1);
		else add(a,b,0);
	}
	for(int i=1;i<=n;i++) add(0,i,1);
	if(spfa()) cout<<-1;
	else{
		ll res=0;
		for(int i=1;i<=n;i++) res+=dist[i];
		cout<<res;
	}
    return 0;
}

用队列就错了……
#include<bits/stdc++.h>
#define ll long long
using namespace std;
const int N=1e6+10;
int n,m;
int h[N],e[N*2],ne[N*2],idx;
ll dist[N],w[N*2];
bool st[N];
void add(int a,int b,int c){
	e[idx]=b,w[idx]=c,ne[idx]=h[a],h[a]=idx++;
}
int q[N],cnt[N];
bool spfa(){
	int hh=0,tt=0;
	memset(dist,-0x3f,sizeof(dist));
	dist[0]=0;q[0]=0;st[0]=1;
	while(hh<=tt){
		int t=q[hh++];
		st[t]=false;
		for(int i=h[t];~i;i=ne[i]){
			int j=e[i];
			if(dist[j]<dist[t]+w[i]){
				dist[j]=dist[t]+w[i];
				cnt[j]=cnt[t]+1; 
				if(cnt[j]>=n+1) return 1;
				if(!st[j]) q[++tt]=j,st[j]=1;
			}
		}
	} 
	return 0;
}
int main(){
	memset(h,-1,sizeof(h));
	scanf("%d%d",&n,&m);
	while(m--){
		int a,b,op;
		scanf("%d%d%d",&op,&a,&b);
		if(op==1){
			add(a,b,0);
			add(b,a,0);
		}
		else if(op==2) add(a,b,1);
		else if(op==3) add(b,a,0);
		else if(op==4) add(b,a,1);
		else add(a,b,0);
	}
	for(int i=1;i<=n;i++) add(0,i,1);
	if(spfa()) cout<<-1;
	else{
		ll res=0;
		for(int i=1;i<=n;i++) res+=dist[i];
		cout<<res;
	}
    return 0;
}

为什么呢？