UVa 12235 状压DP Help Bubu

题解戳这

一开始没看懂题解，后来想明白以后，d(i, j, s, x)是考虑第i本书的时候，前面已经拿走了j本书，剩下的书的种类的二进制状态为s，剩下的最后一本书的编号为x，所能得到的最小混乱度。

这里状态定义的时候，先不考虑把拿出来的书放回去。

最后统计答案的时候，把那些拿出来的书再加上。

all是所有n本书的状态，s是剩下书的种类的状态。

如果拿出来的书中有和前面高度相同的，直接插到相邻的位置就行了，不会增加混乱度。

如果拿出来的书中没有和前面高度相同的，不管放在那里混乱度都会加1，这样所增加的混乱度就是bitcount(all ^ s)

 #include <cstdio>
 #include <cstring>
 #include <algorithm>
 using namespace std;

 const int maxn =  + ;
 const int maxs = ( << );
 const int INF = 0x3f3f3f3f;

 int n, k;

 int a[maxn];
 int d[][maxn][maxs][];

 int bitcount(int x)
 {
     int ans = ;
     while(x) { ans += (x&); x >>= ; }
     return ans;
 }

 int main()
 {
     int kase = ;

     while(scanf("%d%d", &n, &k) == )
     {
         if(!n && !k) break;

         for(int i = ; i < n; i++) scanf("%d", a + i);

         memset(d[], 0x3f, sizeof(d[]));
         int cur = ;
         int all = ;

         for(int i = ; i < n; i++)
         {
             cur ^= ;
             memset(d[cur], 0x3f, sizeof(d[cur]));
             int h = a[i] - ;
             d[cur][i][<<h][h] = ;

             for(int j = ; j <= min(k, i); j++)
                 for(int s = all; s; s = (s-)&all)
                     for(int x = ; ( << x) <= s; x++)
                         if(d[cur^][j][s][x] != INF)
                         {
                             int t = d[cur^][j][s][x];
                             if(x == h) d[cur][j][s][x] = min(d[cur][j][s][x], t);
                             else
                             {
                                 d[cur][j+][s][x] = min(d[cur][j+][s][x], t);
                                 d[cur][j][s|(<<h)][h] = min(d[cur][j][s|(<<h)][h], t + );
                             }
                         }
             all |= ( << h);
         }

         int ans = n;
         for(int j = ; j <= k; j++)
             for(int s = all; s; s = (s-)&all)
                 for(int x = ; ( << x) <= s; x++)
                     ans = min(ans, d[cur][j][s][x] + bitcount(all^s));
         printf("Case %d: %d\n\n", ++kase, ans);
     }

     return ;
 }

代码君