BZOJ 1030 文本生成器

Description

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

 

Source

裸的AC自动机上跑dp，合法的就是all-illegal。f[i][j]表示长度为i，在j节点的方案数。

#include<cstring>
#include<cstdio>
#include<cstdlib>
#include<queue>
#include<vector>

using namespace std;

#define maxn 110
#define rhl (10007)
int n,m,f[maxn][maxn*60];
char buf[maxn];
queue <int> team; vector <int> son[maxn*60];
struct trie
{
    int next[maxn*60][26],fail[maxn*60],root,L;
    bool end[maxn*60];

    inline int newnode()
    {
        memset(next[L],-1,sizeof(next[L]));
        L++; return L - 1;
    }
    
    inline void init()
    {
        L = 0; root = newnode();
    }
    
    inline void insert()
    {
        int len = strlen(buf),now = root;
        for (int i = 0;i < len;++i)
        {
            if (next[now][buf[i] - 'A'] == -1)
                next[now][buf[i] - 'A'] = newnode();
            now = next[now][buf[i] - 'A'];
        }
        end[now] = true;
    }
    
    inline void build()
    {
        int now;
        fail[root] = root;
        for (int i = 0;i < 26;++i)
            if (next[root][i] == -1)
                next[root][i] = root;
            else
                fail[next[root][i]] = root,team.push(next[root][i]);
        while (!team.empty())
        {
            now = team.front(); team.pop();
            for (int i = 0;i < 26;++i)
                if (next[now][i] == -1)
                    next[now][i] = next[fail[now]][i];
                else fail[next[now][i]] = next[fail[now]][i],team.push(next[now][i]);
        }
    }
    
    inline void ready()
    {
        for (int i = 0;i < L;++i)
            if (fail[i] != i) son[fail[i]].push_back(i);
        int now; team.push(root);
        while (!team.empty())
        {
            now = team.front(); team.pop();
            int nn = son[now].size();
            for (int i = 0;i < nn;++i)
            {
                int v = son[now][i];
                team.push(v);
                if (end[now]) end[v] = true;
            }
        }
    }

    inline int dp()
    {
        f[0][root] = 1;
        for (int j = 0;j < m;++j)
        {
            for (int i = 0;i < L;++i)
            {
                if (end[i]) continue;
                if (!f[j][i]) continue;
                for (int k = 0;k < 26;++k)
                {
                    if (end[next[i][k]]) continue;
                    f[j+1][next[i][k]] += f[j][i];
                    while (f[j+1][next[i][k]] >= rhl) f[j+1][next[i][k]] -= rhl;
                }
            }
        }
        int res = 0;
        for (int i = 0;i < L;++i)
            if (!end[i])
            {
                res += f[m][i];
                while (res >= rhl) res -= rhl;
            }
        int all = 1;
        for (int i = 1;i <= m;++i) (all *= 26)%=rhl;
        return all - res;
    }
}ac;

int main()
{
    freopen("1030.in","r",stdin);
    freopen("1030.out","w",stdout);
    scanf("%d %d
",&n,&m);
    ac.init();
    while (n--)
    {
        scanf("%s",buf);
        ac.insert();
    }
    ac.build();
    ac.ready();
    int ans = ac.dp(); printf("%d",(ans%rhl+rhl)%rhl);
    fclose(stdin); fclose(stdout);
    return 0;
}