把博客园图标替换成自己的图标
把博客园图标替换成自己的图标end

luogu P4052 [JSOI2007]文本生成器

题面传送门
考虑一下,会发现这个东西不太好算,考虑容斥一下,用总数减去一个都没有出现的个数。
那么就可以设\(dp_{i,j}\)表示匹配到\(i\),AC自动机上匹配到\(j\)的方案数。预处理一下就可以做了。
时间复杂度\(O(m\sum{|S|})\)
代码实现:

#include<cstdio>
#include<queue>
#include<cstring>
#define mod 10007
using namespace std;
int n,m,k,x,y,z,now,dp[139][6039],tot[6039],ans=1,flag[6039],cnt;
char s[139];
struct AC{int son[26],fail;}f[6039];
inline void get(){
	register int i,now=0;
	for(i=1;i<=k;i++) now=f[now].son[s[i]-'A']?f[now].son[s[i]-'A']:(f[now].son[s[i]-'A']=++cnt);
	tot[now]++;
}
queue<int> q;
inline void bfs(){
	register int i;
	for(i=0;i<=25;i++) if(f[0].son[i]) q.push(f[0].son[i]);
	while(!q.empty()){
		now=q.front();q.pop();
		for(i=0;i<=25;i++){
			if(f[now].son[i])f[f[now].son[i]].fail=f[f[now].fail].son[i],q.push(f[now].son[i]);
			else f[now].son[i]=f[f[now].fail].son[i];
		}
	}
}
inline void dfs(int x){
	if(!x||flag[x])return;flag[x]=1;
	dfs(f[x].fail);tot[x]+=tot[f[x].fail];
}
int main(){
	freopen("1.in","r",stdin);
	register int i,j,h;
	scanf("%d%d",&n,&m);dp[0][0]=1;
	for(i=1;i<=n;i++)scanf("%s",s+1),k=strlen(s+1),get();
	for(bfs(),i=1;i<=cnt;i++)dfs(i);
	for(i=0;i<m;i++){
		for(j=0;j<=cnt;j++){
			for(h=0;h<=25;h++){
				now=f[j].son[h];
				if(!tot[now])dp[i+1][now]=(dp[i][j]+dp[i+1][now])%mod;
			}
		}
	}
	for(i=1;i<=m;i++) ans=ans*26%mod;
	for(i=0;i<=cnt;i++) ans=(ans-dp[m][i]+mod)%mod;
	printf("%d\n",ans);
}
posted @ 2021-02-04 08:19  275307894a  阅读(45)  评论(0编辑  收藏  举报
浏览器标题切换
浏览器标题切换end