【hihocoder#1413】Rikka with String 后缀自动机 + 差分

搞了一上午+接近一下午这个题,然后被屠了个稀烂,默默仰慕一晚上学会SAM的以及半天4道SAM的hxy大爷。

题目链接:http://hihocoder.com/problemset/problem/1413

这个题非常的劲!

首先可以发现,每次只变换一个字符为#,所以每次答案一定会得到相应的包含#的答案,而这个方案是可以直接计算出来的。

假设是$S[i]=$#则会得到$i*(N-i+1)$的子串数。

所以每次的答案可以表示为$sum[root]+i*(N-i+1)-ans[i]$,其中$ans[i]$表示严格经过$i$位置的本质不同的子串,严格的意义即这个本质不同的子串有且仅有一次,且经过$i$;

所以问题就转化为如何求出$ans[1..N]$

然后如何找到本质不同的经过$i$的子串,考虑利用后缀自动机;

问了 abclzr队长 ,可以考虑存出每个$Parent$树中的节点的$Right$集合,这样再进行递推,就可以搞出答案,但实际上并不需要存出全部的$Right$集合,只需要记录每个节点的$Right$集合的最左最右端点。

这样,对于一个子串是否严格跨越$i$,就可以利用右端-距离+1以及左端来判断是否严格跨越。

然后每个节点代表了多个子串,把这些子串一起处理,对答案的贡献就相当于是区间加上一个等差数列,对$ans[]$二阶差分后可以$O(N)$出解。

其实也可以用线段树/树状数组维护,树状数组需要差分,而且构造两个比较好写,线段树只要支持区间加,单点加,区间和即可。

给出一下官方题解:

【hihocoder#1413】Rikka with String     后缀自动机 + 差分

Code:

#include<iostream>
#include<cstdio>
#include<cmath>
#include<algorithm>
#include<cstring>
using namespace std;
#define LL long long
#define MAXN 600010
int N;
char S[MAXN];
namespace SAM
{
int son[MAXN<<][],par[MAXN<<],len[MAXN<<],size[MAXN<<],l[MAXN<<],r[MAXN<<];
int root,last,sz;
#define INF 0x7fffffff
inline void Init() {root=last=sz=;}
inline void Extend(int c)
{
int cur=++sz,p=last;
len[cur]=len[p]+; size[cur]=;
while (p && !son[p][c]) son[p][c]=cur,p=par[p];
if (!p) par[cur]=root;
else
{
int q=son[p][c];
if (len[p]+==len[q]) par[cur]=q;
else
{
int nq=++sz; l[nq]=INF,r[nq]=;
memcpy(son[nq],son[q],sizeof(son[nq]));
par[nq]=par[q]; len[nq]=len[p]+;
while (p && son[p][c]==q) son[p][c]=nq,p=par[p];
par[cur]=par[q]=nq;
}
}
l[cur]=r[cur]=len[cur];
last=cur;
}
inline void Build() {Init(); for (int i=; i<=N; i++) Extend(S[i]-'a'+);}
int st[MAXN],id[MAXN<<];
LL sum[MAXN<<],ans[MAXN];
inline void Pre()
{
for (int i=; i<=sz; i++) st[len[i]]++;
for (int i=; i<=N; i++) st[i]+=st[i-];
for (int i=; i<=sz; i++) id[st[len[i]]--]=i;
for (int i=sz; i>=; i--)
{
int x=id[i];
l[par[x]]=min(l[par[x]],l[x]);
r[par[x]]=max(r[par[x]],r[x]);
for (int j=; j<=; j++)
sum[x]+=sum[son[x][j]];
sum[x]++;
}
sum[root]--;
for (int i=sz; i>=; i--)
{
int x=id[i];
if (r[x]-len[x]+<=l[x])
{
int L=r[x]-len[x]+,R=min(r[x]-len[par[x]],l[x]),Len=R-L+;
if (L<=R) ans[L]++,ans[R+]-=Len+,ans[R+]+=Len;
L=R+,R=l[x];
if (L<=R) ans[L]+=Len,ans[L+]-=Len,ans[R+]-=Len,ans[R+]+=Len;
}
}
for (int i=; i<=N; i++) ans[i]+=ans[i-];
for (int i=; i<=N; i++) ans[i]+=ans[i-];
// printf("%d\n",sum[root]);
}
}using namespace SAM;
int main()
{
scanf("%d%s",&N,S+);
SAM::Build(); SAM::Pre();
for (int i=; i<=N; i++) printf("%lld ",(LL)i*(N-i+)+sum[root]-ans[i]);
return ;
}
/*
10
abcabcabdc
*/

hihocoder challenge 24 C

上一篇:Spring Boot 项目学习 (三) Spring Boot + Redis 搭建


下一篇:jQuery选择器(二)