题解：[SCOI2011]糖果

依旧是比较明显的差分约束

注意对于五种操作分别对应的连边方式

然后注意head的初始值判断，要不然总是超时……今天遇到好几次了

建图时加个小剪枝，否则会TLE

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<queue>
using namespace std;
const int m=100020;
const int inf=0x3f3f3f3f;
int head[m], dis[m], used[m];
bool vis[m];
long long ans;
int k, n;
int cnt;
queue<int> q;
struct Edge{
    int to, w, next;
}e[m*4];
void add(int u,int v,int w){
    cnt++;
    e[cnt].next=head[u];
    e[cnt].w=w;
    e[cnt].to=v;
    head[u]=cnt;
}
bool spfa(){
    while(!q.empty()){
        int u=q.front();
        q.pop();
        vis[u]=false;
        used[u]=0;
        for(int i=head[u]; i; i=e[i].next){
            int v=e[i].to;
            int w=e[i].w;
            if(dis[v]<dis[u]+w){
                dis[v]=dis[u]+w;
                used[i]++;
                if(used[i]==n) return false;//判断是否有环
                if(!vis[v]){
                    q.push(v);
                    vis[v]=true;
                }
            }
        }
    }
    return true;
}
int main(){
    scanf("%d%d",&n,&k);
    for(int i=1; i<=k; i++) {
        int c, u, v;
        scanf("%d%d%d",&c,&u,&v);
        if(c==1){
            add(u,v,0);
            add(v,u,0);
        }
        if(c==2)    add(u,v,1);
        if(c==3)    add(v,u,0);
        if(c==4)    add(v,u,1);
        if(c==5)    add(u,v,0);
        if(c%2==0 && u==v){
            printf("-1\n");
            return 0;
        }
    }
    for(int i=1; i<=n; i++) {
        vis[i]=1;
        dis[i]=1;
        used[i]=1;
        q.push(i);
    }
    if(!spfa()){
        printf("-1\n");
        return 0;
    }
    for(int i=1; i<=n; i++)
        ans+=dis[i];
    printf("%lld\n",ans);
    return 0;
}