【传送门：BZOJ1030】
简要题意：
给出n个单词，要求求出至少含一个单词的长度为n的字符串数量
题解：
显然直接求出是很难求的，那么我们就求出总的字符串数量，再求出不含任何一个单词的字符串数量
然后相减就是答案
很像GT考试，不过变成了多个串，那么就用AC自动机
设f[i][j]为长度为i时到达字典树上第j个点的不含任何一个单词的字符串数量
只要保证该状态合理就可以继承了
参考代码：
#include<cstdio> #include<cstring> #include<cstdlib> #include<algorithm> #include<cmath> using namespace std; int Mod=10007; struct trie { int c[27],s,fail; }t[11000];int tot,root; void clean(int x) { memset(t[x].c,-1,sizeof(t[x].c)); t[x].s=0; } char st[110]; void bt() { int x=0,len=strlen(st+1); for(int i=1;i<=len;i++) { int y=st[i]-'A'+1; if(t[x].c[y]==-1) clean(++tot),t[x].c[y]=tot; x=t[x].c[y]; } t[x].s=1; } int list[11000]; void bfs() { list[1]=0; int head=1,tail=1; while(head<=tail) { int x=list[head]; for(int i=1;i<=26;i++) { int son=t[x].c[i]; if(son==-1) continue; if(x==0) t[son].fail=0; else { int j=t[x].fail; while(j!=0&&t[j].c[i]==-1) j=t[j].fail; t[son].fail=max(0,t[j].c[i]); if(t[t[son].fail].s==1) t[son].s=1; } list[++tail]=son; } head++; } } int f[110][11000]; int main() { int n,m; scanf("%d%d",&n,&m); tot=0;clean(0); for(int i=1;i<=n;i++) { scanf("%s",st+1); bt(); } bfs(); memset(f,0,sizeof(f)); int sum=1; for(int i=1;i<=m;i++) sum=(sum*26)%Mod; f[0][0]=1; for(int u=1;u<=m;u++) { for(int i=0;i<=tot;i++) { if(t[i].s==0&&f[u-1][i]>0) { for(int j=1;j<=26;j++) { int k=i; while(k!=0&&t[k].c[j]==-1) k=t[k].fail; int son=t[k].c[j]; if(son==-1) son=0; f[u][son]=(f[u][son]+f[u-1][i])%Mod; } } } } int ans=0; for(int i=0;i<=tot;i++) if(t[i].s==0) ans=(ans+f[m][i])%Mod; printf("%d\n",((sum-ans)%Mod+Mod)%Mod); return 0; }