差分约束——BZOJ2330/Luogu3275 [SCOI2011]糖果

题面：Luogu3275 BZOJ2330
差分约束入门题？
好吧是的，把约束条件转成图之后直接跑SPFA
怎么转就不说了吧。。。
然后输出-1的条件就是已知条件矛盾
这种矛盾有两种形式：直接和间接

• 直接：给出条件中明确矛盾
• 间接：SPFA跑最长路出现正环

这两种情况直接判掉好了
最后答案就是所有的dist加起来就好了

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<iostream>
#include<cstdlib>
#include<set>
#include<map>
#include<string>
#include<ctime>
#include<queue>
#include<vector>
using namespace std;
queue<int>q;
bool vis[100001];
int n,m,dist[100001],r[100001]={0};
int nedge=0,p[300001],c[300001],nex[300001],head[300001];
inline void addedge(int x,int y,int z){
    p[++nedge]=y;c[nedge]=z;
    nex[nedge]=head[x];head[x]=nedge;
}
inline void spfa(int x){
    for(int i=1;i<=n;i++)dist[i]=0;
    q.push(x);vis[x]=1;dist[x]=0;r[x]++;
    while(!q.empty()){
        int now=q.front();q.pop();
        for(int k=head[now];k;k=nex[k])if(dist[p[k]]<dist[now]+c[k]){
            dist[p[k]]=dist[now]+c[k];r[p[k]]++;
            if(r[p[k]]>=n){puts("-1");exit(0);}
            if(!vis[p[k]]){
                vis[p[k]]=1;q.push(p[k]);
            }
        }
        vis[now]=0;
    }
}
int main()
{
    scanf("%d%d",&n,&m);
    for(int i=1;i<=m;i++){
        int x,y,z;scanf("%d%d%d",&z,&x,&y);
        if(z==1)addedge(x,y,0),addedge(y,x,0);
        if(z==2)if(x==y)return puts("-1")&0;else addedge(x,y,1);
        if(z==3)addedge(y,x,0);
        if(z==4)if(x==y)return puts("-1")&0;else addedge(y,x,1);
        if(z==5)addedge(x,y,0);
    }
    for(int i=n;i;i--)addedge(0,i,1);
    spfa(0);
    long long ans=0;for(int i=1;i<=n;i++)ans+=(long long)dist[i];
    printf("%lld",ans);
    return 0;
}