1030: [JSOI2007]文本生成器 - BZOJ
Description
JSOI交给队员ZYX一个任务，编制一个称之为“文本生成器”的电脑软件：该软件的使用者是一些低幼人群，他们现在使用的是GW文本生成器v6版。该软件可以随机生成一些文章―――总是生成一篇长度固定且完全随机的文章—— 也就是说，生成的文章中每个字节都是完全随机的。如果一篇文章中至少包含使用者们了解的一个单词，那么我们说这篇文章是可读的（我们称文章a包含单词b，当且仅当单词b是文章a的子串）。但是，即使按照这样的标准，使用者现在使用的GW文本生成器v6版所生成的文章也是几乎完全不可读的。 ZYX需要指出GW文本生成器 v6生成的所有文本中可读文本的数量，以便能够成功获得v7更新版。你能帮助他吗？
Input
输入文件的第一行包含两个正整数，分别是使用者了解的单词总数N (<= 60)，GW文本生成器 v6生成的文本固定长度M；以下N行，每一行包含一个使用者了解的单词。 这里所有单词及文本的长度不会超过100，并且只可能包含英文大写字母A..Z 。
Output
一个整数，表示可能的文章总数。只需要知道结果模10007的值。
Sample Input
2 2
A
B
Sample Output
100
在AC自动机上的dp
f[i,j,k]表示长度为i，在节点j，状态为k的方案数（k=0时为不匹配，k=1时为匹配）
1 const 2 maxn=6010; 3 maxm=105; 4 h=10007; 5 type 6 node=record 7 fail:integer; 8 flag:boolean; 9 go:array['A'..'Z']of integer; 10 end; 11 var 12 tree:array[0..maxn]of node; 13 f:array[0..maxn,0..maxn,0..1]of integer; 14 n,m,tot:longint; 15 s:string; 16 17 procedure insert; 18 var 19 i,j:longint; 20 begin 21 readln(s); 22 j:=0; 23 for i:=1 to length(s) do 24 begin 25 if tree[j].go[s[i]]=0 then 26 begin 27 inc(tot); 28 tree[j].go[s[i]]:=tot; 29 end; 30 j:=tree[j].go[s[i]]; 31 end; 32 tree[j].flag:=true; 33 end; 34 35 var 36 q:array[0..maxn]of longint; 37 head,tail:longint; 38 39 procedure build; 40 var 41 i:char; 42 k:longint; 43 begin 44 head:=1; 45 tail:=1; 46 q[1]:=0; 47 while head<=tail do 48 begin 49 for i:='A' to 'Z' do 50 if tree[q[head]].go[i]<>0 then 51 begin 52 inc(tail); 53 q[tail]:=tree[q[head]].go[i]; 54 k:=tree[q[head]].fail; 55 if k<>q[head] then 56 begin 57 while (k<>0) and (tree[k].go[i]=0) do 58 k:=tree[k].fail; 59 tree[q[tail]].fail:=tree[k].go[i]; 60 end; 61 end; 62 for i:='A' to 'Z' do 63 if tree[q[head]].go[i]=0 then tree[q[head]].go[i]:=tree[tree[q[head]].fail].go[i]; 64 if tree[tree[q[head]].fail].flag then tree[q[head]].flag:=true; 65 inc(head); 66 end; 67 end; 68 69 procedure init; 70 var 71 i:longint; 72 begin 73 readln(n,m); 74 for i:=1 to n do 75 insert; 76 build; 77 end; 78 79 procedure work; 80 var 81 i,j,ans:longint; 82 s:char; 83 begin 84 for s:='A' to 'Z' do 85 if tree[tree[0].go[s]].flag then inc(f[1,tree[0].go[s],1]) 86 else inc(f[1,tree[0].go[s],0]); 87 for i:=1 to m-1 do 88 for j:=0 to tot do 89 for s:='A' to 'Z' do 90 if tree[tree[j].go[s]].flag then f[i+1,tree[j].go[s],1]:=(f[i+1,tree[j].go[s],1]+f[i,j,0]+f[i,j,1])mod h 91 else 92 begin 93 f[i+1,tree[j].go[s],1]:=(f[i+1,tree[j].go[s],1]+f[i,j,1])mod h; 94 f[i+1,tree[j].go[s],0]:=(f[i+1,tree[j].go[s],0]+f[i,j,0])mod h; 95 end; 96 ans:=0; 97 for i:=0 to tot do 98 ans:=(ans+f[m,i,1])mod h; 99 writeln(ans); 100 end; 101 102 begin 103 init; 104 work; 105 end.
