差分约束——雇佣收银员

雇佣收银员

一家超市要每天24小时营业，为了满足营业需求，需要雇佣一大批收银员。

已知不同时间段需要的收银员数量不同，为了能够雇佣尽可能少的人员，从而减少成本，这家超市的经理请你来帮忙出谋划策。

经理为你提供了一个各个时间段收银员最小需求数量的清单R(0),R(1),R(2),…,R(23)。

R(0)表示午夜00:00到凌晨01:00的最小需求数量，R(1)表示凌晨01:00到凌晨02:00的最小需求数量，以此类推。

一共有N个合格的申请人申请岗位，第 i 个申请人可以从ti时刻开始连续工作8小时。

收银员之间不存在替换，一定会完整地工作8小时，收银台的数量一定足够。

现在给定你收银员的需求清单，请你计算最少需要雇佣多少名收银员。

输入格式
第一行包含一个不超过20的整数，表示测试数据的组数。

对于每组测试数据，第一行包含24个整数，分别表示R(0),R(1),R(2),…,R(23)。

第二行包含整数N。

接下来N行，每行包含一个整数ti。

输出格式
每组数据输出一个结果，每个结果占一行。

如果没有满足需求的安排，输出“No Solution”。

数据范围
$0\le R(0)\le 1000$,
$0\le N\le 1000$,
$0\le t_i\le 23$
输入样例：
1
1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
5
0
23
22
1
10
输出样例：
1

题解：

这道题的和我们之前做的一个差分约束的题目有点相似也是利用了前缀和的思想。不过这道题有一个难点在于我们可能会跨越一天，比如我安排一个员工１１点工作那么他能连续工作８个小时那么他就能工作到第二天，那么这个时候我们求前缀和的时候其实是一个分段函数。并且我们对于第二个分段函数他并不是常用的形式。
他是$s_i>=s_{i+16}-s_{24}+r_i$（0<=j<=7）这里不等式的右边出现了两个变量。我们一般的做法就是把一个变量变成常数，所以我们在这里枚举ｓ２４。这样就能把所有的式子化成标准的最长路了。
因为题意包含０，一般我们喜欢把０当成超级源点，所以把整个坐标轴平移１个单位。
有小伙伴问我为什么只用枚举０－１０００，我补充一下就是因为题目给的信息是我们最多安排１０００个人。所以上界就是１０００啦。

#include <bits/stdc++.h>
using namespace std;
const int N=1e3+7;
int cnt,r[N],e[N],num[N],head[N],ne[N],w[N],dis[N],con[N],vis[N];
void add(int a,int b,int c)
{
    e[cnt]=b,w[cnt]=c,ne[cnt]=head[a],head[a]=cnt++;
}
void build(int c)
{
    memset(head,-1,sizeof head);
    cnt=0;
    add(0,24,c),add(24,0,-c);
    for (int i = 1; i <= 7; i ++ ) add(i + 16, i, r[i] - c);
    for (int i = 8; i <= 24; i ++ ) add(i - 8, i, r[i]);
    for (int i = 1; i <= 24; i ++ ) {
        add(i, i - 1, -num[i]);
        add(i - 1, i, 0);
    }
}
bool spfa(int x)
{
    build(x);
    memset(dis,-0x3f3f3f3f,sizeof dis);
    memset(con,0,sizeof con);
    memset(vis,0,sizeof vis);
    stack<int> st;
    st.push(0);
    vis[0]=1;
    dis[0]=0;
    while(!st.empty()){
        int u=st.top(); st.pop();
        vis[u]=0;
        for(int i=head[u];~i;i=ne[i]){
            int j=e[i];
            if(dis[j]<dis[u]+w[i]){
                dis[j]=dis[u]+w[i];
                con[j]=con[u]+1;
                if(con[j]>=25) return 0;
                if(!vis[j]){
                    st.push(j);
                    vis[j]=1;
                }
            }
        }
    }
    return 1;
}
int main()
{
    int t; cin>>t;
    while(t--){
        memset(head,-1,sizeof head);
        for(int i=1;i<=24;i++){
            cin>>r[i];
        }
        int n; cin>>n;
        memset(num,0,sizeof num);
        for(int i=1;i<=n;i++){
            int tmp; cin>>tmp;
            num[++tmp]++;
        }
        int flag=0;
        for(int i=0;i<=1000;i++){
            if(spfa(i)){
                cout<<i<<endl;
                flag=1;break;
            }
        }
        if(!flag) cout<<"No Solution"<<endl;
    }
    return 0;
}