bzoj1226/luogu2157 学校食堂 (状压dp)

我们先约定：（左） 窗口_人人人人人 （右）

可以发现，我们只需要知道最靠左的还没打饭的人 以及它身后7个人的状态 以及上一个打饭的人是谁

因为他左面的就都打过了 右面7个人以后肯定还没打

可以设f[i][j][k]表示这是第i个人，身后7个人的状态是j，上一个打饭的是k

但其实上一个打饭的离他最远也就是8，所以可以只记i和k的差值，为了避免出负数再加个10之类的

考虑怎么转移，有两种情况

1.i身后的某个人打饭：找到j中是0的一位x，同时保证x左面的没打饭的人+这个人的容忍度<=x，也就是保证这个转移合法

2.i自己打饭：找到i右面第一个是0的位置，转移到这个位置

转移的时候更新一下k就好了

 #include<bits/stdc++.h>
 #define CLR(a,x) memset(a,x,sizeof(a))
 using namespace std;
 typedef long long ll;
 typedef pair<int,int> pa;
 const int maxn=,maxs=,maxb=;

 inline ll rd(){
     ll x=;char c=getchar();int neg=;
     while(c<''||c>''){if(c=='-') neg=-;c=getchar();}
     while(c>=''&&c<='') x=x*+c-'',c=getchar();
     return x*neg;
 }

 int N,v[maxn],f[maxn][maxs][maxb],b[maxn],bin[maxb];

 int gettime(int i,int j,int k){
     return (i+k-)?(v[i+j]|v[i+k-])-(v[i+j]&v[i+k-]):;
 }

 int main(){
     //freopen("","r",stdin);
     int i,j,k,l;
     bin[]=;for(i=;i<=;i++) bin[i]=bin[i-]<<;
     for(int T=rd();T;T--){
         N=rd();
         for(i=;i<=N;i++)
             v[i]=rd(),b[i]=rd();
         for(i=N+;i<=N+;i++)
             b[i]=;
         CLR(f,);
         f[][][]=;int ans=1e9+;
         for(i=;i<=N;i++){
             for(j=;j<bin[b[i]+];j++){
                 for(k=;k<=+b[i];k++){
                     if(f[i][j][k]>=1e9) continue;
                     int mi=;
                     for(l=;l<=b[i]&&l<=mi;l++){
                         if(!(j&bin[l])) f[i][j|bin[l]][l+]=min(f[i][j|bin[l]][l+],f[i][j][k]+gettime(i,l,k));
                         if(!(j&bin[l])) mi=min(mi,l+b[i+l]);
                     }
                     for(l=;l<=b[i];l++)
                         if(!(j&bin[l])) break;
                     f[i+l][j>>l][-l]=min(f[i+l][j>>l][-l],f[i][j][k]+gettime(i,,k));
                     if(i+l>N) ans=min(ans,f[i+l][j>>l][-l]);
                 }
             }
         }
         printf("%d\n",ans);
     }
     return ;
 }