AcWing 393 雇佣收银员

题目描述：

一家超市要每天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)≤1000,
0≤N≤1000,
0≤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

分析：

本题相对与前几题的难点在于约束条件的转换以及对出现了三个变量不等式的处理。首先，根据题意总结出约束条件。

题目输入有每个员工到达的时间ti，不管有多少个员工，ti永远是0到23之间的整数，我们只关注每个整点能到达的员工数，所以用num[i]记录下在i时刻到达的员工数，我们要做的就是在每个整点选出xi个员工，在符