[JSOI2007]文本生成器，bzoj1030，AC自动机+可爱的递推

正题

      可以发现直接计算答案是极其困难的，现在先求不可能的情况，再用总量减去即可。

      很容易想到的就是多个文本串，把他们都写到Trie树上，跑一遍fail。

      不可能的文章说明我们不可以到达那些“尾节点”，或者直接或间接通过fail指针跳到“尾节点”的节点。

      那么直接建fail的时候标记向下传递一下就可以了。

      剩下的就是递推了，表示第i步走到第j个点的方案数，如果是有标记的节点就不走，最后统计一下答案就可以了。

#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<iostream>
using namespace std;
 
int n,m;
char p[110],len;
int tot=0;
int list[60010];
int f[110][60010];
const int mod=1e4+7;
int st=1,ed=2;
 
struct Trie{
    int son[26],fail;
    bool tf;
}s[60010];
void insert(){
    int now=0;
    len=strlen(p);
    for(int i=0;i<len;i++){
        int temp=p[i]-'A';
        if(!s[now].son[temp]){
            s[now].son[temp]=++tot;
            memset(s[tot].son,0,sizeof(s[tot].son));
            s[tot].tf=false;
            s[tot].fail=0;
        }
        now=s[now].son[temp];
    }
    s[now].tf=true;
}
void get_fail(){
    list[st]=0;
    while(st!=ed){
        int x=list[st];st++;
        for(int i=0;i<26;i++){
            if(s[x].son[i]) list[ed++]=s[x].son[i],s[s[x].son[i]].fail=(x==0?0:s[s[x].fail].son[i]);
            else s[x].son[i]=(x==0?0:s[s[x].fail].son[i]);
        }
        s[x].tf|=s[s[x].fail].tf;
    }
}
void get_ans(){
    f[0][0]=1;
    for(int i=1;i<=m;i++){
        for(int j=0;j<=tot;j++){
            if(s[j].tf) continue;
            for(int k=0;k<26;k++)
                (f[i][s[j].son[k]]+=f[i-1][j])%=mod;
        }
    }
    int ans=0;
    for(int i=0;i<=tot;i++) if(!s[i].tf) (ans+=f[m][i])%=mod;
    int sum=1;
    for(int i=1;i<=m;i++) (sum*=26)%=mod; 
    printf("%d\n",(sum+mod-ans)%mod);
}
 
int main(){
    scanf("%d %d",&n,&m);
    for(int i=1;i<=n;i++) scanf("%s",p),insert();
    get_fail();get_ans();