bzoj1436 小K的农场（差分约束+spfa判环）

差分约束+spfa判环

#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define inf 0x3f3f3f3f
#define N 10010
inline int read(){
    int x=0,f=1;char ch=getchar();
    while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
    while(ch>='0'&&ch<='9') x=x*10+ch-'0',ch=getchar();
    return x*f;
}
int n,m,h[N],num=0,d[N];
bool vis[N];
struct edge{
    int to,next,val;
}data[N<<1];
inline void add(int x,int y,int val){
    data[++num].to=y;data[num].next=h[x];h[x]=num;data[num].val=val;
}
bool dfs(int x){
    vis[x]=1;
    for(int i=h[x];i;i=data[i].next){
        int y=data[i].to;
        if(d[y]>d[x]+data[i].val){
            d[y]=d[x]+data[i].val;
            if(vis[y]||dfs(y)){vis[x]=0;return 1;}
        }
    }vis[x]=0;return 0;
}
int main(){
//  freopen("a.in","r",stdin);
    n=read();m=read();
    while(m--){
        int op=read(),x=read(),y=read();
        if(op==1){
            if(x==y){puts("No");return 0;}
            add(x,y,-read());
        }
        if(op==2) add(y,x,read());
        if(op==3) add(x,y,0),add(y,x,0);
    }
    for(int i=1;i<=n;++i) if(dfs(i)){puts("No");return 0;}
    puts("Yes");return 0;
}