bzoj 3864: Hero meet devil [dp套dp]

3864: Hero meet devil

题意:

给你一个只由AGCT组成的字符串S (|S| ≤ 15)，对于每个0 ≤ .. ≤ |S|，问
有多少个只由AGCT组成的长度为m(1 ≤ m ≤ 1000)的字符串T，使得\(LCS(T,S) = i\)？

---

dp套dp！

通过一个外层的dp来计算使得另一个dp方程(子dp)最终结果为特定值的输入数。

一位一位确定子dp的输入,记录子dp的状态值

子dp：

\(d(i,j)\)表示\(LCS(T[1,i],S[1,j])\)，对第二维差分，\(j\)与\(j-1\)只可能相差0/1，可以状压

外层dp：

\(f(i,s)\)表示确定到T的第i位，子dp状态值为s的方案数

预处理子dp每种状态值加一个字符后的转移，然后进行外层dp即可

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <cmath>
using namespace std;
typedef long long ll;
const int N = 1005, mo = 1e9+7;
inline int read() {
    char c=getchar(); int x=0,f=1;
    while(c<'0'||c>'9') {if(c=='-')f=-1;c=getchar();}
    while(c>='0'&&c<='9') {x=x*10+c-'0';c=getchar();}
    return x*f;
}

int n, m; char str[20], c[10] = "ACGT";
int trans[1<<15][4], one[1<<15], f[2][1<<15];
void init() {
    static int d[20], g[20];
    for(int s=0; s < 1<<n; s++) {
        if(s) one[s] = one[s ^ (s&-s)] + 1;
        for(int j=0; j<n; j++) d[j+1] = d[j] + bool(s & (1<<j));
        for(int k=0; k<4; k++) {
            for(int j=1; j<=n; j++) {
                g[j] = max(g[j-1], d[j]);
                if(c[k] == str[j]) g[j] = max(g[j], d[j-1]+1);
            }
            trans[s][k] = 0;
            for(int j=0; j<n; j++) if(g[j+1] - g[j]) trans[s][k] |= 1<<j; 
        }
    }
}
int ans[N];
int main() {
    freopen("in", "r", stdin);
    int T = read();
    while(T--) {
        scanf("%s", str+1); m = read(); n = strlen(str+1);
        init();
        memset(ans, 0, sizeof(ans));
        memset(f, 0, sizeof(f));
        f[0][0] = 1; int p = 0;
        for(int i=1; i<=m; i++, p ^= 1) {
            memset(f[p^1], 0, sizeof(f[p^1]));
            for(int s=0; s < 1<<n; s++)
                for(int k=0; k<4; k++) (f[p^1][trans[s][k]] += f[p][s]) %= mo;
        }
        for(int s=0; s < 1<<n; s++) (ans[one[s]] += f[p][s]) %= mo;
        for(int i=0; i<=n; i++) printf("%d\n", ans[i]);
    }
}