您的位置:首页 > Web前端 > JavaScript

bzoj1030 [JSOI2007] 文本生成器(ACAM+dp)

2018-03-22 21:15 387 查看
求长度为m的,至少包含一个模式串的文本串个数。

我们考虑用所有的个数26m减去一个模式串也不包含的个数。

后者我们可以建出ACAM,然后在ACAM上跑dp即可。

#include <cstdio>
#include <cstring>
#include <algorithm>
#include <queue>
using namespace std;
#define ll long long
#define N 70
#define inf 0x3f3f3f3f
#define mod 10007
inline int read(){
int x=0,f=1;char ch=getchar();
while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
while(ch>='0'&&ch<='9') x=x*10+ch-'0',ch=getchar();
return x*f;
}
int n,m,son[N*100][26],f[110][N*100],rt,owo=0,fail[N*100],ans=0;
bool end[N*100];//f[i][j]表示第i个字符匹配到自动机上的第j个节点且不含任何模式串的方案数
char s[110];
inline void ins(char *s){
int len=strlen(s+1),p=rt;
for(int i=1;i<=len;++i){
int &y=son[p][s[i]-'A'];if(!y) y=++owo;p=y;
}end[p]=1;
}
inline void buildAC(){
queue<int>q;q.push(rt);
while(!q.empty()){
int x=q.front();q.pop();
for(int i=0;i<26;++i){
int &y=son[x][i];
if(!y){y=son[fail[x]][i];continue;}q.push(y);
fail[y]=son[fail[x]][i];end[y]|=end[fail[y]];
}
}
}
inline int ksm(int x,int k){
int res=1;for(;k;k>>=1,x=x*x%mod) if(k&1) res=res*x%mod;return res;
}
int main(){
//  freopen("a.in","r",stdin);
n=read();m=read();rt=++owo;
for(int i=0;i<26;++i) son[0][i]=rt;f[0][1]=1;
for(int i=1;i<=n;++i) scanf("%s",s+1),ins(s);buildAC();
for(int i=0;i<m;++i)
for(int j=1;j<=owo;++j){
if(end[j]||!f[i][j]) continue;
for(int k=0;k<26;++k){
f[i+1][son[j][k]]+=f[i][j];f[i+1][son[j][k]]%=mod;
}
}
for(int i=1;i<=owo;++i)
if(!end[i]) ans=(ans+f[m][i])%mod;
ans=ksm(26,m)-ans;if(ans<0) ans+=mod;
printf("%d\n",ans);
return 0;
}
内容来自用户分享和网络整理,不保证内容的准确性,如有侵权内容,可联系管理员处理 点击这里给我发消息
标签: