6.3知识精炼（二）高清版本.pdf

知识精炼（二）

主讲人：邓哲也

BZOJ1030文本生成器

给定n个小串，构造一个长度为m的大串。

一个串合法当且仅当包含至少一个小串。

问合法串的数目。

N≤60，所有文本长度都不会超过100，只含有大写字母。

样例输入：

22

A

B

样例输出：

100

BZOJ1030文本生成器

把所有的小串插入AC自动机。

对于AC自动机的节点，计算出从根到每个节点是否会经过

至少一个小串，然后在上面dp即可。

f[v][n][x]：

v=1当前经过至少一个小串，v=0表示没有

n表示当前构造的串长

x表示现在在AC自动机的x节点上

BZOJ1030文本生成器

首先计算出cnt[x]表示AC自动机上从根走到x的路径

上是否会经过至少一个小串。

这个可以在BFS计算fail指针的时候计算。

BZOJ1030文本生成器

插入Trie树：

for(inti=1;i=n;i++){

scanf(“%s”,s);

intx=0;

for(intj=0;s[j];j++){

if(!ch[x][s[j]-‘A’])ch[x][s[j]-‘A’]=

tot++;

x=ch[x][s[j]-‘A’];

}

cnt[x]=1;

}

BZOJ1030文本生成器

BFS遍历求next指针：

ints=0,e=1;

q[0]=next[0]=0;

while(se){

intx=q[s++];

cnt[x]|=cnt[next[x]];

for(intj=0;j26;j++)

if(ch[x][j]){

q[e++]=ch[x][j];

next[ch[x][j]]=(!x)?0:ch[next[x]][j];

}elsech[x][j]=ch[next[x]][j];

}

BZOJ1030文本生成器

看f[v][n][x]可以转移到哪些节点：

对于26条出边：x-next[x][k](0≤k≤25)

记y=next[x][k]

f[v|cnt[y]][n+1][y]+=f[v][n][y]

BZOJ1030文本生成器

DP统计：

f[0][0][0]=1;

for(inti=0;im;i++)

for(into=0;o=1;o++)

for(intj=0;jtot;j++)

if(f[o][i][j])

for(intk=0;k26;k++){

intx=ch[j][k];

f[o|cnt[x]][i+1][x]=(f[o|cnt[x]][i+1][x]+f[o][i][j])

%10007;

}

BZOJ1030文本生成器

统计答案：

intans=0;

for(inti=0;itot;i++)

ans=(ans+f[1][m][i])%10007;

时间复杂度O(26mL)，L为所有字符串的长度之和。

B