【BZOJ2300】【SCOI2011】糖果

差点就忘了还有差分约束这个东西……看见了就要学习一个

原题：

幼儿园里有N个小朋友，lxhgww老师现在想要给这些小朋友们分配糖果，要求每个小朋友都要分到糖果。但是小朋友们也有嫉妒心，总是会提出一些要求，比如小明不希望小红分到的糖果比他的多，于是在分配糖果的时候，lxhgww需要满足小朋友们的K个要求。幼儿园的糖果总是有限的，lxhgww想知道他至少需要准备多少个糖果，才能使得每个小朋友都能够分到糖果，并且满足小朋友们所有的要求。

N<=100000，K<=100000，1<=A, B<=N

 

差分约束模板题，学习一个！

以操作3为例，如果a不少于b，那么a-b>=0，a>=b+0

所以连b到a权值为0的边，根据三角形不等式，要跑最长路来使条件满足

具体原理我也想不太清楚，反正记住搞出三角形不等式后跑符号相反的spfa就对了 _(:3 」∠)_

因为写出了像"q[tl]=false"酱sb的东西+没对拍所以没1A……

注意longlong

代码：

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
#include<cmath>
using namespace std;
int rd(){int z=0,mk=1;  char ch=getchar();
    while(ch<'0'||ch>'9'){if(ch=='-')mk=-1;  ch=getchar();}
    while(ch>='0'&&ch<='9'){z=(z<<3)+(z<<1)+ch-'0';  ch=getchar();}
    return z*mk;
}
struct ddd{int nxt,y,v;}e[210000];  int lk[110000],ltp=0;
inline void ist(int x,int y,int z){  e[++ltp].nxt=lk[x],lk[x]=ltp,e[ltp].y=y,e[ltp].v=z;}
int n,m;
int dstc[110000],cnt[110000];
int q[110000],hd=0,tl=0,tp=100001;  bool vstd[110000];
bool spfa(){
    memset(vstd,0,sizeof(vstd));
    //memset(dstc,0,sizeof(dstc));
    for(int i=1;i<=n;++i)  q[++hd]=i,dstc[i]=1;
    while(tl!=hd){
        tl=(tl==tp ? 0 : tl+1);
        for(int i=lk[q[tl]];i;i=e[i].nxt)if(dstc[q[tl]]+e[i].v>dstc[e[i].y]){
            dstc[e[i].y]=dstc[q[tl]]+e[i].v;
            if(++cnt[e[i].y]==n)  return false;
            if(!vstd[e[i].y])  q[hd=(hd==tp ? 0 : hd+1)]=e[i].y,vstd[e[i].y]=true;
        }
        vstd[q[tl]]=false;
    }
    return true;
}
int main(){//freopen("ddd.in","r",stdin);
    cin>>n>>m;
    int mk,l,r;
    while(m--){
        mk=rd(),l=rd(),r=rd();
        if(mk==1)  ist(l,r,0),ist(r,l,0);
        else if(mk==2){
            if(l==r){  cout<<-1<<endl;  return 0;}
            ist(l,r,1);
        }
        else if(mk==3)  ist(r,l,0);
        else if(mk==4){
            if(l==r){  cout<<-1<<endl;  return 0;}
            ist(r,l,1);
        }
        else if(mk==5)  ist(l,r,0);
    }
    if(!spfa()){  cout<<-1<<endl;  return 0;}
    long long ans=0;
    for(int i=1;i<=n;++i)  ans+=dstc[i];
    cout<<ans<<endl;
    return 0;
}