自动搬运

查看原文

来自洛谷，原作者为

	xyz32768 “各方面相差太远”

搬运于2025-08-24 21:34:36，当前版本为作者最后更新于2017-08-17 23:28:09，作者可能在搬运后再次修改，您可在原文处查看最新版

自动搬运只会搬运当前题目点赞数最高的题解，您可前往洛谷题解查看更多

以下是正文

状压$DP$。

设$f[i][j][k]$表示第$1$个人到第$i-1$个人已经打完饭，第$i$个人以及后面$7$个人是否打饭的状态为$j$，当前最后一个打饭的人的编号为$i+k$（$k$的范围为$-8$到$7$，所以用数组存时要加上$8$），那么转移为：

当j&1为真，就表示第$i$个人已经打完饭，$i$之后的$7$个人中，还没打饭的人就再也不会插入到第$i$个人前面了。所以这时候可以转移到$f[i+1][j>>1][k-1]$，即$f[i+1][j>>1][k-1]=min(f[i+1][j>>1][k-1],f[i][j][k])$，不需要累积时间（因为在j&1为真的情况下，$f[i][j][k]$和$f[i+1][j>>1][k-1]$的意义是一样的）。

而为什么意义是一样的呢？因为可以看出，最后一个打饭的人的编号为$(i+1)+(k-1)=i+k$，和$f[i][j][k]$表示的一样。而第$i$个人也打完了饭，所以满足「第$1$个人到第$i$个人已经打完饭」这个条件。而$j>>1$就是说$i$之后的第$1$个人就是$i+1$之后的第$0$个人（就是$i+1$本人），$i$之后的第$2$个人就是$i+1$之后的第$1$个人，$i$之后的第$3$个人就是$i+1$之后的第$2$个人，…。这样就可以看出意义一样了。

当j&1为假时，是没办法转移到$f[i+1]$的（因为$i+1$之前的人还有$i$没有打完饭）。但是这时候可以把$i$以及$i$之后的$7$个人中选出一个人打饭，也就是枚举$h$从$0$到$7$，$f[i][j|(1<<h)][h]=min(f[i][j|(1<<h)][h],f[i][j][k]+time(i+k,i+h))$，其中$time(i,j)$表示如果上一个人编号为$i$，当前的人编号为$j$，那么做编号为$j$的人的菜需要的时间。 当然，这个转移需要考虑到忍耐度的问题。这样，在$i$和$i$之后的$7$个人，不是每一个还未打饭的人都可以先打饭的。因为编号在他之前的所有未打饭的人的忍耐度必须能忍受这个人在他们之前打饭。所以，在这里用了一个变量$r$来统计了一下，表示到目前为止的未打饭的人的忍受范围（注意，不是忍耐度，忍受范围是指能忍受在其之前打饭的最大位置）的最小值，对于任何一个人，如果$i+h>r$，就表示他无法满足编号在他之前的所有人的忍受范围，就不要考虑这个人了。代码实现如下：

lir = INF;
for (h = 0; h <= 7; h++) if (!((j >> h) & 1)) {
    if (i + h > lir) break;
    chkmin(lir, i + h + B[i + h]);
    chkmin(f[i][j | (1 << h)][h + 8], f[i][j][k + 8] +
    (i + k ? (T[i + k] ^ T[i + h]) : 0));
}

其中$lir$为上面提到的统计变量$r$，$chkmin(a,b)$为如果$b<a$则把$a$赋为$b$。

最后答案即为$min(f[n+1][0][k],-8<=k<=0)$。

完整代码：

#include <cmath>
#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;
inline int read() {
    int res = 0; bool bo = 0; char c;
    while (((c = getchar()) < '0' || c > '9') && c != '-');
    if (c == '-') bo = 1; else res = c - 48;
    while ((c = getchar()) >= '0' && c <= '9')
        res = (res << 3) + (res << 1) + (c - 48);
    return bo ? ~res + 1 : res;
}
const int N = 1005, INF = 0x3f3f3f3f;
int n, T[N], B[N], f[N][1 << 8][20];
void chkmin(int &a, int b) {a = min(a, b);}
void work() {
    int i, j, k, h, lir;
    n = read(); for (i = 1; i <= n; i++)
        T[i] = read(), B[i] = read();
    memset(f, INF, sizeof(f)); f[1][0][7] = 0;
    for (i = 1; i <= n; i++) for (j = 0; j < (1 << 8); j++)
    for (k = -8; k <= 7; k++) if (f[i][j][k + 8] != INF) {
        if (j & 1) chkmin(f[i + 1][j >> 1][k + 7], f[i][j][k + 8]);
        else {
            lir = INF;
            for (h = 0; h <= 7; h++) if (!((j >> h) & 1)) {
                if (i + h > lir) break;
                chkmin(lir, i + h + B[i + h]);
                chkmin(f[i][j | (1 << h)][h + 8], f[i][j][k + 8] +
                (i + k ? (T[i + k] ^ T[i + h]) : 0));
            }
        }
    }
    int res = INF; for (k = 0; k <= 8; k++)
        res = min(res, f[n + 1][0][k]);
    printf("%d\n", res);
}
int main() {
    int T = read();
    while (T--) work();
    return 0;
}