BZOJ 1030 [JSOI2007]文本生成器

1030: [JSOI2007]文本生成器

Time Limit: 1 Sec  Memory Limit: 162 MB
Submit: 2624  Solved: 1087
[Submit][Status][Discuss]

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

题解:acdp的入门题

补集转换，变为求有danger的点的数量。一开始总是转不过弯来，现在懂了：窝萌设串前缀为考虑的阶段，那么在这个阶段要干什么呢？要"推进一步自动机"对不对，那么再加上一个维数表示考虑到了自动机上的节点就行了，具体实现的时候窝是直接写在了自动机里的f[m]。

然后再说一下这个endmark，可以把ta想象成一个病毒，一开始在所有的end_node里，在窝萌getfail的时候，会顺着得到的fail指针传播，然后就没有然后了。。。具体实现就在getfail的时候维护一下就行。

自动机还是一个挺神奇的东西，哪天补补PAM玩玩。

#include<iostream>
#include<cstdio>
#include<cmath>
#include<algorithm>
#include<stack>
#include<queue>
#include<cstring>
#define PAU putchar(' ')
#define ENT putchar('
')
#define trans(p) while(p&&!p->tx[c])p=p->fail;if(!p)p=root;
using namespace std;
const int maxn=10000+10,maxnode=10000+10,sig=26,inf=-1u>>1,mod=10007;
struct node{
    node*tx[sig],*fail;int f[110];bool v;node(){v=false;memset(f,0,sizeof(f));}
}ac[maxnode],*nodecnt=ac,*root=nodecnt++;
node*get(node*x){return x?x:root;}
node*tran(node*x,int c){while(x&&!x->tx[c])x=x->fail;if(!x)x=root;return x;}
void insert(char*s){
    node*x=root;
    for(int i=0;s[i];i++){
        int c=s[i]-'A';
        if(!x->tx[c])x->tx[c]=nodecnt++;
        x=x->tx[c];
    }x->v=true;return;
}
void getfail(){
    queue<node*>Q;for(int c=0;c<sig;c++)if(root->tx[c])Q.push(root->tx[c]);
    while(!Q.empty()){
        node*x=Q.front();Q.pop();
        for(int c=0;c<sig;c++)if(x->tx[c]){
            node*p=tran(x->fail,c);x->tx[c]->fail=get(p->tx[c]);
            if(p->tx[c]&&p->tx[c]->v)x->tx[c]->v=true;Q.push(x->tx[c]);
        }
    }return;
}
void dp(int x){
    for(node*t=ac;t!=nodecnt;t++){
        if(!t->v&&t->f[x-1])for(int c=0;c<sig;c++){
            node*p=tran(t,c);get(p->tx[c])->f[x]+=t->f[x-1]%=mod;
        }
    }return;
}
char s[maxn];int n,m;
inline int read(){
    int x=0,sig=1;char ch=getchar();
    for(;!isdigit(ch);ch=getchar())if(ch=='-')sig=0;
    for(;isdigit(ch);ch=getchar())x=10*x+ch-'0';
    return sig?x:-x;
}
inline void write(int x){
    if(x==0){putchar('0');return;}if(x<0)putchar('-'),x=-x;
    int len=0,buf[15];while(x)buf[len++]=x%10,x/=10;
    for(int i=len-1;i>=0;i--)putchar(buf[i]+'0');return;
}
int main(){
    n=read();m=read();int ans=1,ans2=0;
    for(int i=1;i<=n;i++)scanf("%s",s),insert(s);
    getfail();root->f[0]=1;
    for(int i=1;i<=m;i++)dp(i),ans=ans*26%mod;
    for(node*t=ac;t!=nodecnt;t++)if(!t->v)(ans2+=t->f[m])%=mod;
    write((ans-ans2+mod)%mod);
    return 0;
}