BZOJ 1030 文本生成器 | 在AC自动机上跑DP

题目:

http://www.lydsy.com/JudgeOnline/problem.php?id=1030

---

题解:

鸽

#include<cstdio>
#include<algorithm>
#include<cstring>
#define p 10007
#define N 6010
using namespace std;
int n,m,sze=,ans1,ans2=,a[N][],fail[N],q[N],f[][N];
char s[];
bool is[N];
void insert()
{
    int now=,ch,l=strlen(s);
    for(int i=;i<l;i++)
    {
    ch=s[i]-'A'+;
    if(a[now][ch]) now=a[now][ch];
    else now=a[now][ch]=++sze;
    }
    is[now]=;
    return ;
}
void acmatch()
{
    int l=,r=,now;
    q[]=;fail[]=;
    while(l<r)
    {
    now=q[l++];
    for(int i=;i<=;i++)
    {
        if(!a[now][i]) continue;
        int k=fail[now];
        while(!a[k][i]) k=fail[k];
        fail[a[now][i]]=a[k][i];
        if (is[a[k][i]])
        is[a[now][i]]=;
        q[r++]=a[now][i];
    }
    }
}
void dp(int x)
{
    for (int i=;i<=sze;i++)
    {
    if (is[i] || !f[x-][i]) continue;
    for (int j=;j<=;j++)
    {
        int k=i;
        while (!a[k][j]) k=fail[k];
        f[x][a[k][j]]=(f[x][a[k][j]]+f[x-][i])%p;
    }
    }
}
int main()
{
    scanf("%d%d",&n,&m);
    for (int i=;i<=;i++) a[][i]=;
    for (int i=;i<=n;i++)
    {
    scanf("%s",s);
    insert();
    }
    acmatch();
    f[][]=;
    for (int i=;i<=m;i++) dp(i);
    for (int i=;i<=m;i++)
    ans2=ans2*%p;
    for(int i=;i<=sze;i++)
    if(!is[i]) ans1=(ans1+f[m][i])%p;
    printf("%d",(ans2-ans1+p)%p);
    return ;
}