[JSOI2007]文本生成器

这道题是很裸的trie图（AC自动机）

王赟的论文里面讲过一道题，求长度为n的字符串中不出现给定字符串的方案数，跟这道题差不多

这道题dp方程多加一维，f[i][j][k]表示长度为i，trie图位置在j，是否经过了至少一个匹配串的方案数

trie图很久没写了……今天复习了一下……

用的是未改进的trie图，因为字符集比较小……

PS:吐槽这题的数据很水……我在trie图上加边的过程一开始写错了也能AC……

//Lib
#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<cmath>
#include<ctime>

#include<iostream>
#include<algorithm>
#include<vector>
#include<string>
#include<queue>
using namespace std;
//Macro
#define rep(i,a,b) for(int i=a,tt=b;i<=tt;++i)
#define drep(i,a,b) for(int i=a,tt=b;i>=tt;--i)
#define erep(i,e,x) for(int i=x;i;i=e[i].next)
#define irep(i,x) for(__typedef(x.begin()) i=x.begin();i!=x.end();i++)
#define read() (strtol(ipos,&ipos,10))
#define sqr(x) ((x)*(x))
#define pb push_back
#define PS system("pause");
typedef long long ll;
typedef pair<int,int> pii;
const int oo=~0U>>1;
const double inf=1e20;
const double eps=1e-6;
string name="",in=".in",out=".out";
//Var
int n,m;
int fa[6008],q[6008],dan[6008],e[6008][27],ans,mod=10007,tot=1;
int f[108][6008][2];
void Init()
{
	scanf("%d%d\n",&n,&m);char s[108];
	rep(i,1,n)
	{
		gets(s+1);int k=1;
		rep(j,1,strlen(s+1))
		{
			s[j]-='A'-1;
			if(!e[k][s[j]])e[k][s[j]]=++tot;
			k=e[k][s[j]];
		}
		dan[k]=true;
	}
}
void Work()
{
	int x;q[1]=1;
	for(int l=1,r=1;l<=r;l++)
	{
		x=fa[q[l]];
		dan[q[l]]=dan[q[l]]||(x&&dan[x]);
		rep(i,1,26)
			if(e[q[l]][i])
			{
				x=fa[q[l]];while(x&&!e[x][i])x=fa[x];
				if(x&&e[x][i])fa[e[q[l]][i]]=e[x][i];else fa[e[q[l]][i]]=1;
				q[++r]=e[q[l]][i];
			}
			else
			{
				x=fa[q[l]];while(x&&!e[x][i])x=fa[x];
				if(x&&e[x][i])e[q[l]][i]=e[x][i];else e[q[l]][i]=1;
			}
	}
	f[0][1][0]=1;
	rep(i,1,m)rep(j,1,tot)rep(k,1,26)rep(l,0,1)
	{
		if(dan[e[j][k]])x=1;else x=l;
		f[i][e[j][k]][x]=(f[i][e[j][k]][x]+f[i-1][j][l])%mod;
	}
	rep(i,1,tot)ans=(ans+f[m][i][1])%mod;
	printf("%d\n",ans);
}
int main()
{
//	freopen((name+in).c_str(),"r",stdin);
//	freopen((name+out).c_str(),"w",stdout);
	Init();
	Work();
	return 0;
}