链接:https://www.luogu.com.cn/problem/P4052
题解:
对于这个题,我们可以先将AC自动机建立出来,然后搞一个简单的容斥
用所有的情况减去不可读的情况。
那么那些是不可读的情况呢?当然就是跑不到单词结尾节点的情况喽……
定义f[i][j]表示当前在j点且串长为i时不经过单词结尾的路径条数
然后从父亲往儿子转移即可
实验室某refun大佬说AC自动机的DP都非常套路
大部分f[i][j]表示当前在节点j,且串长为i时的情况,
有时再加一维表示这个状态里面包含了哪些东西
而且AC自动机的DP会经常让你用矩阵乘法优化
#include<iostream>
#include<cstring>
#include<cstdio>
#include<queue>
#define MOD (10007)
#define N (10005)
using namespace std;
int Son[N][26],End[N],Fail[N];
int n,m,sz,f[105][N],ans;
char s[N];
queue<int>q;
void Insert(char s[])
{
int now=0,len=strlen(s);
for (int i=0; i<len; ++i)
{
int x=s[i]-'A';
if (!Son[now][x]) Son[now][x]=++sz;
now=Son[now][x];
}
End[now]|=1;
}
void Build_Fail()
{
for (int i=0; i<26; ++i)
if (Son[0][i])
q.push(Son[0][i]);
while (!q.empty())
{
int now=q.front();
q.pop();
for (int i=0; i<26; ++i)
{
if (!Son[now][i])
{
Son[now][i]=Son[Fail[now]][i];
continue;
}
End[Son[now][i]]|=End[Son[Fail[now]][i]];
//为什么 或等于 ?
//如果一个单词的后缀是一个可读单词(即fail指针指向可读单词的结尾节点)
//那么这个单词一定也是可读的,就不能往这个单词走了
Fail[Son[now][i]]=Son[Fail[now]][i];
q.push(Son[now][i]);
}
}
}
int main()
{
scanf("%d%d",&n,&m);
for (int i=1; i<=n; ++i)
scanf("%s",s),Insert(s);
Build_Fail();
f[0][0]=1;
for (int i=1; i<=m; ++i)
for (int j=0; j<=sz; ++j)
for (int k=0; k<26; ++k)
if (!End[Son[j][k]])
(f[i][Son[j][k]]+=f[i-1][j])%=MOD;
for (int i=0; i<=sz; ++i)
(ans+=f[m][i])%=MOD;
int sum=1;
for (int i=1; i<=m; ++i)
sum=sum*26%MOD;
printf("%d\n",(sum-ans+MOD)%MOD);
}