图论：差分约束

题目链接：点击这里

#include<cstring>
#include<iostream>
#include<queue>
#include<cstdio>
#include<algorithm>
using namespace std;
struct edge{
    
    
 int to,w,next;
}kkk[100005];
int head[50005],neg[50005],dis[50005],vis[50005],numedge,n,m;
void addedge(int u,int v,int w){
    
    
 	kkk[++numedge].to=v;
 	kkk[numedge].w=w;
 	kkk[numedge].next=head[u];
 	head[u]=numedge;
}
bool spfa(int s){
    
    
 	queue<int> q;
 	memset(dis,63,sizeof(dis));
 	dis[s]=0,vis[s]=1;
 	q.push(s);
 	while(!q.empty()){
    
    
  		int u=q.front();
  		q.pop();
  		vis[u]=0;
  		for(int i=head[u];i;i=kkk[i].next){
    
    
   			int v=kkk[i].to;
   			if(dis[v]>dis[u]+kkk[i].w){
    
    
    			dis[v]=dis[u]+kkk[i].w;
    			if(!vis[v]){
    
    
     				vis[v]=1,neg[v]++;
     				if(neg[v]==n) return true;
     				q.push(v);
    			}
   			}
  		}
 	}
 	return false;
}
int main()
{
    
    
 	scanf("%d%d",&n,&m);
 	for(int i=1;i<=n;i++)
  		addedge(0,i,0);
 	for(int i=1;i<=m;i++){
    
    
  		int type;
  		scanf("%d",&type);
  		if(type==3){
    
    //u==v
  			int u,v;
  			scanf("%d%d",&u,&v);
  			addedge(u,v,0);
  			addedge(v,u,0);
		}
		else{
    
    
			if(type==2){
    
    
				int u,v,w;
				scanf("%d%d%d",&u,&v,&w);//u-v<=w;
				addedge(v,u,w);
			}
			else{
    
    
				int u,v,w;
				scanf("%d%d%d",&u,&v,&w);//u-v>=w;
				addedge(u,v,-w);
			}
		}
 	}
 	if(spfa(0)){
    
    
 		printf("No");
 	}
 	else{
    
    
 		printf("Yes");
   	}
 	return 0;
}