这是目前碰到最难的dp题之一,看题解都看得迷迷糊糊的。
现在是定义状态dp[i][j][s][x],代表前i本书,拿走了j本书,s是剩下书的集合,x是最后一本书的高度的混乱度。
为了省空间,第一维可以用滚动数组。
然后依次枚举第二三四维,如果目前的高度h与x相同,那直接从i-1继承过来即可,如果不相同,那就有两种选择,一种选择是拿走这本书,另一种选择是把这本书放进去。
#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
#define ss(x) scanf("%d",&x)
const int maxn=8;
const int inf=0x3f3f3f3f;
int f[2][100][(1<<maxn)][10];
int n,k;
int bitcount(int x) {return x>0?bitcount(x/2)+(x&1):0;}
int main()
{
int kase=0;
while(true)
{
int h,all=0;
ss(n);ss(k);if(n+k==0) break;
memset(f[0],inf,sizeof(f[0]));
for(int i=0;i<n;i++){
ss(h);h-=25;
int p=i&1;
int q=!p;
memset(f[q],inf,sizeof(f[q]));
f[q][i][1<<h][h]=1;
for(int j=0;j<=min(i,k);j++)
{
for(int s=all;s!=0;s=(s-1)&all)
{
for(int x=0;(1<<x)<=s;x++)
{
if(f[p][j][s][x]!=inf)
{
if(h==x) f[q][j][s][x]=min(f[q][j][s][x],f[p][j][s][x]);
else{
f[q][j+1][s][x]=min(f[q][j+1][s][x],f[p][j][s][x]);
f[q][j][s|(1<<h)][h]=min(f[q][j][s|(1<<h)][h],f[p][j][s][x]+1);
}
}
}
}
}
all|=(1<<h);
}
int ans=inf;
for(int i=0;i<=k;i++){
for(int s=all;s!=0;s=(s-1)&all){
for(int x=0;(1<<x)<=s;x++){
if(f[n&1][i][s][x]!=inf) ans=min(ans,f[n&1][i][s][x]+bitcount(s^all));
}
}
}
printf("Case %d: %d\n\n",++kase,ans);
}
return 0;
}