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 个申请人可以从ti时刻开始连续工作8小时。

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

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

输入格式

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

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

第二行包含整数N。

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

输出格式

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

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

数据范围

0≤R(0)≤1000,
0≤N≤1000,
0≤ti≤23

思路

直接假设S24为答案，能找到非环就证明答案正确。

代码

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<int,int> pii;
typedef unsigned long long ull;

const int N=30,M=110,inf=0x3f3f3f3f;
int n;
int h[N],e[M],w[M],ne[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(cnt, 0, sizeof cnt);
	memset(st, 0, sizeof st);
	
	int hh = 0,tt = 1;
	dist[0] = 0;
	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 true;
}

int main()
{
	//freopen("test.in","r",stdin);//设置 cin scanf 这些输入流都从 test.in中读取
    //freopen("test.out","w",stdout);//设置 cout printf 这些输出流都输出到 test.out里面去
	ios::sync_with_stdio(false);
	cin.tie(0),cout.tie(0);
	int T;
	cin>>T;
	while(T--)
	{
		for(int i=1;i<=24;i++) cin>>r[i];
		cin>>n;
		memset(num,0,sizeof num);
		for(int i=0;i<n;i++)
		{
			int t;
			cin>>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) cout<<"No Solution"<<endl;
	}
	return 0;
}