bzoj1030 [JSOI2007] 文本生成器（ACAM+dp）

求长度为m的，至少包含一个模式串的文本串个数。
我们考虑用所有的个数$26^m$减去一个模式串也不包含的个数。
后者我们可以建出ACAM，然后在ACAM上跑dp即可。

#include <cstdio>
#include <cstring>
#include <algorithm>
#include <queue>
using namespace std;
#define ll long long
#define N 70
#define inf 0x3f3f3f3f
#define mod 10007
inline int read(){
    int x=0,f=1;char ch=getchar();
    while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
    while(ch>='0'&&ch<='9') x=x*10+ch-'0',ch=getchar();
    return x*f;
}
int n,m,son[N*100][26],f[110][N*100],rt,owo=0,fail[N*100],ans=0;
bool end[N*100];//f[i][j]表示第i个字符匹配到自动机上的第j个节点且不含任何模式串的方案数 
char s[110];
inline void ins(char *s){
    int len=strlen(s+1),p=rt;
    for(int i=1;i<=len;++i){
        int &y=son[p][s[i]-'A'];if(!y) y=++owo;p=y;
    }end[p]=1;
}
inline void buildAC(){
    queue<int>q;q.push(rt);
    while(!q.empty()){
        int x=q.front();q.pop();
        for(int i=0;i<26;++i){
            int &y=son[x][i];
            if(!y){y=son[fail[x]][i];continue;}q.push(y);
            fail[y]=son[fail[x]][i];end[y]|=end[fail[y]];
        }
    }
}
inline int ksm(int x,int k){
    int res=1;for(;k;k>>=1,x=x*x%mod) if(k&1) res=res*x%mod;return res;
}
int main(){
//  freopen("a.in","r",stdin);
    n=read();m=read();rt=++owo;
    for(int i=0;i<26;++i) son[0][i]=rt;f[0][1]=1;
    for(int i=1;i<=n;++i) scanf("%s",s+1),ins(s);buildAC();
    for(int i=0;i<m;++i)
        for(int j=1;j<=owo;++j){
            if(end[j]||!f[i][j]) continue;
            for(int k=0;k<26;++k){
                f[i+1][son[j][k]]+=f[i][j];f[i+1][son[j][k]]%=mod;
            }
        }
    for(int i=1;i<=owo;++i)
        if(!end[i]) ans=(ans+f[m][i])%mod;
    ans=ksm(26,m)-ans;if(ans<0) ans+=mod;
    printf("%d\n",ans);
    return 0;
}