bzoj1030 [JSOI2007]文本生成器 - AC自动机+dp

JSOI交给队员ZYX一个任务，编制一个称之为“文本生成器”的电脑软件：该软件的使用者是一些低幼人群，
他们现在使用的是GW文本生成器v6版。该软件可以随机生成一些文章―――总是生成一篇长度固定且完全随机的文
章—— 也就是说，生成的文章中每个字节都是完全随机的。如果一篇文章中至少包含使用者们了解的一个单词，
那么我们说这篇文章是可读的（我们称文章a包含单词b，当且仅当单词b是文章a的子串）。但是，即使按照这样的
标准，使用者现在使用的GW文本生成器v6版所生成的文章也是几乎完全不可读的?。ZYX需要指出GW文本生成器 v6
生成的所有文本中可读文本的数量，以便能够成功获得v7更新版。你能帮助他吗？

Input

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

Output

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

Sample Input

2 2
A
B

Sample Output

100

Hint

 

题解：

题目中应该很好想到ac自动机来解决这道题，这里我们可以换一种思维方式，问知道的文章不好得出

结果，可以想有多少不认识的文章，就是说，给定的单词一个都不能出现。就是说如果该单词有就认

识，那么单词都要避开。

f[i][j]表示到了i这一位，总共m个，即长度，然后，到了j这一个点，可以获得的方案数。

那么就需要在建立Trie图的时候处理一下。

看这个垃圾图，x，y，z点，y指向z，z为标记节点，因为z为y的后缀

所以y包涵z，y也是不和法的，所以y也需要标记为不可到达。

然后就是转移了，复杂度可以压过。

#include<cstring>
#include<iostream>
#include<algorithm>
#include<cmath>
#include<cstdio>
#include<queue>
#define mod 10007
using namespace std;

int n,m,ans=1,res,cnt=1,f[107][6007];
struct Node
{
    int c[26],suf;
    bool flag;
}trie[6007];
char ch[107];

void insert()
{
    int now=1,len=strlen(ch);
    for (int i=0;i<len;i++)
    {
        if (!trie[now].c[ch[i]-'A']) trie[now].c[ch[i]-'A']=++cnt;
        now=trie[now].c[ch[i]-'A'];
    }
    trie[now].flag=true;
}
void make_AC()
{
    for (int i=0;i<26;i++)
        trie[0].c[i]=1;
    queue<int>q;while(!q.empty()) q.pop();
    trie[1].suf=0;
    q.push(1);
    while(!q.empty())
    {
        int u=q.front();q.pop();
        for (int i=0;i<26;i++)
            if (trie[u].c[i])
            {
                trie[trie[u].c[i]].suf=trie[trie[u].suf].c[i];
                if (trie[trie[trie[u].c[i]].suf].flag) trie[trie[u].c[i]].flag=true;
                q.push(trie[u].c[i]);
            }
            else trie[u].c[i]=trie[trie[u].suf].c[i];
    }
}
inline void dp(int x)
{
    for (int i=1;i<=cnt;i++)
    {
        if (trie[i].flag||f[x-1][i]==0) continue;
        for (int j=0;j<26;j++)
            f[x][trie[i].c[j]]=(f[x][trie[i].c[j]]+f[x-1][i])%mod;
    }
}
int main()
{
    scanf("%d%d",&n,&m);
    for (int i=1;i<=n;i++)
    {
        scanf("%s",ch);
        insert();
    }
    make_AC();
    f[0][1]=1;
    for (int i=1;i<=m;i++) dp(i);
    for (int i=1;i<=m;i++)
        ans=(ans*26)%mod;    
    for (int i=1;i<=cnt;i++)
        if (trie[i].flag==0) res=(res+f[m][i])%mod;
    printf("%d\n",(ans-res+mod)%mod);     
}