BZOJ 3864 Hero meet devil DP套DP

最新推荐文章于 2018-12-26 12:20:37 发布

PoPoQQQ

最新推荐文章于 2018-12-26 12:20:37 发布

阅读量3k

点赞数 4

分类专栏：动态规划状压DP BZOJ 文章标签： BZOJ BZOJ3864 动态规划状压DP

本文链接：https://blog.csdn.net/PoPoQQQ/article/details/46826271

版权

BZOJ 同时被 3 个专栏收录

667 篇文章 1 订阅

订阅专栏

动态规划

50 篇文章 1 订阅

订阅专栏

状压DP

12 篇文章 1 订阅

订阅专栏

该博客主要介绍了如何利用动态规划和状压DP解决BZOJ 3864题目的基因序列LCS（最长公共子序列）问题。博主探讨了如何定义状态和转移，并且提到了状态数不超过2n，可以使用二进制数存储相邻状态的差值，最后给出了O(4*n*2^n + 4*m*2^n)的时间复杂度预处理和DP方法。

摘要由CSDN通过智能技术生成

题目大意：给定一个长度为 $n(n\leq 15)$ 的基因序列 $S$ ，求对于每个 $i(0\leq i\leq n)$ 有多少长度为 $m(m\leq1000)$ 的基因串 $T$ 满足 $S$ 与 $T$ 的 $LCS$ 为 $i$

考虑 $LCS$ 怎么求
$f_{i,j}$ 表示 $T$ 的前 $i$ 位和 $S$ 的前 $j$ 位的 $LCS$
我们发现每一行之和上一行的状态有关

那么在这个问题中，我们令 $f_{i,j}$ 表示 $T$ 的前 $i$ 位与 $S$ 的 $LCS$ 状态的第 $i$ 行为 $j$ 的状态数
由于每一行相邻两数最多差 $1$ ，因此状态数不会超过 $2^n$ ，用一个二进制数存储相邻两项的差值即可
预处理所有转移后直接DP，时间复杂度 $O(4*n*2^n+4*m*2^n)$

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
#define MOD 1000000007
using namespace std;
const char letters[]={'A','C','G','T'};
int n,m;
char s[20];
int trans[1<<15][4],cnt[1<<15],f[2][1<<15];
void Pretreatment()
{
    int i,j,k;
    for(i=0;i<1<<n;i++)
    {
        static int f[20],g[20];
        for(j=1;j<=n;j++)
            f[j]=f[j-1]+(i&(1<<j-1)?1:0);
        cnt[i]=f[n];
        for(k=0;k<4;k++)
        {
            for(j=1;j<=n;j++)
            {
                g[j]=max(g[j-1],f[j]);
                if(letters[k]==s[j])
                    g[j]=max(g[j],f[j-1]+1);
            }
            trans[i][k]=0;
            for(j=1;j<=n;j++)
                if(g[j]-g[j-1])
                    trans[i][k]|=1<<j-1;
        }

    }
}
int main()
{
    int T,i,j,k;
    for(cin>>T;T;T--)
    {
        scanf("%s%d",s+1,&m);
        n=strlen(s+1);
        Pretreatment();
        memset(f,0,sizeof f);
        f[0][0]=1;
        for(i=1;i<=m;i++)
        {
            memset(f[i&1],0,sizeof(f[0][0])<<15);
            for(j=0;j<1<<n;j++)
                for(k=0;k<4;k++)
                    (f[i&1][trans[j][k]]+=f[~i&1][j])%=MOD;
        }
        static int ans[20];
        memset(ans,0,sizeof ans);
        for(i=0;i<1<<n;i++)
            (ans[cnt[i]]+=f[m&1][i])%=MOD;
        for(i=0;i<=n;i++)
            printf("%d\n",ans[i]);
    }
    return 0;
}