计蒜客 蒜头君的银行卡（spfa最短路径及差分约束系统）

#include<bits/stdc++.h>
using namespace std;
const int MAX_N=10010;
const int MAX_M=2*MAX_N;
int ss=0;
int n,m;
struct edge{
	int v,next,w;
}e[MAX_M];
int p[MAX_N],eid;
int dst[MAX_N];
int cnt[MAX_N];
bool inq[MAX_N];
int inf=0x3f3f3f3f;
void init(){
	memset(p,-1,sizeof(p));
	eid=0;
}
void insert(int u,int v,int w){
	e[eid].v=v;
	e[eid].w=w;
	e[eid].next=p[u];
	p[u]=eid++;
}
int spfa(int s){
	memset(dst,inf,sizeof(dst));
	memset(inq,0,sizeof(inq));
	memset(cnt,0,sizeof(cnt));
	dst[s]=0;
	queue<int>q;
	q.push(s);
	cnt[s]++;
	while(!q.empty()){
		int u=q.front();
		q.pop();
		inq[u]=0;
		for(int i=p[u];i+1;i=e[i].next){
			int x=e[i].v;
			if(dst[u]+e[i].w<dst[x]){
				dst[x]=dst[u]+e[i].w;
				if(!inq[x]){
					cnt[x]++;
					q.push(x);
				}
			}
			if(cnt[x]>n){
				return 0;
			}
		}
	}
	return 1;
}
int main(){
	init();
	scanf("%d%d",&n,&m);
	int id,a,b,c;
	for(int i=1;i<=m;i++){
		scanf("%d",&id);
		if(id==1){
			scanf("%d%d%d",&a,&b,&c);
			insert(a,b,-c);
		}else if(id==2){
			scanf("%d%d%d",&a,&b,&c);
			insert(b,a,c);
		}else{
			scanf("%d%d",&a,&b);
			insert(a,b,0);
			insert(b,a,0);
		}
	}
	for(int i=1;i<=n;i++){
		insert(ss,i,0);
	}
	if(spfa(ss)){
		cout<<"Yes"<<endl;
	}else{
		cout<<"No"<<endl;
	}
	return 0;
}