SDOI 2009 学校食堂（状压 dp）

Description

Link

Solution

$$(A_i\vee A_{i+1})-(A+i\wedge A_{i+1})=A_i\oplus A_{i+1}$$

令 $f_{i,j,k}$为 第 $1$ 个人到第 $i-1$ 个人已经打完饭，第 $i$ 个人情况不确定，他和他后面七个人总共八个人的打饭状态为 $j$（$1$ 为打饭，$0$ 为没有打饭），且当前最后一个打完饭的人的编号为 $i+k$ 的情况下，所用的最少时间。由于最后一个打完饭的可能在 $i$ 的前面，所以$-8\le k\le 7$。我们需要对 $k$ 加上一个 $8$。

如果当前枚举到了 $i$，当 $i$ 打完饭了（注意：这里 $i$ 打完饭时间是不确定的，所以最后一个打完饭的不一定是 $i$），那么他后面的人是不受限制的，直接转移即可：

f[i + 1][j >> 1][k - 1] = min(f[i + 1][j][k - 1], f[i][j][k]);//j >> 1 能将第 i 个人 “出队”。因为 i 加上了 1，为了让 k 不变，k 要减去 1。

如果当前枚举到了 $i$，当 $i$ 没打完饭的时候。最多能够忍受后面 $B_i$ 个人比他先吃到饭。我们不能直接转移到 $i+1$了。我们此时用 $x$ 来枚举下一个状态，因为下一个状态不能改变当前已经打饭的人，所以要用与运算判断是否合法。$0\le x\le 7$。

f[i][j | (1 << x)][x] = min(f[i][j][k] + time(i + k, i+  x), f[i][j | (1 << x)][x]); // j | (1 << x) 就是将 (1<<x) 更新到 j 上，j 状态原来打过饭的不用动，新的状态打过饭的要更新了。

转移需要考虑忍耐度，第 $i$ 个人后面的人不是都可以打饭的。需要一个变量 $r$，表示当前为止没打饭的人的忍受范围的最小值（不是忍耐度，忍受范围是指能忍受在其之前打饭的最大位置）。对于任何一个人，如果 $i+x>r$，就不用考虑了。

最后的答案在 $f_{n+1,0,k}$ 。$-8\le k\le 0$。因为我们第 $n$ 个人必须打完饭，所以是 $n+1$。

Code

#include <bits/stdc++.h>
using namespace std;
const int INF = 0x3f3f3f3f;
const int N = 1000 + 10;
int t[N], b[N];
int f[N][1 << 8][21];
int main(){
	int T; scanf("%d", &T);
	while (T--){
		int n; scanf("%d", &n);
		memset(f, INF, sizeof(f)); f[1][0][7] = 0;
		for (int i = 1; i <= n; i++) scanf("%d%d", &t[i], &b[i]);
		for (int i = 1; i <= n; i++)
			for (int j = 0; j < (1 << 8); j++)
				for (int k = -8; k <= 7; k++)
				if(f[i][j][k + 8] != INF){
					if(j & 1) f[i + 1][j >> 1][k + 7] = min(f[i + 1][j][k + 7], f[i][j][k + 8]);
					else{
						int r = INF;
						for (int x = 0; x <= 8; x++)
							if(!((j >> x) & 1)){
								if(i + x > r) break;
								r = min(r, i + x + b[i + x]);
								f[i][j | (1 << x)][x + 8] = 
								min(f[i][j][k + 8] + (i + k ? (t[i + k] ^ t[i + x]) : 0), 
								f[i][j | (1 << x)][x + 8]);
							}
					} 
				}	
		int ans = INF;
		for (int i = 0; i <= 8; i++)
        	ans = min(ans, f[n + 1][0][i]);
    	printf("%d\n", ans);
	} 
	return 0;
}