【题解】Luogu P3275 [SCOI2011] 糖果 差分约束

听说是裸的板子，所以开始现学

题目给出的5种操作都能转化为差分约束

如果大于正向连$1$的边

如果小于反向连$1$的边

如果等于要双向建边

另：要开$long long$

code

 

#include <bits/stdc++.h>
using namespace std;
namespace gengyf{
#define int long long
const int mod=1e9+7;
const int maxn=1e5+10;
inline int read(){
    int x=0,f=1;
    char c=getchar();
    while(c<'0'||c>'9'){if(c=='-')f=-1;c=getchar();}
    while(c>='0'&&c<='9'){x=(x*10)+c-'0';c=getchar();}
    return x*f;
}
int n,m,ans;
struct edge{
    int to,nxt,w;
}e[maxn*2];
int head[maxn],cnt,dis[maxn],vis[maxn],us[maxn];
inline void add(int from,int to,int w){
    e[++cnt].to=to;e[cnt].nxt=head[from];
    e[cnt].w=w;head[from]=cnt;
}
queue<int>q;
bool spfa(){
    while(!q.empty()){
        int x=q.front();q.pop();
        vis[x]=0;us[x]=1;
        for(int i=head[x];i;i=e[i].nxt){
            int y=e[i].to;
            if(dis[x]+e[i].w>dis[y]){
                dis[y]=dis[x]+e[i].w;
                us[i]++;
                if(us[i]>=n)return 0;
                if(!vis[y]){
                    q.push(y);vis[y]=1;
                }
            }
        }
    }
    return 1;
}
int main(){
    n=read();m=read();
    for(int i=1;i<=m;i++){
        int x,a,b;
        x=read();a=read();b=read();
        if(x==1)add(a,b,0),add(b,a,0);
        if(x==2)add(a,b,1);
        if(x==3)add(b,a,0);
        if(x==4)add(b,a,1);
        if(x==5)add(a,b,0);
        if(x%2==0&&a==b){
            printf("-1\n");return 0;
        }
    }
    for(int i=1;i<=n;i++){
        dis[i]=1;us[i]=1;vis[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;
}
}
signed main(){
  gengyf::main();
  return 0;
}