BZOJ 1030 ac自动机+dp

题目：文本生成器
头一次做这类题目，果然智商又不够用了
我认为主要思想是将一个虚拟的串在ac自动机上进行匹配，再把匹配的状态记录下来，而不用生成所有的串一个个进行匹配，因为前缀相同的串在ac自动机上匹配的结果是相同的，只需要在相同前缀的分支后边进行26种不同的选择，每一种再分别对应到ac自动机上的一个状态；
而dp[i][j]就是记录的长度为i，能够匹配到j的不合法串
（答案就是总的可能串-不合法串嘛~）
这里再详细一点解释就是，如果有一个长度为i的串，他有26^i种不同的可能，其中正常在ac自动机上走能走到j这个节点的可能数；（这里的可能数是指不合法串的数量）
这里需要注意，长度为i不一定之前的前缀一定相同（好像肯定不同。。。）但是如果符合条件能按ac自动机的匹配规则走到j点就可以；
明确了状态之后就好做了（我太弱了这个状态搞了我很久。。。）
那么考虑从每一个已知的状态向其他状态转移（也就是向i+1的状态转移）
枚举接下来的26种可能，设选择的字符为k
首先看接下来是不是可能包含一个已知串（也就是不合法的串）
由于任何不合法的点都不会被转移到，所以当前点沿fail指针一路跳上去的所有点肯定都是合法的，但是接下来的k这个节点就不一定了，即使当前fail指针跳到的这个位置没有k这个子节点，也不能保证他继续往上跳会不会出现不符合的情况；
所以要检查包括根节点的所有fail指针能够跳到的节点，检查其如果有k这个子节点，看看这个子节点是否有end标记（标记是一个单词的结尾）
当然也可以一开始就从一个单词的结尾沿fail一路染色，好像这样会更优？
当所有检查到的点都没有end标记时，就可以模拟ac自动机的过程进行转移，看如果接下来添加的这个节点真的是k，那么沿着ac自动机会跳到哪里去；
将跳到的节点的dp+=dp[i][j]即可
当然有可能直接跳到0节点，这就代表失配的过程；
完了；
（感觉我好啰嗦。。。如果不多写点以后忘了就惨了，希望和我有同样脑回路的人能看懂吧qAq）
（还有我要提醒自己，ac自动机的板子不能再打错了！！！for循环找到fail指针不能再忘了break！！！）

#include<iostream>
#include<algorithm>
#include<string>
#include<cstring>
#include<cstdio>
#define LL long long
#define random(a,b) (a+rand()%((b)-(a)+1))
const int mod=10007;
const int maxn=6005;
int que[maxn];
int dp[105][maxn];
struct qwe
{
    int next[26];
    int fail;
    bool end;
}node[maxn]; 
struct asd{
    int cnt;
    asd()
    {
        cnt=0;
        node[cnt].fail=-1;
    }
    void insert(char *s)
    {
        int len=strlen(s);
        int now=0;
        for(int i=0;i<len;i++)
        {
            int nv=s[i]-'A';
            if(!node[now].next[nv])node[now].next[nv]=++cnt;
            now=node[now].next[nv];
        }
        node[now].end=true;
    }
    void bfs()
    {
        int tail=0,head=0;
        que[tail++]=0;
        while(head<tail)
        {
            int now=que[head++];
            for(int i=0;i<26;i++)
                if(node[now].next[i])
                {
                    que[tail++]=node[now].next[i];
                    for(int k=node[now].fail;k!=-1;k=node[k].fail)
                        if(node[k].next[i])
                        {
                            node[node[now].next[i]].fail=node[k].next[i];
                            break;//break!!!
                        }
                }
        }   
    } 
}acto; 
char s[105];
int n,m;
int main()
{
    scanf("%d%d",&n,&m);
    for(int i=1;i<=n;i++){
        scanf("%s",s);
        acto.insert(s);
    }
    acto.bfs();
    dp[0][0]=1;
    for(int i=0;i<m;i++)
    {
        for(int k=0;k<=acto.cnt;k++)
            if(dp[i][k])
                for(int c=0;c<26;c++)
                {
                    int flag=0;
                    for(int tn=k;tn!=-1;tn=node[tn].fail)//检查沿fail指针的每一个子节点
                        if(node[node[tn].next[c]].end){
                            flag=1;
                            break;  
                        }
                    if(flag)continue;
                    int now;
                    for(now=k;now;now=node[now].fail)if(node[now].next[c])break;
                    now=node[now].next[c];//如果for循环到0节点有下一个节点就转移，没有就直接到0节点
                    dp[i+1][now]=(dp[i+1][now]+dp[i][k])%mod;
                }
    }
    int ans=1;
    for(int i=1;i<=m;i++)
        ans=(ans*26)%mod; 
    for(int i=0;i<=acto.cnt;i++)
        ans=(ans-dp[m][i]+mod)%mod; 
    printf("%d\n",ans);
    return 0;
}