按照Kiana的说法这个是考察了后缀数组的第一个主要用途:把height数组merge起来
然后二分一个长度
因为不可重叠所以判断SAmax-SAmin是否不小于当前长度就好了
#include<iostream>
#include<cstdio>
#include<cmath>
#include<cstring>
#include<algorithm>
using namespace std;
const int N=2e5+1000;
int S[N]={};
int SA[N]={};
int rk[N]={};
int x[N]={};
int y[N]={};
int c[N]={};
int height[N]={};
int n,m=2000;
void Get_SA(){
for(int i=1;i<=n;++i)x[i]=S[i];
for(int i=1;i<=n;++i)++c[x[i]];
for(int i=1;i<=m;++i)c[i]+=c[i-1];
for(int i=n;i>=1;--i)SA[c[x[i]]--]=i;
for(int k=1;k<=n;k=k<<1){
int num=0;
for(int i=n-k+1;i<=n;++i)y[++num]=i;
for(int i=1;i<=n;++i)if(SA[i]>k)y[++num]=SA[i]-k;
for(int i=1;i<=m;++i)c[i]=0;
for(int i=1;i<=n;++i)++c[x[i]];
for(int i=1;i<=m;++i)c[i]+=c[i-1];
for(int i=n;i>=1;--i)SA[c[x[y[i]]]--]=y[i],y[i]=0;
swap(x,y);
SA[x[1]]=1;
num=1;
for(int i=2;i<=n;++i)x[SA[i]]=(y[SA[i]]==y[SA[i-1]]&&y[SA[i]+k]==y[SA[i-1]+k])?num:++num;
if(num==n)break;
m=num;
}
}
void Get_Height(){
for(int i=1;i<=n;++i)rk[SA[i]]=i;
int k=0;
for(int i=1;i<=n;++i){
if(rk[i]==1)continue;
if(k)k--;
int Id=SA[rk[i]-1];
while(i+k<=n&&Id+k<=n&&S[i+k]==S[Id+k])++k;
height[rk[i]]=k;
}
}
bool check(int k){
int minSA=N+1,maxSA=0;
for(int i=1;i<=n;i++){
if(height[i]<k){
minSA=maxSA=SA[i];
}
else{
minSA=min(minSA,SA[i]);
maxSA=max(maxSA,SA[i]);
if(maxSA-minSA>=k)return true;
}
}
return false;
}
int main(){
// freopen("test.in","r",stdin);
scanf("%d",&n);
for(int i=1;i<=n;++i)scanf("%d",&S[i]);
Get_SA();
Get_Height();
int l=0;
int r=n+1;
int ans=0;
while(l<=r){
int mid=(l+r)/2;
if(check(mid)){
ans=mid;
l=mid+1;
}
else r=mid-1;
}
cout<<ans;
return 0;
}