题解——洛谷P3275 [SCOI2011]糖果-CSDN博客

一道条件非常多的差分约束

把\( a < b \)转化为\( a-b \le -1\)就可做了

\( a>b \)的情况同理

若有负环则无解输出-1

注意本题中要求每个人都有糖果

所以假设一个源点\( d_{0} \)，使\( d_{i}-d_{0} \ge 1 \ , \ (1 \le i \le n) \)

另外，本题要求得是最小值

\( x_{i}-x_{j} \le a_{k} \)的形式求出的是最大值

要转化成 \( x_{j}-x_{i} \ge a_{k} \)的形式求解最小值

每个人的最小值即为\( dis_{i} \)，所以求和

因为和是负数，所以输出-ans

ans会爆int

#include <cstdio>
#include <algorithm>
#include <queue>
#include <cstring>
using namespace std;
const int MAXN = 100010;
const int MAXM = 500000;
int cnt=0,u[MAXM],v[MAXM],w[MAXM],first[MAXN],next[MAXM];
bool vis[MAXN];
int inq[MAXN],dis[MAXN],f[MAXN];
int n,k;
void addedge(int ux,int vx,int wx){
    ++cnt;
    u[cnt]=ux;
    v[cnt]=vx;
    w[cnt]=wx;
    next[cnt]=first[ux];
    first[ux]=cnt;
}
bool spfa(int s){
    queue<int> q;
    for(int i=0;i<=n;i++)
            dis[i]=0x3f3f3f3f;
    q.push(s);
    dis[s]=0;
    inq[s]=1;
    vis[s]=1;
    f[s]=1;
    while(!q.empty()){
        int u=q.front();
        q.pop();
        vis[u]=0;
        f[u]=1;
        for(int i=first[u];i;i=next[i]){
            if(w[i]+dis[u]<dis[v[i]]){
                dis[v[i]]=w[i]+dis[u];
                if(!vis[v[i]]){
                    vis[v[i]]=1;
                    inq[v[i]]++;
                    q.push(v[i]);
                    if(inq[v[i]]>=n)
                        return false;
                }
            }
        }
    }
    return true;
}
int main(){
    scanf("%d %d",&n,&k);
    int x,a,b;
    for(int i=1;i<=k;i++){
        scanf("%d",&x);
        if(x==1){
            scanf("%d %d",&a,&b);
            addedge(a,b,0);
            addedge(b,a,0);
        }
        else if(x==2){
            scanf("%d %d",&a,&b);
            addedge(a,b,-1);
            if(a==b){
                printf("-1");
                return 0;
            }
        }
        else if(x==3){
            scanf("%d %d",&a,&b);
            addedge(b,a,0);
        }
        else if(x==4){
            scanf("%d %d",&a,&b);
            addedge(b,a,-1);
            if(a==b){
            printf("-1");
            return 0;
            }
        }
        else{
            scanf("%d %d",&a,&b);
            addedge(a,b,0);
        }
    }
    for(int i=n;i>=1;i--)
        addedge(0,i,-1);
    if(!spfa(0)){
        printf("-1");
        return 0;
    }
    long long ans=0;
    for(int i=1;i<=n;i++)
        ans+=-dis[i];
    printf("%lld",ans);
    return 0;
}