设f[i][j]表示走i步,现在在j号节点的路径条数。
最后把所有f[m][i]累和就是不可读的串,一般问含有任意一个的方案数,就可以用补集的思想,总方案数减去不含有任何一个的方案数,剩下的就一定含有任意一个了!
注意一个节点的fail节点,及表示它后缀的节点,如果是单词节点,那么这个点可以在getfail时直接标记为单词节点,这样就处理出树上所有不可到达的节点,实际求不包含任意一个,就是在自动机上走m次,不经过任意一个单词节点
#include<cstdio>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<cstdlib>
#include<queue>
using namespace std;
const int mod=10007;
int ch[10005][30],tot,val[10005],fail[10005],last[10005],f[105][10005];
int n,m;
char s[105];
inline int idx(char ch) {return ch-'A';}
void insert(char *s)
{
int k=0,len=strlen(s);
for (int i=0;i<len;i++)
{
int id=idx(s[i]);
if (!ch[k][id]) ch[k][id]=++tot;
k=ch[k][id];
}
val[k]=1;
}
void getfail()
{
queue<int> q;
for (int i=0;i<26;i++)
if (ch[0][i]) q.push(ch[0][i]);
while (!q.empty())
{
int v,u=q.front();q.pop();
for (int i=0;i<26;i++)
if (v=ch[u][i])
{
int j=fail[u];
while (ch[j][i]==0&&j) j=fail[j];
j=ch[j][i];
fail[v]=j;
if (val[fail[v]]) val[v]=1;//如果他的后缀是不可行的,他也是不可行的,由此标记节点是否可行,感觉ac自动机这个位置很灵活
q.push(v);
}
}
}
int main()
{
scanf("%d%d",&n,&m);
for (int i=1;i<=n;i++)
{
scanf("%s",s);
insert(s);
}
getfail();
int sum=1,ans=0;
for (int i=1;i<=m;i++) sum=sum*26%mod;
f[0][0]=1;//最开始,走了0步,走到了0位置的方案数
for (int i=0;i<m;i++)//
{
for (int j=0;j<=tot;j++)
if (f[i][j]&&!val[j])//这个位置不能是单词末尾,且必须到达过
for (int k=0;k<26;k++)//枚举下一个字母是
{
int l=j;
while (!ch[l][k]&&l) l=fail[l];//沿失配边走,找到第一个可以放k这个字母的位置
l=ch[l][k];//如果到了0这个位置,没有k儿子,那么还会是0位置,更新到它的方案数,表示加上k这个字母,匹配数为0
if (!val[l]) f[i+1][l]=(f[i+1][l]+f[i][j])%mod;//如果该点不是单词节点,即加上新的字母,原文本不会出现单词,就进行转移,否则该情况不合法
}
}
for (int i=0;i<=tot;i++) if (!val[i]) ans=(ans+f[m][i])%mod;//刚开始忘了还有0,就是到最后匹配了0的位置
printf("%d",((sum-ans)%mod+mod)%mod);
return 0;
}