n个人应聘出纳员,每个人从t[i]开始工作8小时结束。给你每个小时至少需要的人数r[i],问最少招聘的人数
题解:
差分约束+建模。
由于需要考虑的是时间段,于是运用前缀和将时间点转化为时间段,令s[i]表示1时至i时招聘的总人数。
令t[i]表示应聘i时的人数,r[i]表示i时需要的人数,时间为0时到24时,根据题意就有:
0 <= s[i]-s[i-1] <= t[i]
s[i]-s[i-8] <= r[i] (if i<=7)
(s[i]+s[24])-s[i+16] <=r[i] (if i<=24)
令s[0]=0,则答案就是s[24]。第三条约束不能用常规的差分约束解决(三个变量),那么考虑将s[24]用枚举或者二分解决。
二分答案mid后,由于s[24]==mid,再加入s[24]-s[0]>=mid,s[24]-s[0]<=mid两条限制,判是否可行即可。
#include<queue>
#include<cstdio>
#include<cstring>
#include<iostream>
using namespace std;
const int N=5e3+10;
int T,n,E;
int r[N],t[N],vis[N],tim[N],fir[N],len[N],dis[N],arr[N],nex[N];
queue<int> q;
int read() {
int x=0; char c=getchar();
while (c<'0'||c>'9') c=getchar();
while (c>='0'&&c<='9') x=x*10+c-'0',c=getchar();
return x;
}
void Add_Edge(int x,int y,int l) {
nex[++E]=fir[x];
fir[x]=E;
arr[E]=y;
len[E]=l;
}
int Spfa() {
memset(dis,0x3f,sizeof(int)*30);
memset(tim,0,sizeof(int)*30);
memset(vis,0,sizeof(int)*30);
while (!q.empty()) q.pop();
dis[0]=0; q.push(0);
while (!q.empty()) {
int u=q.front(); q.pop();
vis[u]=0;
for (int i=fir[u];i;i=nex[i]) {
int v=arr[i];
if (dis[u]+len[i]<dis[v]) {
dis[v]=dis[u]+len[i];
if (!vis[v]) {
tim[v]++;
if (tim[v]>25) return 0;
q.push(v);
vis[v]=1;
}
}
}
}
return 1;
}
int check(int mid) {
E=0;
memset(fir,0,sizeof(int)*30);
Add_Edge(0,24,mid);
Add_Edge(24,0,-mid);
for (int i=1;i<=24;i++) Add_Edge(i-1,i,t[i]);
for (int i=1;i<=24;i++) Add_Edge(i,i-1,0);
for (int i=1;i<=7;i++) Add_Edge(i,i+16,mid-r[i]);
for (int i=8;i<=24;i++) Add_Edge(i,i-8,-r[i]);
return Spfa();
}
int main() {
for (T=read();T;T--) {
for (int i=0;i<=23;i++) r[(!i)?24:i]=read();
n=read();
for (int i=1;i<=n;i++) {
int x=read(); if (!x) x=24;
t[x]++;
}
int l=0,r=n;
while (l<r) {
int mid=(l+r)>>1;
if (check(mid)) r=mid;
else l=mid+1;
}
if (!check(l)) puts("No Solution");
else printf("%d\n",l);
memset(t,0,sizeof(int)*30);
}
return 0;
}