POJ 1275 Cashier Employment

题意：

       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;
}