#差分约束系统，最长路，SPFA#POJ 1275 Cashier Employment

题目

1∼24小时中第$i$个小时需要$r_i$个出纳员,有$n$个人应聘，第$i$从$x_i$开始工作，一直工作8个小时。求至少要招募多少人应聘。

---

分析

首先$0\le s_i-s_{i-1}\le num[i]$,然后$s_i-s_{i-8}\ge r_i$,接着$s_i-s_{i-16}\ge r_i-s_{24}$，通过这些可以建立一个最长路，但是当出现正环的时候无解，还有$s_{2}4$需要枚举

---

代码

#include <cstdio>
#include <cctype>
#include <queue>
#include <cstring>
#define rr register
using namespace std;
struct node{int y,w,next;}e[101];
int k,n,ls[31],cnt[31],nee[31];
inline signed iut(){
	rr int ans=0; rr char c=getchar();
	while (!isdigit(c)) c=getchar();
	while (isdigit(c)) ans=(ans<<3)+(ans<<1)+(c^48),c=getchar();
	return ans;
}
inline void add(int x,int y,int w){
	e[++k]=(node){y,w,ls[x]}; ls[x]=k;
}
inline bool spfa(int ans){
	rr int dis[31],ccnt[31]; rr bool v[31];
	memset(dis,0xcf,sizeof(dis));
	memset(v,0,sizeof(v));
	memset(ccnt,0,sizeof(ccnt));
	rr queue<int>q; q.push(0);
	dis[0]=0; v[0]=1;
	while (q.size()){
		rr int x=q.front(); q.pop();
		if ((++ccnt[x])==24) return 0;
		for (rr int i=ls[x];~i;i=e[i].next)
		if (dis[e[i].y]<dis[x]+e[i].w){
			dis[e[i].y]=dis[x]+e[i].w;
			if (!v[e[i].y]){
				v[e[i].y]=1;
				q.push(e[i].y);
			}
		}
		v[x]=0;
	}
	return dis[24]==ans;
}
signed main(){
	for (rr int t=iut();t;--t){
		memset(cnt,0,sizeof(cnt));
		for (rr int i=1;i<25;++i) nee[i]=iut();
		n=iut(); rr bool flag=0;
		for (rr int i=1;i<=n;++i) ++cnt[iut()+1];
		for (rr int i=0;i<=n;++i){
			memset(ls,-1,sizeof(ls)); k=0;
			add(0,24,i);
			for (rr int j=1;j<25;++j){
				add(j-1,j,0),add(j,j-1,-cnt[j]);
				if (j>7) add(j-8,j,nee[j]);
				    else add(j+16,j,nee[j]-i);
			}
			if (spfa(i)){
				flag=1,printf("%d",i);
				break; 
			}
		}
		if (!flag) printf("No Solution");
		putchar(10);
	}
	return 0;
}