fzyzojP2984 -- 序列变换问题

一个区间缩小变换的问题，并且n<=300

启示我们区间dp

我们考虑最后一定是在原串上扣一些，剩一些

所以不妨前求出[l,r]把[l,r]完全处理成什么样子的方案数

然后再来一遍序列dp，统计答案

（并且发现，每次消除其实是减去k-1个，换句话说，对于l,l+k-1,l+2k-1，消除一次之后，还可以再消除，直到最后剩一个，所以考虑关于mod(k-1)的同余位置）

关于g对f的转移，就是我们考虑[l,r]最后一次是从什么消过来的

关于g自己的转移，考虑最后一部分会消成什么样。（最后一个位置不消掉，就是从f[r][r][0/1]转移过来）

代码：

#include<bits/stdc++.h>
#define il inline
#define reg register int
#define numb (ch^'0')
using namespace std;
typedef long long ll;
il void rd(int &x){
    char ch;bool fl=false;
    while(!isdigit(ch=getchar()))(ch=='-')&&(fl=true);
    for(x=numb;isdigit(ch=getchar());x=x*+numb);
    (fl==true)&&(x=-x);
}
namespace Miracle{
const int N=;
const ll inf=0x3f3f3f3f3f3f3f3f;
ll f[][][],g[][][<<],h[];
int a[N];
int c[<<],w[<<];
int n,k;
int main(){
    rd(n);rd(k);
    for(reg i=;i<=n;++i) rd(a[i]);
    for(reg i=;i<(<<k);++i){
        rd(c[i]);rd(w[i]);
    }
    memset(f,0xcf,sizeof f);
    for(reg i=;i<=n;++i){
        f[i][i][a[i]]=;
    }
    for(reg l=n;l>=;--l){
        for(reg i=l-;i<=n;++i){
            memset(g[i],0xcf,sizeof g[i]);
        }
        g[l-][][]=;
        g[l][][a[l]]=;
        for(reg r=l;r<=n;++r){
            for(reg i=r;i>l;i-=(k-)){
                for(reg t=;t<=k&&t<=i-l+;++t){
                    for(reg s=;s<(<<(t-));++s){
                        g[r][t][s<<]=max(g[r][t][s<<],g[i-][t-][s]+f[i][r][]);
                        g[r][t][s<<|]=max(g[r][t][s<<|],g[i-][t-][s]+f[i][r][]);
                    }
                }
            }
            if((r-l)%(k-)==){
                for(reg s=;s<(<<k);++s){
                    f[l][r][c[s]]=max(f[l][r][c[s]],w[s]+g[r][k][s]);
                }
                g[r][][]=max(g[r][][],f[l][r][]);
                g[r][][]=max(g[r][][],f[l][r][]);
            }
        }
    }
    memset(h,0xcf,sizeof h);
    h[]=;
    for(reg i=;i<=n;++i){
        h[i]=h[i-];
        for(reg j=i;j>=;j-=(k-)){
            h[i]=max(h[i],h[j-]+f[j][i][]);
            h[i]=max(h[i],h[j-]+f[j][i][]);
        }
    }
    printf("%lld\n",h[n]);
    return ;
}

}
signed main(){
    freopen("3.in","r",stdin);
    freopen("3.out","w",stdout);
    Miracle::main();
    return ;
}

/*
   Author: *Miracle*
   Date: 2019/2/9 18:19:41
*/

就是考虑“统计消去[l,r]的”，再来一次统计“在原序列上消去”