[JSOI2007]文本生成器

题目描述

JSOI交给队员ZYX一个任务，编制一个称之为“文本生成器”的电脑软件：该软件的使用者是一些低幼人群，他们现在使用的是GW文本生成器v6版。

该软件可以随机生成一些文章―――总是生成一篇长度固定且完全随机的文章—— 也就是说，生成的文章中每个字节都是完全随机的。如果一篇文章中至少包含使用者们了解的一个单词，那么我们说这篇文章是可读的（我们称文章a包含单词b，当且仅当单词b是文章a的子串）。但是，即使按照这样的标准，使用者现在使用的GW文本生成器v6版所生成的文章也是几乎完全不可读的?。ZYX需要指出GW文本生成器 v6

生成的所有文本中可读文本的数量，以便能够成功获得v7更新版。你能帮助吗？

输入输出格式

输入格式：

输入文件的第一行包含两个正整数，分别是使用者了解的单词总数N (<= 60)，GW文本生成器 v6生成的文本固定长度M；以下N行，每一行包含一个使用者了解的单词。这里所有单词及文本的长度不会超过100，并且只可能包含英文大写字母A..Z

输出格式：

一个整数，表示可能的文章总数。只需要知道结果模10007的值。

输入输出样例

输入样例#1： 复制

2 2
A
B

输出样例#1： 复制

100
令f[i][j]表示文章长度为i，在AC自动机位置为j没有单词的方案数
然后答案就是26m-∑f[m][]
转移就是从AC自动机往下走
f[i+1][ch[j][k]]+=f[i][j] (ch[j][k]位置没有标记)
注意处理AC自动机时,处理包含的情况
val[x]|=val[fail[x]]

 #include<iostream>
 #include<cstdio>
 #include<cstring>
 #include<algorithm>
 #include<cmath>
 #include<queue>
 using namespace std;
 queue<int>Q;
 int ch[][],f[][],size,val[],fail[],n,m,Mod=,ans;
 char s[];
 int qpow(int x,int y)
 {
   int res=;
   while (y)
     {
       if (y&) res=1ll*res*x%Mod;
       x=1ll*x*x%Mod;
       y>>=;
     }
   return res;
 }
 void insert(int len)
 {int i;
   int now=;
   for (i=;i<len;i++)
     {
       if (ch[now][s[i]-'A']==)
     ch[now][s[i]-'A']=++size;
       now=ch[now][s[i]-'A'];
     }
   val[now]=;
 }
 void AC_build()
 {int i;
   for (i=;i<;i++)
     if (ch[][i])
       fail[ch[][i]]=,Q.push(ch[][i]);
   while (Q.empty()==)
     {
       int u=Q.front();
       Q.pop();
       for (i=;i<;i++)
     {
       if (ch[u][i]) fail[ch[u][i]]=ch[fail[u]][i],Q.push(ch[u][i]);
       else ch[u][i]=ch[fail[u]][i];
       if (val[fail[u]])
         val[u]=val[fail[u]];
     }
     }
 }
 int main()
 {int i,j,k,len;
   cin>>n>>m;
   for (i=;i<=n;i++)
     {
       scanf("%s",s);
       len=strlen(s);
       insert(len);
     }
   AC_build();
   f[][]=;
   for (i=;i<m;i++)
     {
       for (j=;j<=size;j++)
     if (f[i][j]&&val[j]==)
     {
       for (k=;k<;k++)
         {
           f[i+][ch[j][k]]+=f[i][j];
           if (f[i+][ch[j][k]]>=Mod) f[i+][ch[j][k]]-=Mod;
         }
     }
     }
   for (i=;i<=size;i++)
     if (val[i]==)
     {
       ans+=f[m][i];
       if (ans>=Mod) ans-=Mod;
     }
   cout<<(qpow(,m)-ans+Mod)%Mod;
 }