bzoj 1030 ac自动机

　　比较容易看出来先建立ac自动机，然后在自动机上做DP，设w[0..1][i][j]为当前不包括/包括字典中的字符串，当前在自动机中走到第i个节点，完成的文本的长度为j的方案数，那么比较容易的转移w[i|j->child->cnt][j->child][k+1]+=w[i][j][k]。

　　

/**************************************************************
    Problem: 1030
    User: BLADEVIL
    Language: C++
    Result: Accepted
    Time:200 ms
    Memory:25596 kb
****************************************************************/
 
//By BLADEVIL
#include <cstdio>
#include <cstring>
#define maxn 10010
#define maxm 200
#define d39 10007
 
using namespace std;
 
int n,m;
int w[][maxm][maxn];
 
struct node{
    int cnt,num;
    node *child[],*fail;
    node (){
        cnt=num=;
        memset(child,,sizeof child);
        fail=NULL;
    }
} nodepool[maxn],*totnode,*root,*que[maxn];
 
void build_trie(){
    totnode=nodepool; root=totnode++;
    for (int i=;i<=n;i++){
        char c[maxm];
        scanf("%s",&c);
        int len=strlen(c);
        node *t=root;
        for (int j=;j<len;j++){
            if (!t->child[c[j]-'A']) t->child[c[j]-'A']=totnode++;
            t=t->child[c[j]-'A'];
        }
        t->cnt=;
    }
}
 
void build_ac(){
    int h=,t=;
    que[]=root; root->fail=root;
    for (int i=;i<;i++) if (!root->child[i])   root->child[i]=root;
    while (h<t){
        node *u=que[++h];
        for (int i=;i<;i++) if (u->child[i]&&u->child[i]!=root){
            que[++t]=u->child[i];
            que[t]->fail=u->fail->child[i]!=que[t]?u->fail->child[i]:root;
            que[t]->cnt|=que[t]->fail->cnt;
        } else u->child[i]=u->fail->child[i];
    }
}
 
void dp(){
    int j=;
    for (node *i=nodepool;i!=totnode;i++) i->num=j++;
//for (node *i=nodepool;i!=totnode;i++) printf("%d %d %d\n",i->cnt,i->num,i->fail->num);
    w[][][]=;
    for (int t=;t<;t++)
        for (int i=;i<=m;i++)
            for (node *j=nodepool;j!=totnode;j++)
                if (w[t][i][j->num])
                    for (int k=;k<;k++)
                        (w[t|j->child[k]->cnt][i+][j->child[k]->num]+=w[t][i][j->num])%=d39;
    int ans=;
    for (node *i=nodepool;i!=totnode;i++)
        (ans+=w[][m+][i->num])%=d39;
    printf("%d\n",ans);
}
 
int main(){
    scanf("%d%d",&n,&m);
    build_trie();
    build_ac();
    dp();
    return ;
}