bzoj4044/luoguP4762 [Cerc2014]Virus synthesis(回文自动机+dp)

Posted rikurika

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了bzoj4044/luoguP4762 [Cerc2014]Virus synthesis(回文自动机+dp)相关的知识,希望对你有一定的参考价值。

bzoj Luogu

你要用ATGC四个字母用两种操作拼出给定的串:

1.将其中一个字符放在已有串开头或者结尾。

2.将已有串复制,然后reverse,再接在已有串的头部或者尾部。

一开始已有串为空。求最少操作次数。

len<=100000

题解时间

一个非空串经过一次操作2之后一定是一个偶回文串。

所以考虑建出PAM之后dp。

由于只有偶回文串可以通过操作2产生,所以只有偶回文串参与dp。

对于PAM上一个点 $ x $ :

  • 如果这个串去掉两头一个字母之后的串 $ y $ 非空,那么很明显 $ x $ 可以由 $ y $ 在操作2之前先加上这个字母获得, $ dp[x]=dp[y]+1 $ 。

  • 而如果 $ y $ 为空,那么需要至少两次操作, $ dp[x]=2 $ 。

  • $ x $ 可以由长度不超过 $ len/2 $ 的后缀回文串延长复制得来,倍增跳fail找到第一个长度不超过 $ len/2 $ 的串 $ y $ , $ dp[x]=dp[y]+(len[x]/2-len[y])+1 $ 。

#include<bits/stdc++.h>
using namespace std;
namespace RKK
{
const int N=100011;
char str[N];int n;
int cc(char ch)
{
    switch(ch)
    {
        case 'A':return 0;
        case 'G':return 1;
        case 'C':return 2;
        case 'T':return 3;
        default:return 114514;
    }
}
queue<int> q;
struct remilia{int tranc[4],len,fail;void set(){memset(this,0,24);}};
struct sakuya
{
    remilia p[N];
    int size,fin;
    int fa[N][20];
    int dp[N];
    void set()
    {
        p[0].set(),p[1].set();
        p[0].len=0,p[1].len=-1;
        p[0].fail=p[1].fail=1;
        memset(dp,0,(size+1)*sizeof(int));
        size=fin=1;
    }
    sakuya(){size=fin=1;this->set();}
    int match(char *s,int i,int px){return s[i-p[px].len-1]==s[i];}
    void ins(char *s,int i)
    {
        int ch=cc(s[i]);
        int npx,lpx,lpy;
        lpx=fin;
        while(!match(s,i,lpx)) lpx=p[lpx].fail;
        if(!p[lpx].tranc[ch])
        {
            npx=++size;p[npx].set();
            p[npx].len=p[lpx].len+2;
            lpy=p[lpx].fail;
            while(!match(s,i,lpy)) lpy=p[lpy].fail;
            p[npx].fail=p[lpy].tranc[ch];
            p[lpx].tranc[ch]=npx;
        }
        fin=p[lpx].tranc[ch];
    }
    int find(int x)
    {
        int l=p[x].len/2;
        for(int k=19;k>=0;k--)if(p[fa[x][k]].len>l) x=fa[x][k];
        while(p[x].len&1||p[x].len>l) x=fa[x][0];
        return x;
    }
    void work()
    {
        for(int i=0;i<=size;i++) fa[i][0]=p[i].fail;
        for(int k=1;k<20;k++)for(int i=0;i<=size;i++) fa[i][k]=fa[fa[i][k-1]][k-1];
        dp[0]=0;for(int i=0;i<4;i++)if(p[0].tranc[i]) dp[p[0].tranc[i]]=2,q.push(p[0].tranc[i]);
        int ans=n;
        while(!q.empty())
        {
            int x=q.front();q.pop();
            int f=find(x);
            dp[x]=min(dp[x],dp[f]+p[x].len/2-p[f].len+1);
            ans=min(ans,n-p[x].len+dp[x]);
            for(int i=0;i<4;i++)if(p[x].tranc[i]) dp[p[x].tranc[i]]=dp[x]+1,q.push(p[x].tranc[i]);
        }
        printf("%d
",ans);
    }
}pam;
int TAT;
int Iris()
{
    scanf("%d",&TAT);
    while(TAT--)
    {
        scanf("%s",str+1),n=strlen(str+1);
        for(int i=1;i<=n;i++) pam.ins(str,i);
        pam.work();
        pam.set();
    }
    return 0;
}
}
int main(){return RKK::Iris();}

以上是关于bzoj4044/luoguP4762 [Cerc2014]Virus synthesis(回文自动机+dp)的主要内容,如果未能解决你的问题,请参考以下文章

luogu P4762 [CERC2014]Virus synthesis (回文自动机)

bzoj:4762: 最小集合

bzoj 1552: [Cerc2007]robotic sort

bzoj 1552: [Cerc2007]robotic sort.

BZOJ4052[Cerc2013]Magical GCD 乱搞

bzoj4052 [CERC2013]Magical GCD