bzoj-4565-区间dp+状压

4565: [Haoi2016]字符合并

Time Limit: 20 Sec  Memory Limit: 256 MB
Submit: 542  Solved: 253
[Submit][Status][Discuss]

Description

有一个长度为 n 的 01 串，你可以每次将相邻的 k 个字符合并，得到一个新的字符并获得一定分数。得到的新字

符和分数由这 k 个字符确定。你需要求出你能获得的最大分数。

Input

第一行两个整数n，k。接下来一行长度为n的01串，表示初始串。接下来2^k行，每行一个字符ci和一个整数wi，ci

表示长度为k的01串连成二进制后按从小到大顺序得到的第i种合并方案得到的新字符,wi表示对应的第i种方案对应

获得的分数。1<=n<=300,0<=ci<=1,wi>=1,k<=8

Output

输出一个整数表示答案

Sample Input

3 2
101
1 10
1 10
0 20
1 30

Sample Output

40
//第3行到第6行表示长度为2的4种01串合并方案。00->1,得10分，01->1得10分，10->0得20分，11->1得30分。

HINT

 

Source

　　　　　　有很多细节，递推方程想出来了但最后还是看了题解才知道具体的操作。f[i][j][S]表示区间[i,j]合并成状态S获得的最大价值，一开始有一点想不通，比如'1','01','001'用二进制表示都是1，我们怎么识别的，有一个重要的性质是一个长度为k的区间完全合并后的长度就是x=n%(k-1)?n%(k-1):k-1。知道了这点就很nice了。显然一个区间肯定要完全合并才能使得价值最大。对于一个区间，考虑枚举分割点，我们可以枚举合并后最右侧的那一个数来分割这个区间，换句话说就是把[i,j]=[i,m-1]+[m,j] , [m,j]完全合并后得到一个元素，这个m可以不断-(k-1)枚举得到，由于右侧的区间大小不断的+(k-1),相当于左边的区间大小不断地-(k-1),所以这两个子区间完全合并后的元素个数s1,s2是一定的且s2==1。最后一个数可能是0/1，

得到方程  f[i][j][S<<1]=max(f[i][j][S<<1],f[i][m-1][S]+f[m][j][0])

　　　　 f[i][j][S<<1|1]=max(f[i][j][S<<1|1],f[i][m-1][S]+f[m][j][1])  //注意这些状态必须合法才可转移

要注意s1的范围是[1,k-1],当s1=k-1时s1+s2=k,此时还可以再进行合并为一个元素，需要计算一下f[i][j][0/1]。

　　

#include<bits/stdc++.h>
using namespace std;
#define LL long long 
#define INF 0x3f3f3f3f
LL f[310][310][(1<<8)+20];
char s[310];
int b[(1<<8)+20];
LL c[(1<<8)+20];
int main(){
    int n,m,k,i,j;
    scanf("%d%d",&n,&k);
    scanf("%s",s+1); 
    for(i=0;i<(1<<k);++i)
        scanf("%d%lld",b+i,c+i);
    memset(f,-INF,sizeof(f));
    LL inf=f[0][0][0];
    for(i=1;i<=n;++i) f[i][i][s[i]-'0']=0;
    for(int len=2;len<=n;++len){
        for(i=1;i+len-1<=n;++i){
            j=i+len-1;
            
            int l=(j-i)%(k-1);
            if(!l) l=k-1;
            for(int las=j;las>=i;las-=k-1){
                for(int S=0;S<(1<<l);++S){
                    if(f[i][las-1][S]==inf) continue;
                    if(f[las][j][0]!=inf)
                    f[i][j][S<<1]=max(f[i][j][S<<1],f[i][las-1][S]+f[las][j][0]);
                    if(f[las][j][1]!=inf);
                    f[i][j][S<<1|1]=max(f[i][j][S<<1|1],f[i][las-1][S]+f[las][j][1]);
                }
            }
            if(l==k-1){
                LL g[2]={inf,inf};
                for(int S=0;S<(1<<k);++S){
                    if(f[i][j][S]!=inf){
                        g[b[S]]=max(g[b[S]],f[i][j][S]+c[S]);
                    }
                }
                f[i][j][0]=g[0];
                f[i][j][1]=g[1];
            }
        }
    }
    LL ans=0;
    int l=n%(k-1)?n%(k-1):k-1;
    for(i=0;i<(1<<l);++i)
        ans=max(ans,f[1][n][i]);
    cout<<ans<<endl;
    return 0;    
}