P1993 差分约束

对于:k=1 dis[a]>=dis[b]+c => dis[b]<=dis[a]-c
根据 dis[v]<=dis[u]+e[i].val 得 add(a,b,-c)
同理:k=2 add(b,a,c)
k==3 时 差分约束无法直接表示等于 所以 dis[a]<=dis[b]+0 dis[b]<=dis[a]+b => add(a,b,0) add(b,a,0)

PS:判断负环用DFS(spfa)更快

#include<iostream>
#include<cstdio>
#include<cmath>
#include<cstring>
#include<algorithm>
#define fo(i,a,b) for(int i=a;i<=b;i++)
#define fod(i,a,b) for(int i=a;i>=b;i--)
using namespace std;
const int N=1e5+10,INF=0x3f3f3f;
struct Edge{
    int to,val,next;
    Edge(int to=0,int val=0,int next=0):to(to),val(val),next(next){}
}e[N*2];
int last[N],len=0,n,m; 
void add(int from,int to,int val) {
    e[++len]=Edge(to,val,last[from]); last[from]=len;
}
bool vis[N];
int dis[N];
bool Spfa(int cur) {
    vis[cur]=1;
    for(int i=last[cur];i;i=e[i].next) {
        int id=e[i].to;
        if(dis[id]>dis[cur]+e[i].val) {
            dis[id]=dis[cur]+e[i].next;
            if(vis[id]) return 0;
            else if(!Spfa(id)) return 0;
        }
    }
    vis[cur]=0;
    return 1;
}
int main() {
    scanf("%d%d",&n,&m);    
    for(int flag,a,b,c,i=1;i<=m;i++) {
        scanf("%d%d%d",&flag,&a,&b);
        if(flag==3) {
            add(b,a,0);
            add(a,b,0);
        }
        else {
            scanf("%d",&c);
            if(flag==1) 
            add(a,b,-c);
            if(flag==2) 
            add(b,a,c);
        } 
    }
    memset(vis,0,sizeof(vis));
    fo(i,0,n) add(0,i,0),dis[i]=INF;
    dis[0]=0;
    if(Spfa(0)) cout<<"Yes";
    else cout<<"No";
    cout<<endl;
    return 0;
}