[BZOJ]1226 [SDOI2009]学校食堂Dining

题目地址：[BZOJ]1226 [SDOI2009]学校食堂Dining;

---

题面：

1226: [SDOI2009]学校食堂Dining

Time Limit: 10 Sec Memory Limit: 259 MB

Description

小$F$ 的学校在城市的一个偏僻角落，所有学生都只好在学校吃饭。学校有一个食堂，虽然简陋，但食堂大厨总能做出让同学们满意的菜肴。当然，不同的人口味也不一定相同，但每个人的口味都可以用一个非负整数表示。由于人手不够，食堂每次只能为一个人做菜。做每道菜所需的时间是和前一道菜有关的，若前一道菜的对应的口味是$a$，这一道为$b$，则做这道菜所需的时间为$(a\ or\ b)-(a\ and\ b)$ ，而做第一道菜是不需要计算时间的。其中，$or$ 和 $and$ 表示整数逐位或运算及逐位与运算，C语言中对应的运算符为“|”和“&”。学生数目相对于这个学校还是比较多的，吃饭做菜往往就会花去不少时间。因此，学校食堂偶尔会不按照大家的排队顺序做菜，以缩短总的进餐时间。虽然同学们能够理解学校食堂的这种做法，不过每个同学还是有一定容忍度的。也就是说，队伍中的第 $i$ 个同学，最多允许紧跟他身后的 $B_i$ 个人先拿到饭菜。一旦在此之后的任意同学比当前同学先拿到饭，当前同学将会十分愤怒。因此，食堂做菜还得照顾到同学们的情绪。现在，小$F$ 想知道在满足所有人的容忍度这一前提下，自己的学校食堂做完这些菜最少需要多少时间。

Input

第一行包含一个正整数 $C$，表示测试点的数据组数。每组数据的第一行包含一个正整数 $N$，表示同学数。每组数据的第二行起共 $N$ 行，每行包含两个用空格分隔的非负整数 $T_i$ 和 $B_i$，表示按队伍顺序从前往后的每个同学所需的菜的口味和这个同学的忍受度。每组数据之间没有多余空行。

Output

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

Sample Input

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

Sample Output

16
1

HINT

对于第一组数据：同学 $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$。

---

题解：
首先可以发现$(a\ or\ b)-(a\ and\ b) = (a \ xor\ b)$，也就是a ^ b.（简化运算，虽然并没有什么用的样子）
本题应该可以一眼看出是道 $DP$ 题，通过题目中的时间计算公式是与上一个拿菜的人有关，因此数组中的下标需要保存上一个人是谁。又因为每个人都有个忍耐度，而这个忍耐度非常小，最大只有 $7$ ，也就是说到一个人为止，前面的人都已经打好菜了，这个人与他之后的人打菜的状况数最多只有 $2^8$ 也就是 $256$ 种情况。从这里就可以发现这是道状压 $DP$ 。
设数组 $f[i][j][k]$ 为前 $i-1$ 个人都已经打好饭了，上次打饭是第 $i+k$ 个人（有可能是之前的人，所以 $k$ 可能是负数，所以还要加上$8$），第 $i$ 个人与后面 $7$ 个人的打饭状态为 $j$ (1代表打过饭了)。
当前状态为：$f[i][j][k]$
当j & 1 == 1 的时候，说明第 $i$ 个人已经打好饭了，当前状态其实是和$f[i+1][j >> 1][k-8]$的状态一样，就可以直接转移（继承）。毕竟前 i <script type="math/tex" id="MathJax-Element-1662">i</script>个人都已经打好饭了。
当j & 1 != 1 的时候。只能向后枚举下一次打饭的人是谁，当然只能选没打过饭的，而且在选的过程中要保证在所有人的忍耐度内。就可以转移了，计算的时候直接用a ^ b就行了。

---

代码：

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#define ll long long
using namespace std;
#define N 1005
#define INF 0x3f3f3f3f
inline int read(){
    char ch=getchar(); int x=0,f=1;
    while (ch<'0'||ch>'9') { if (ch=='-') f=-1; ch=getchar(); }
    while (ch>='0'&&ch<='9') { x=x*10+ch-'0'; ch=getchar(); }
    return x*f;
}

int n;
int f[N][20][256];
int w[N],b[N];

int main(int argc, char const *argv[]){
    int T = read();
    while(T--){
        memset(f,0x3f,sizeof f);
        n = read();
        for(int i = 1;i <= n;++i){
            w[i] = read(); b[i] = read();
        }
        f[1][7][0] = 0;
        for(int i = 1;i <= n;++i)
            for(int j = 0;j <= (1<<8)-1;++j)
                for(int k = -8;k <= 7;++k)
                    if(f[i][k+8][j] < INF){
                        if(j & 1)
                            f[i+1][k+7][j>>1] = min(f[i+1][k+7][j>>1],f[i][k+8][j]);
                        else{
                            int p = INF;
                            for(int z = 0;z <= 7;++z){
                                if(!((j>>z) & 1)){
                                    if(i+z > p) break;
                                    p = min(p,i+z+b[i+z]);
                                    f[i][z+8][j | (1<<z)] = min(f[i][z+8][j | (1<<z)],f[i][k+8][j]+(i+k?(w[i+k]^w[i+z]):0));
                                }
                            }
                        }
                    }
        int ans = INF;
        for(int i = 0;i <= 8;++i)
            ans = min(ans,f[n+1][i][0]);
        printf("%d\n", ans);
    }
    return 0;
}