其他分享
首页 > 其他分享> > 51nod 1600 Simple KMP

51nod 1600 Simple KMP

作者:互联网

题意

考虑转化下\(f(S)\):
我们考虑\(S\)的\(fail\)树上的每一个点\(x\),如果\(x\)到\(0\)的路径上有\(cnt\)个点(除去\(x\)和\(0\)),那么就会对\(f(S)\)产生\(cnt\)的贡献,于是现在\(f(S)\)变为了每个点会对很多点产生\(1\)的贡献,最后求和。
我们知道每个点代表一个前缀,那么我们就可以转化成每个前缀的贡献若干个\(1\)。易知,如果一个前缀在\(S\)中出现了\(cnt\)次(除了它本身),那么就会产生\(cnt\)的贡献。

我们再来想\(key(S)\):
\(key(S)=\sum\limits_{S'\in S}f(S')\)。

我们统计每个子串的贡献,假如有两个子串\(S_{l1,r2},S_{l2,r2}(l1<l2)\)相等,那么就会产生\(n-r2\)的贡献。

但这样还是不好算,但是题中已经给我们提示了,我们是不断向后添加字符的,每次会新添加一个\(endpos\),算出增量即可。

每次的增量\(sum_i\):
\(sum_i=sum_{i-1}+calc(i)\)。
\(calc(i)\)表示从\(endpos_i\)(\(endpos\)集合中只包含\(i\)的点)到根(\(1\))的这条链上,所有的串都要贡献\(1\),我们求个和。
\(sum_{i-1}\)是上一次的增量,因为我们向后添加了一个字符,所以之前所有的串的贡献都要\(+1\)。

树剖/\(LCT\)维护即可。

code:

#include<bits/stdc++.h>
using namespace std;
#define ls(p) (p<<1)
#define rs(p) (p<<1|1)
const int maxn=2e5+10;
const int mod=1e9+7;
int n,ans;
int endpos[maxn];
char s[maxn];
inline int read()
{
	char c=getchar();int res=0,f=1;
	while(c<'0'||c>'9'){if(c=='-')f=-1;c=getchar();}
	while(c>='0'&&c<='9')res=res*10+c-'0',c=getchar();
	return res*f;
}
inline int add(int x,int y){return x+y>=mod?x+y-mod:x+y;}
inline int dec(int x,int y){return x-y<0?x-y+mod:x-y;}
struct SAM
{
	int last,tot;
	int fa[maxn],len[maxn];
	int ch[maxn][26];
	SAM(){last=tot=1;}
	inline void add(int c)
	{
		int now=++tot;len[now]=len[last]+1;
		int p=last;last=now;
		while(p&&!ch[p][c])ch[p][c]=now,p=fa[p];
		if(!p){fa[now]=1;return;}
		int q=ch[p][c];
		if(len[q]==len[p]+1)fa[now]=q;
		else 
		{
			int nowq=++tot;len[nowq]=len[p]+1;
			memcpy(ch[nowq],ch[q],sizeof(ch[q]));
			fa[nowq]=fa[q],fa[q]=fa[now]=nowq;
			while(p&&ch[p][c]==q)ch[p][c]=nowq,p=fa[p];
		}
	}
}sam;
int cnt_edge;
int head[maxn];
struct edge{int to,nxt;}e[maxn<<1];
inline void add_edge(int u,int v)
{
	e[++cnt_edge]=(edge){v,head[u]};
	head[u]=cnt_edge;
}
int size[maxn],son[maxn],dep[maxn],pre[maxn];
void dfs1(int x,int fa)
{
	size[x]=1;
	dep[x]=dep[pre[x]=fa]+1;
	for(int i=head[x];i;i=e[i].nxt)
	{
		int y=e[i].to;
		if(y==fa)continue;
		dfs1(y,x);size[x]+=size[y];
		if(size[y]>size[son[x]])son[x]=y;
	}
}
int tim;
int dfn[maxn],pos[maxn],top[maxn];
void dfs2(int x,int tp)
{
	pos[dfn[x]=++tim]=x;
	top[x]=tp;
	if(son[x])dfs2(son[x],tp);
	for(int i=head[x];i;i=e[i].nxt)
	{
		int y=e[i].to;
		if(y==son[x]||y==pre[x])continue;
		dfs2(y,y);
	}
}
struct Segment_tree
{
	#define len(p) (seg[p].len)
	#define sum(p) (seg[p].sum)
	#define tag(p) (seg[p].tag)
	int len,sum,tag;
}seg[maxn<<2];
void build(int p,int l,int r)
{
	if(l==r){len(p)=sam.len[pos[l]]-sam.len[sam.fa[pos[l]]];return;}
	int mid=(l+r)>>1;
	build(ls(p),l,mid);build(rs(p),mid+1,r);
	len(p)=add(len(ls(p)),len(rs(p)));
}
inline void down(int p)
{
	if(!tag(p))return;
	int k=tag(p);
	sum(ls(p))=add(sum(ls(p)),1ll*k*len(ls(p))%mod);
	sum(rs(p))=add(sum(rs(p)),1ll*k*len(rs(p))%mod);
	tag(ls(p))=add(tag(ls(p)),k),tag(rs(p))=add(tag(rs(p)),k);
	tag(p)=0;
}
void change(int p,int l,int r,int ql,int qr)
{
	if(l>=ql&&r<=qr)
	{
		sum(p)=add(sum(p),len(p));
		tag(p)++;
		return;
	}
	down(p);
	int mid=(l+r)>>1;
	if(ql<=mid)change(ls(p),l,mid,ql,qr);
	if(qr>mid)change(rs(p),mid+1,r,ql,qr);
	sum(p)=add(sum(ls(p)),sum(rs(p)));
}
int query(int p,int l,int r,int ql,int qr)
{
	if(l>=ql&&r<=qr)return sum(p);
	down(p);
	int mid=(l+r)>>1,res=0;
	if(ql<=mid)res=add(res,query(ls(p),l,mid,ql,qr));
	if(qr>mid)res=add(res,query(rs(p),mid+1,r,ql,qr));
	return res;
}
inline void change(int x)
{
	while(top[x]!=1)change(1,1,sam.tot,dfn[top[x]],dfn[x]),x=pre[top[x]];
	change(1,1,sam.tot,dfn[1],dfn[x]);
}
inline int query(int x)
{
	int res=0;
	while(top[x]!=1)res=add(res,query(1,1,sam.tot,dfn[top[x]],dfn[x])),x=pre[top[x]];
	res=add(res,query(1,1,sam.tot,dfn[1],dfn[x]));
	return res;
}
int main()
{
	n=read();
	scanf("%s",s+1);
	for(int i=1;i<=n;i++)sam.add(s[i]-'a'),endpos[i]=sam.last;
	for(int i=1;i<=sam.tot;i++)add_edge(sam.fa[i],i),add_edge(i,sam.fa[i]);
	dfs1(1,0),dfs2(1,1);
	build(1,1,sam.tot);
	int sum=0;
	for(int i=1;i<=n;i++)
	{
		sum=add(sum,query(endpos[i]));
		change(endpos[i]);
		ans=add(ans,sum);
		printf("%d\n",ans);
	}
	return 0;
}

标签:Simple,rs,51nod,1600,sum,tag,int,dfn,res
来源: https://www.cnblogs.com/nofind/p/13067930.html