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('\n')
 #define trans(p) while(p&&!p->tx[c])p=p->fail;if(!p)p=root;
 using namespace std;
 const int maxn=+,maxnode=+,sig=,inf=-1u>>,mod=;
 struct node{
     node*tx[sig],*fail;int f[];bool v;node(){v=false;memset(f,,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=;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=;c<sig;c++)if(root->tx[c])Q.push(root->tx[c]);
     while(!Q.empty()){
         node*x=Q.front();Q.pop();
         for(int c=;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-])for(int c=;c<sig;c++){
             node*p=tran(t,c);get(p->tx[c])->f[x]+=t->f[x-]%=mod;
         }
     }return;
 }
 char s[maxn];int n,m;
 inline int read(){
     int x=,sig=;char ch=getchar();
     for(;!isdigit(ch);ch=getchar())if(ch=='-')sig=;
     for(;isdigit(ch);ch=getchar())x=*x+ch-'';
     return sig?x:-x;
 }
 inline void write(int x){
     if(x==){putchar('');return;}if(x<)putchar('-'),x=-x;
     int len=,buf[];while(x)buf[len++]=x%,x/=;
     for(int i=len-;i>=;i--)putchar(buf[i]+'');return;
 }
 int main(){
     n=read();m=read();int ans=,ans2=;
     for(int i=;i<=n;i++)scanf("%s",s),insert(s);
     getfail();root->f[]=;
     for(int i=;i<=m;i++)dp(i),ans=ans*%mod;
     for(node*t=ac;t!=nodecnt;t++)if(!t->v)(ans2+=t->f[m])%=mod;
     write((ans-ans2+mod)%mod);
     return ;
 }