BZOJ 4516 [Sdoi2016]生成魔咒 ——后缀自动机

本质不同的字串，考虑SA的做法，比较弱，貌似不会。

好吧，只好用SAM了，由于后缀自动机的状态最简的性质，

所有不同的字串就是∑l[i]-l[fa[i]]，

然后后缀自动机是可以在线的，然后维护一下就可以了。

#include <map>
#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;

#define F(i,j,k) for (int i=j;i<=k;++i)
#define D(i,j,k) for (int i=j;i>=k;--i)
#define ll long long
#define maxn 200005

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;
}

struct Suffix_Automata{
map<int,int> go[maxn];
char s[maxn];
ll ans;
int l[maxn],fa[maxn],last,cnt;
void init(){last=cnt=1;}
void add(int x)
{
int p=last,np=last=++cnt; l[np]=l
+1;
for (;p&&!go[p][x];p=fa[p]) go[p][x]=np;
if (!p) fa[np]=1;
else
{
int q=go[p][x];
if (l[q]==l[p]+1) fa[np]=q;
else
{
int nq=++cnt;
l[nq]=l[p]+1;
go[nq]=go[q];
fa[nq]=fa[q];
fa[q]=fa[np]=nq;
for (;p&&go[p][x]==q;p=fa[p]) go[p][x]=nq;
}
}
ans+=l[last]-l[fa[last]];
}
void solve()
{
init();
int n; ans=0;
n=read();
F(i,1,n)
{
int x;
x=read();
add(x);
printf("%lld\n",ans);
}
}
}sam;
int main(){sam.solve();}