[SCOI2011]糖果

题目大意：
　　有n个正整数，k个约束条件。条件分为5种：
　　　　1.a和b相等；
　　　　2.a小于b；
　　　　3.a不小于b；
　　　　4.a大于b；
　　　　5.a不大于b。
　　问条件是否矛盾，如果不矛盾，求它们最小和。

思路：
　　差分约束。
　　把数当作点，约束关系当作边，跑SPFA，如果有环则说明矛盾。

#include<queue>
#include<cstdio>
#include<cctype>
#include<vector>
typedef long long int64;
inline int getint() {
    register char ch;
    while(!isdigit(ch=getchar()));
    register int x=ch^'0';
    while(isdigit(ch=getchar())) x=(((x<<2)+x)<<1)+(ch^'0');
    return x;
}
const int N=100001;
struct Edge {
    int to,w;
};
std::vector<Edge> e[N];
inline void add_edge(const int &u,const int &v,const int &w) {
    e[u].push_back((Edge){v,w});
}
bool inq[N];
std::queue<int> q;
int dis[N],cnt[N],n;
bool spfa() {
    q.push(0);
    inq[0]=true;
    while(!q.empty()) {
        const int x=q.front();
        q.pop();
        inq[x]=false;
        if(++cnt[x]>=n) return false;
        for(register unsigned i=0;i<e[x].size();i++) {
            const int &y=e[x][i].to,&w=e[x][i].w;
            if(dis[x]+w>dis[y]) {
                dis[y]=dis[x]+w;
                if(!inq[y]) {
                    q.push(y);
                    inq[y]=true;
                }
            }
        }
    }
    return true;
}
int main() {
    n=getint();
    for(register int k=getint();k;k--) {
        int t=getint(),a=getint(),b=getint();
        if(t==1) {
            add_edge(a,b,0);
            add_edge(b,a,0);
        }
        if(t==2) {
            if(a==b) {
                puts("-1");
                return 0;
            }
            add_edge(a,b,1);
        }
        if(t==3) add_edge(b,a,0);
        if(t==4) {
            if(a==b) {
                puts("-1");
                return 0;
            }
            add_edge(b,a,1);
        }
        if(t==5) add_edge(a,b,0);
    }
    for(register int i=1;i<=n;i++) {
        add_edge(0,i,1);
    }
    if(!spfa()) {
        puts("-1");
        return 0;
    }
    int64 ans=0;
    for(register int i=1;i<=n;i++) ans+=dis[i];
    printf("%lld
",ans);
    return 0;
}