BZOJ1226 [SDOI2009]学校食堂Dining 【状压dp】

题目

小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。

题解

我们想象任意时候的排队情形，一定是前排若干人已经打到饭，之后紧接着最多8个人有着不一的打饭状态，后边的人全都没打饭

就好比这样：1111111[010101]00000000

所以我们可以设状态\(f[i][j][k]\)，表示前\(i-1\)个人已经打饭，从\(i\)开始8个人的打饭状态为j，前一个打饭的是k

我们就可以枚举下一个吃饭的人进行状态转移

可以发现，有很多状态之间有交集，我们只在i号位为0时进行转移，否则就更新\(i+1\)状态，放到\(i+1\)时再决策

我们枚举吃饭的人，

要注意虽然\(i\)能容忍后面\(Bi\)个人，但是可能\(i\)后面的人不能容忍，所以枚举时还要统计一下实际最多能枚举到哪个地方

细节考虑清楚就行了【好难写】

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#define f(i,j,k) F[i][j][k + 8]
using namespace std;
const int maxn = 1005,maxm = (1 << 8),INF = 1000000000;
inline int read(){
    int out = 0,flag = 1; char c = getchar();
    while (c < 48 || c > 57) {if (c == '-') flag = -1; c = getchar();}
    while (c >= 48 && c <= 57) {out = (out << 3) + (out << 1) + c - '0'; c = getchar();}
    return out * flag;
}
int F[maxn][maxm][20],b[maxn],c[maxn],n;
void calmin(int& x,int y){x = min(x,y);}
int cal(int last,int u){
    if (!last) return 0;
    return c[last] ^ c[u];
}
int main(){
    int T = read();
    while (T--){
        fill(F[0][0],F[0][0] + maxn * maxm * 20,INF);
        n = read();
        for (int i = 1; i <= n; i++) c[i] = read(),b[i] = read();
        f(1,0,-1) = 0;
        for (int i = 1; i <= n; i++){
            for (int s = 0; s < (1 << 8); s++){
                for (int k = -8; k <= 7; k++){
                    if (f(i,s,k) < INF){
                        if (s & 1) calmin(f(i + 1,(s >> 1),k - 1),f(i,s,k));
                        else {
                            int r = INF;
                            for (int j = 0; j <= 7; j++){
                                if ((s & (1 << j)) == 0){
                                    if (i + j > r) break;
                                    r = min(r,i + j + b[i + j]);
                                    calmin(f(i,s + (1 << j),j),f(i,s,k) + cal(i + k,i + j));
                                }
                            }
                        }
                    }
                }
            }
        }
        int ans = INF;
        for (int i = -8; i < 0; i++) calmin(ans,f(n + 1,0,i));
        printf("%d\n",ans);
    }
    return 0;
}