【BZOJ1030】文本生成器(AC自动机,动态规划)
【BZOJ1030】文本生成器(AC自动机,动态规划)
题面
题解
超级简单良心送分题
很明显是所有状态-不合法状态
合法状态就是\(26^m\)
不合法状态做一个\(dp\)就好
#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<set>
#include<map>
#include<vector>
#include<queue>
using namespace std;
#define ll long long
#define RG register
#define MOD 10007
inline int read()
{
RG int x=0,t=1;RG char ch=getchar();
while((ch<'0'||ch>'9')&&ch!='-')ch=getchar();
if(ch=='-')t=-1,ch=getchar();
while(ch<='9'&&ch>='0')x=x*10+ch-48,ch=getchar();
return x*t;
}
struct Node
{
int vis[26];
int lt,fail;
}t[10000];
char ch[500];
int tot,n,m;
int f[120][7000];
void insert(char *s)
{
int now=0,len=strlen(s+1);
for(int i=1;i<=len;++i)
{
if(!t[now].vis[s[i]-'A'])
t[now].vis[s[i]-'A']=++tot;
now=t[now].vis[s[i]-'A'];
}
t[now].lt=1;
}
void GetFail()
{
queue<int> Q;
for(int i=0;i<26;++i)
if(t[0].vis[i])Q.push(t[0].vis[i]);
while(!Q.empty())
{
int u=Q.front();Q.pop();
t[u].lt|=t[t[u].fail].lt;
for(int i=0;i<26;++i)
if(t[u].vis[i])
t[t[u].vis[i]].fail=t[t[u].fail].vis[i],Q.push(t[u].vis[i]);
else
t[u].vis[i]=t[t[u].fail].vis[i];
}
}
int fpow(int a,int b)
{
int s=1;
while(b){if(b&1)s=s*a%MOD;a=a*a%MOD;b>>=1;}
return s;
}
int main()
{
n=read();m=read();
for(int i=1;i<=n;++i)
{
scanf("%s",ch+1);
insert(ch);
}
GetFail();
int ans=fpow(26,m);
f[0][0]=1;
for(int i=1;i<=m;++i)
for(int j=0;j<=tot;++j)
for(int k=0;k<26;++k)
if(!t[t[j].vis[k]].lt)
(f[i][t[j].vis[k]]+=f[i-1][j])%=MOD;
for(int i=0;i<=tot;++i)ans=(ans-f[m][i]+MOD)%MOD;
printf("%d\n",ans);
return 0;
}