bzoj2330糖果——差分约束

题目：https://www.lydsy.com/JudgeOnline/problem.php?id=2330

差分约束，再建立一个源点0，向所有点连边权为1的边，表示每个人都会分到糖果；

答案较大，需要开long long；

据说有个大数据会T，所以需要0点从n向1连边；

WA了数次，竟然是没看清条件...不少于，不多于什么的...

代码如下：

#include<iostream>
#include<cstdio>
#include<cstring>
#include<queue>
using namespace std;
queue<int>q;
int const MAXN=1e5+;
int n,k,head[MAXN],ct,dis[MAXN],cnt[MAXN];
bool in[MAXN];
long long ans;
struct N{
    int to,next,w;
    N(int t=,int n=,int w=):to(t),next(n),w(w) {}
}edge[MAXN<<];
bool spfa(int s)
{
    memset(in,,sizeof in);
    memset(dis,-,sizeof dis);
    dis[s]=;in[s]=;q.push(s);cnt[s]=;
    while(q.size())
    {
        int x=q.front();q.pop();in[x]=;
        for(int i=head[x],u;i;i=edge[i].next)
        {
            if(dis[u=edge[i].to]<dis[x]+edge[i].w)
            {
                if(++cnt[u]>=n)return ;
                dis[u]=dis[x]+edge[i].w;
                if(!in[u])in[u]=,q.push(u);
            }
        }
    }
    return ;
}
int main()
{
    scanf("%d%d",&n,&k);
    int tp,x,y;
    for(int i=;i<=k;i++)
    {
        scanf("%d%d%d",&tp,&x,&y);
        if(tp==){edge[++ct]=N(y,head[x],),head[x]=ct;
                  edge[++ct]=N(x,head[y],),head[y]=ct;}
        if(tp==){if(x==y){printf("-1");return ;}
            else edge[++ct]=N(y,head[x],),head[x]=ct;}
        if(tp==)edge[++ct]=N(x,head[y],),head[y]=ct;
        if(tp==){if(x==y){printf("-1");return ;}
            else edge[++ct]=N(x,head[y],),head[y]=ct;}
        if(tp==)edge[++ct]=N(y,head[x],),head[x]=ct;
    }
    for(int i=n;i;i--)
        edge[++ct]=N(i,head[],),head[]=ct;
    if(!spfa())
    {
        printf("-1");return ;
    }
    for(int i=;i<=n;i++)ans+=dis[i];
    printf("%lld",ans);
    return ;
}