POJ 1275

#include <cstdio>

#include <cstdlib>

#include <cstring>

#include <iostream>

#include <algorithm>

#include <cmath>

#include <vector>

#include <bitset>

#include <queue>



using namespace std;



#define print(x) cout<<x<<endl

#define input(x) cin>>x

#define HOUR 24

#define INF 1<<30



struct node

{

	int dest,cost;

	node(){}

	node(int i_dest,int i_cost)

	{

		dest=i_dest;

		cost=i_cost;

	}

};



int work[HOUR+5];//在t时刻新增了多少工作

int man[HOUR+5];//在t时刻新增了多少可用的劳动力

int n;



vector<node> g[HOUR+5];



inline int gethour(int now)

{

	return (now-1+HOUR)%HOUR+1;//24小时是一个循环

}



void makeG(int res)

{

	//建图

	for(int i=0;i<=HOUR;i++) g[i].clear();

	for(int i=1;i<=HOUR;i++)

	{

		//不等式：0<= s[i]-s[i-1] <= man[i]

		//s[i]指在i时刻已经雇佣的人

		//在某个时刻，人数一定不少于前一个时刻，但是又不能多于可用的劳力数

		g[i].push_back(node(i-1,man[i]));

		g[i-1].push_back(node(i,0));

		



		//在i时刻，一定会比i-8时刻多work[i]（或以上）个劳动力

		if(i>=9)

		{

			g[gethour(i-8)].push_back(node(i,-work[i]));

		}

		else

		{

			//对于循环回来的小时，要特殊处理一下

			g[gethour(i-8)].push_back(node(i,res-work[i]));

		}

	}

	//特殊的一个点，s[0]是什么都没有的，所以s[24]-s[0]<=res

	g[0].push_back(node(HOUR,-res));

}



int spfa(int mid)

{

	makeG(mid);

	

	queue<int> q;

	bitset<HOUR+5> visit;

	int dis[HOUR+5];

	fill(dis,dis+HOUR+5,INF);

	int inque[HOUR+5];



	memset(inque,0,sizeof(inque));

	q.push(0);

	visit[0]=1;

	dis[0]=0;



	while(!q.empty())

	{

		int now=q.front();

		q.pop();

		visit[now]=0;



		for(int i=0;i<(int)g[now].size();i++)

		{

			int next=g[now][i].dest;

			int cost=g[now][i].cost;



			if(dis[now]+cost<dis[next])

			{

				dis[next]=dis[now]+cost;

				if(!visit[next])

				{

					visit[next]=1;

					inque[next]++;

					if(inque[next]>HOUR+2) return -INF;

					q.push(next);

				}

			}

		}

	}

	return dis[HOUR];

}



int main()

{

	//思路：差分约束(SPFA)+二分猜测答案

	//难度在于建图

	int T,a;

	input(T);

	while(T--)

	{

		memset(man,0,sizeof(man));

		for(int i=1;i<=HOUR;i++) scanf("%d",work+i);

		input(n);

		for(int i=0;i<n;i++)

		{

			scanf("%d",&a);

			man[a+1]++;

		}

		int left=0,right=n+1;

			

		while(left<=right)

		{

			int mid=(left+right)>>1;

			int ans=spfa(mid);

			if(ans>-INF) right=mid-1;

			else left=mid+1;

		}

		if(left<=n) print(left);

		else print("No Solution");

	}



	return 0;

}