题目大意：给定n个模式串，求长度为m的至少含有一个模式串的字符串共有多少种
照例，令f[i][j]表示长度为i的字符串与AC自动机上的第j个点匹配的方案数
直接DP很难，我们考虑补集法，即用26^m减去不含任何模式串的字符串的数量
后者就是经典的AC自动机DP模型啦~~
#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
#define MOD 10007
using namespace std;
struct Trie{
Trie *son[26],*fail;
bool ed;
}*root,mempool[6060],*C=mempool;
int n,m,ans;
int f[110][6060];
char s[110];
void Insert(Trie* &p,char *s)
{
if(!p) p=C++;
if(!*s)
{
p->ed=1;
return ;
}
Insert(p->son[(*s)-'A'],s+1);
}
void Build_Tree()
{
static Trie *q[6060];
static int r,h;
int i;
for(i=0;i<26;i++)
if(root->son[i])
root->son[i]->fail=root,q[++r]=root->son[i];
else
root->son[i]=root;
while(r!=h)
{
Trie *p=q[++h];
for(i=0;i<26;i++)
if(p->son[i])
{
p->son[i]->fail=p->fail->son[i];
p->son[i]->ed|=p->son[i]->fail->ed;
q[++r]=p->son[i];
}
else
p->son[i]=p->fail->son[i];
}
}
int Quick_Power(int x,int y)
{
int re=1;
while(y)
{
if(y&1) re*=x,re%=MOD;
x*=x,x%=MOD;
y>>=1;
}
return re;
}
int main()
{
int i,j,k;
cin>>n>>m;
for(i=1;i<=n;i++)
scanf("%s",s),Insert(root,s);
Build_Tree();
f[0][0]=1;
for(i=0;i<m;i++)
for(j=0;j<C-mempool;j++)
if(!mempool[j].ed)
for(k=0;k<26;k++)
f[i+1][mempool[j].son[k]-mempool]+=f[i][j],
f[i+1][mempool[j].son[k]-mempool]%=MOD;
ans=Quick_Power(26,m);
for(j=0;j<C-mempool;j++)
if(!mempool[j].ed)
ans+=MOD-f[m][j],ans%=MOD;
cout<<ans<<endl;
return 0;
}
//f[i][j]表示第i个字符对应AC自动机上的第j个节点且不含任何模式串的方案数
BZOJ 1030 JSOI2007 文本生成器 AC自动机+DP
原文地址：http://blog.csdn.net/popoqqq/article/details/41802417
