【NOIP模拟赛】收银员（一道差分约束好题）

/*
    s[]表示最优方案的序列中的前缀和，那么s[23]就是最优方案
    由题意我们可以列出这样一些式子：
    s[i]+s[23]-s[16+i]>=a[i] (i-8<0)
    s[i]-s[i-8]>=a[i] (i-8>0)//这两个柿子选一个
    b[i]>=s[i]-s[i-1]>=0
    然后可以化简为：
    s[i]-s[16+i]>=a[i]-s[23]
    s[i]-s[i-8]>=a[i]
    s[i]-s[i-1]>=0
    s[i-1]-s[i]>=-b[i]
    这就满足了差分约束的形式了
    呢么就让减数向被减数连一条边，权值就是不等式右边的常数
    对于s[23]我们二分答案，因此就转化为对于一个既定的s[23]，以及按照一定规则建好的图，判断这个条件下是否存在负环
    如果存在说明答案太小，如果不存在则答案合法，继续松弛
*/
#include<iostream>
#include<cstdio>
#include<queue>
#include<cstring>
#define maxn 30
#define INF 10000000000
using namespace std;
int T,num;
int s=,vis[maxn],inq[maxn],head[maxn],dis[maxn],a[maxn],b[maxn];
struct node{
    int to,pre,v;
}e[];
void Insert(int from,int to,int v){
    e[++num].to=to;
    e[num].v=v;
    e[num].pre=head[from];
    head[from]=num;
}

bool spfa(){//判负环
    for(int i=;i<s;i++)dis[i]=-INF,inq[i]=vis[i]=;
    dis[s]=,inq[s]=,vis[s]=;
    queue<int>q;
    q.push(s);
    while(!q.empty()){
        int u=q.front();q.pop();
        inq[u]=;
        if(vis[u]>)return ;
        for(int i=head[u];i;i=e[i].pre){
            int v=e[i].to;
            if(dis[v]>=dis[u]+e[i].v)continue;
            dis[v]=dis[u]+e[i].v;
            vis[v]++;
            if(!inq[v])inq[v]=,q.push(v);
        }
    }
    return ;
}
bool check(int s0){
    num=;memset(head,,sizeof(head));
    for(int i=;i<;i++){
        if(i>=)Insert(i-,i,a[i]);
        else Insert(i+,i,a[i]-s0);
        if(i)Insert(i,i-,-b[i]),Insert(i-,i,);
        else Insert(i,s,-b[i]),Insert(s,i,);
    }
    Insert(,s,-s0),Insert(s,,s0);
    return spfa();
}
int main(){
    freopen("cashier.in","r",stdin);freopen("cashier.out","w",stdout);
    scanf("%d",&T);
    while(T--){
        int l=,r=;
        for(int i=;i<;i++)scanf("%d",&a[i]),l=max(l,a[i]);
        for(int i=;i<;i++)scanf("%d",&b[i]),r+=b[i];
        if(l>r||!check(r)){puts("-1");continue;}
        if(l==){puts("");continue;}
        int ans;
        while(l<=r){
            int mid=(l+r)>>;
            if(check(mid))ans=mid,r=mid-;
            else l=mid+;
        }
        printf("%d\n",ans);
    }
}