【bzoj1030】[JSOI2007]文本生成器

dp+ac自动机
f[N][N*60]表示长度为i串的在第j个节点没有经过任何一个end节点的方案数
实际上ac自动机上的每一个出边都构成了转移
并且我们想要快速的判断现在的状态有没有包括原来的子串 于是就想到了ac自动机。。
ac自动机十分需要注意的地方：如果拜访过这个节点 那么他的fail指针指向的节点一定被拜访过
还有要注意正着dp比较麻烦 补集转化很机智

#include<queue>
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
#include<vector>
using namespace std;
const int N=111;
const int p=10007;
int cnt;
char s[N];
struct node{int next[27],fail,end;}tr[N*60];
queue<int>q;
int f[N][N*60];

int pow(int a,int b)
{
   int ans=1;
   while(b)
   {
     if(b&1)ans=ans*a%p;
     a=a*a%p;
     b>>=1;
   }
   return ans;
}
void insert(int n)
{
    int now=0;
    for(int i=1;i<=n;i++)
    {
        if(tr[now].next[s[i]-'A'+1]==0)tr[now].next[s[i]-'A'+1]=++cnt;
        now=tr[now].next[s[i]-'A'+1];
    }
    tr[now].end=1;
}
void build()
{
    q.push(0);
    while(!q.empty())
    {
        int x=q.front();q.pop();
        for(int i=1;i<=26;i++)
        if(tr[x].next[i]==0)tr[x].next[i]=tr[tr[x].fail].next[i];
        else 
        {
            if(x!=0)tr[tr[x].next[i]].fail=tr[tr[x].fail].next[i],
            tr[tr[x].next[i]].end|=tr[tr[tr[x].fail].next[i]].end;
            q.push(tr[x].next[i]);
        }
    }
}
int main()
{
    int n,m;
    cin>>n>>m;
    for(int i=1;i<=n;i++)
    {
      scanf("%s",s+1);
      int len=strlen(s+1);
      insert(len);
    }
    build();
    f[0][0]=1;
    for(int i=1;i<=m;i++)
    for(int j=0;j<=cnt;j++)
    for(int k=1;k<=26;k++)
    if(tr[j].end==0)f[i][tr[j].next[k]]+=f[i-1][j],f[i][tr[j].next[k]]%=p;
    int ans=pow(26,m);
    for(int i=0;i<=cnt;i++)
    if(tr[i].end==0)ans-=f[m][i],ans%=p;
    printf("%d",(ans+p)%p);
}