bzoj 2946 [Poi2000]公共串——后缀自动机

时间:2022-07-15 22:53:22
bzoj 2946 [Poi2000]公共串——后缀自动机

题目:https://www.lydsy.com/JudgeOnline/problem.php?id=2946

对每个串都建一个后缀自动机,然后 dfs 其中一个自动机,记录同步的话在别的自动机上走到哪些点了;只要有一个自动机上走不下去了,就都走不下去了。每走到一个新地方就更新一下 ans 。

或者像网上的其他题解一样,对一个串建一个后缀自动机,其他串跑一遍并在 parent 树上更新了之后得知自动机的每个点在当前串上能匹配的长度,最后对自动机上每个点的答案取 max 。不过没写这个。

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
const int N=,M=N<<,K=,tN=;
char s[N]; int T,lst,cnt,go[tN][M][K],fa[tN][M],l[tN][M],p[M][tN],ans;
int Mx(int a,int b){return a>b?a:b;}
void add(int x,int w)
{
int p=lst,np=++cnt;lst=np;l[x][np]=l[x][p]+;
for(;p&&!go[x][p][w];p=fa[x][p])go[x][p][w]=np;
if(!p)fa[x][np]=;
else
{
int q=go[x][p][w];
if(l[x][q]==l[x][p]+)fa[x][np]=q;
else
{
int nq=++cnt;l[x][nq]=l[x][p]+;
fa[x][nq]=fa[x][q];fa[x][q]=nq;fa[x][np]=nq;
memcpy(go[x][nq],go[x][q],sizeof go[x][q]);
for(;go[x][p][w]==q;p=fa[x][p])go[x][p][w]=nq;
}
}
}
void dfs(int cr,int len)
{
ans=Mx(ans,len);//
for(int w=;w<=;w++)
if(go[][cr][w])
{
bool flag=; int d=go[][cr][w];
for(int t=;t<=T;t++)
if(!go[t][p[cr][t]][w]){flag=;break;}
else p[d][t]=go[t][p[cr][t]][w];
if(!flag)continue;
dfs(d,len+);
}
}
int main()
{
scanf("%d",&T);
for(int t=;t<=T;t++)
{
scanf("%s",s);int d=strlen(s);
lst=cnt=;
for(int i=;i<d;i++)add(t,s[i]-'a'+);
}
for(int t=;t<=T;t++)p[][t]=;
dfs(,); printf("%d\n",ans);
return ;
}