【2018/07/16测试T3】【SDOJ 2171】学校食堂

题目传送门学校食堂（这还是我第一次见到有25组数据的题虽然最后还是0分）

 

【题目】

题目描述：

小 F 的学校在城市的一个偏僻角落，所有学生都只好在学校吃饭。学校有一个食堂，虽然简陋，但食堂大厨总能做出让同学们满意的菜肴。当然，不同的人口味也不一定相同，但每个人的口味都可以用一个非负整数表示。

由于人手不够，食堂每次只能为一个人做菜。做每道菜所需的时间是和前一道菜有关的，若前一道菜的对应的口味是 a，这一道为 b，则做这道菜所需的时间为（a or b）-（a and b），而做第一道菜是不需要计算时间的。其中，or 和 and 表示整数逐位或运算及逐位与运算，C语言中对应的运算符为"|"和"&"。

学生数目相对于这个学校还是比较多的，吃饭做菜往往就会花去不少时间。因此，学校食堂偶尔会不按照大家的排队顺序做菜，以缩短总的进餐时间。

虽然同学们能够理解学校食堂的这种做法，不过每个同学还是有一定容忍度的。也就是说，队伍中的第 i 个同学，最多允许紧跟他身后的 Bi 个人先拿到饭菜。一旦在此之后的任意同学比当前同学先拿到饭，当前同学将会十分愤怒。因此，食堂做菜还得照顾到同学们的情绪。

现在，小 F 想知道在满足所有人的容忍度这一前提下，自己的学校食堂做完这些菜最少需要多少时间。

输入格式：

第一行包含一个正整数C，表示测试点的数据组数。

每组数据的第一行包含一个正整数N，表示同学数。

每组数据的第二行起共N行，每行包含两个用空格分隔的非负整数Ti和Bi，表示按队伍顺序从前往后的每个同学所需的菜的口味和这个同学的忍受度。

每组数据之间没有多余空行。

输出格式：

包含C行，每行一个整数，表示对应数据中食堂完成所有菜所需的最少时间。

样例数据：

输入

2
5
5 2
4 1
12 0
3 3
2 2
2
5 0
4 0

输出

16
1

备注：

样例解释：

对于第一组数据：同学1允许同学2或同学3在他之前拿到菜；同学2允许同学3在他之前拿到菜；同学3比较小气，他必须比他后面的同学先拿菜…… 一种最优的方案是按同学3、同学2、同学1、同学4、同学5做菜，每道菜所需的时间分别是0、8、1、6及1

数据规模与约定：

对于30%的数据，满足1 ≤ N ≤ 20。
对于100%的数据，满足1 ≤ N ≤ 1,000，0 ≤ Ti ≤ 1,000，0 ≤ Bi ≤ 7，1 ≤ C ≤ 5。
存在30%的数据，满足0 ≤ Bi ≤ 1。
存在65%的数据，满足0 ≤ Bi ≤ 5。
存在45%的数据，满足0 ≤ Ti ≤ 130。

 

【分析】

这是一道状压DP的题，本蒟蒻依旧没有想到……

（还是要多练DP的题啊）

一些位运算的知识：戳这里位运算（这是本蒟蒻自己写的博客，还是比较详细）

首先，我们考虑两点

1. 假如第 i 个人还没有吃饭，那 i + 7 号之后的人肯定也还没吃，因为容忍度最多为 7
2. 假如第 i 个人之前的人都吃完了，那么目前为止最后一个选的不可能是 i - 8 号之前的人，还是容忍度的问题

于是，我们用一个三维的 f [ i ][ j ][ k ] 来记录答案，其中 i 、j 、k 的含义如下：

• i 表示的是前 i - 1 个人已经吃完饭，现在dp到了第 i 个人
• j 是状态压缩，记录的是 i 到 i + 7 这八个人的吃饭情况（因为容忍度最多为 7）
• k 记录的是上一个吃饭的人与 i 的相对位置，即 i + k 是上一个人的编号，由于上面的推导的 -8 ≤ k ≤ 7，有负数，我们转移时要加一个数使它为正

这样的话，不难发现，答案answer = min { f [ n + 1 ][ 0 ][ i + 8 ] }   （其中 -8 ≤ i ≤ -1） 

状态转移方程如下（下面的 work 函数是求做菜时间的函数）：

• 若 j & 1 == 1，即第 i 个人已经吃了饭，那么 f [ i + 1 ][ j >> 1 ][ k + 7 ]= min（f [ i ][ j ][ k + 8 ]）；
• 否则就枚举下一个吃饭的人，f [ i ][ j + (1 << l ) ][ l + 8 ] = min（f [ i ][ j ][ k + 8 ] + work（i + k , i + l））；

其中 +8 那些主要是为了防止数组下标为负数，大家可以减掉8再看，更直观些

初始化为：f [ 1 ][ 0 ][ 7 ] = 0，其他的都是inf（即很大的数）

具体的限制和转移操作可以去看代码，本蒟蒻写得还是很直观的

状态压缩的题位运算会用的比较多，还是要多熟悉位运算的知识QAQ

另外，x | y - x & y = x ^ y，代码中就直接用的是 x ^ y，可以自己举个例子来看一下，也可以在c++上运行一下，注意一下 - 的优先级是在 | 和 & 之前的，所以要写成 ( x | y ) - ( x & y ) 的样子，不加括号的话相当于是 x | ( y - x ) & y，就错了

 

【代码】

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
const int N=1005,M=1<<8,K=20;
int n,m,oo;
int t[N],b[N];
int f[N][M][K];
int work(int x,int y)
{
	if(x==0)
	  return 0;
	return t[x]^t[y];
}
void DP()
{
	int i,j,k,l;
	memset(f,127,sizeof(f));
	oo=f[1][1][1];
	f[1][0][7]=0;
	for(i=1;i<=n;++i)
	  for(j=0;j<M;++j)
	    for(k=-8;k<=7;++k)
		{
		    if(f[i][j][k+8]<oo)
		    {
		    	if(j&1)
		    	  f[i+1][j>>1][k+7]=min(f[i+1][j>>1][k+7],f[i][j][k+8]);
		    	else
		    	{
		    		m=oo;
		    		for(l=0;l<=7;++l)
		    		{
		    			if(!(j&(1<<l)))
		    			{
		    				if(i+l>m)  break;
		    				m=min(m,i+l+b[i+l]);
		    				f[i][j+(1<<l)][l+8]=min(f[i][j+(1<<l)][l+8],f[i][j][k+8]+work(i+k,i+l));
						}
					}
				}
			}
		}
}
int main()
{
	int c,i,ans;
	scanf("%d",&c);
	while(c--)
	{
		scanf("%d",&n);
		for(i=1;i<=n;++i)
		  scanf("%d%d",&t[i],&b[i]);
		DP();
		ans=oo;
		for(i=-8;i<=-1;++i)
		  ans=min(ans,f[n+1][0][i+8]);
		printf("%d\n",ans);
	}
	return 0;
}