差分约束--------- 雇佣收银员

一家超市要每天24小时营业，为了满足营业需求，需要雇佣一大批收银员。
已知不同时间段需要的收银员数量不同，为了能够雇佣尽可能少的人员，从而减少成本，这家超市的经理请你来帮忙出谋划策。
经理为你提供了一个各个时间段收银员最小需求数量的清单R(0),R(1),R(2),…,R(23)。
R(0)表示午夜00:00到凌晨01:00的最小需求数量，R(1)表示凌晨01:00到凌晨02:00的最小需求数量，以此类推。
一共有N个合格的申请人申请岗位，第 i 个申请人可以从titi时刻开始连续工作8小时。
收银员之间不存在替换，一定会完整地工作8小时，收银台的数量一定足够。
现在给定你收银员的需求清单，请你计算最少需要雇佣多少名收银员。
输入格式
第一行包含一个不超过20的整数，表示测试数据的组数。
对于每组测试数据，第一行包含24个整数，分别表示R(0),R(1),R(2),…,R(23)。
第二行包含整数N。
接下来N行，每行包含一个整数titi。
输出格式
每组数据输出一个结果，每个结果占一行。
如果没有满足需求的安排，输出“No Solution”。
数据范围
0≤R(0)≤10000≤R(0)≤1000,

0≤N≤10000≤N≤1000,

0≤ti≤230≤ti≤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

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
const int N = 30, M = 100, INF = 0x3f3f3f3f;
int n;
int h[N], e[M], ne[M], w[M], idx;
int r[N], num[N];
int dist[N];
int q[N], cnt[N];
bool st[N];
void add(int a, int b, int c) {
 e[idx] = b, w[idx] = c, ne[idx] = h[a], h[a] = idx ++;
}
void build(int c) {
 memset(h, -1, sizeof h);
 idx = 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 c) {
 build(c);
 memset(dist, -0x3f, sizeof dist);
 memset(st, 0, sizeof st);
 memset(cnt, 0, sizeof cnt);
 int hh = 0, tt = 1;
 q[0] = 0;
 st[0] = true;
 while (hh != tt) {
  int t = q[hh++];
  if (hh == N)   hh = 0;
  st[t] = false;
 for (int i = h[t]; ~i; i = ne[i]) {
   int j = e[i];
   if (dist[j] < dist[t] + w[i]) {
    dist[j] = dist[t] + w[i];
    cnt[j] = cnt[t] + 1;
    if (cnt[j] >= 25)    return false;
    if (!st[j]) {
     q[tt++] = j;
     if (tt == N)   tt = 0;
     st[j] = true;
    }
   }
  }
 }
 return false;
}
int main() {
 int T;
 cin >> T;
 while (T--) {
  for (int i = 1; i <= 24; i++)   scanf_s("%d", &r[i]);
  cin >> n;
 memset(num, 0, sizeof num);
  for (int i = 0; i < n; i++) {
   int t;
   scanf_s("%d", &t);
   num[t + 1] ++;
  }
 bool success = false;
  for (int i = 0; i <= 1000; i++) 
   if (spfa(i)) {
    cout << i << endl;
    success = true;
    break;
    }
  if (!success)  puts("No Solution");
 }
    return 0;
}