算法分析
和Sandy的卡片
几乎是同一题我们证明了中国OI的POI性。
具体算法分析见Luogu2463/BZOJ4698 [SDOI2008]Sandy的卡片
要注意是否存在完全一样的字符串,此时的分隔符要注意。
代码实现
#include<bits/stdc++.h>
using namespace std;
#define maxn 200005
#define maxm 200005
#define inf 0x3f3f3f3f
#define LL long long
#define mod 1000000007
#define local
template <typename Tp>
void read(Tp &x){
x=0;int fh=1;char c=getchar();
while(c>'9'||c<'0'){if(c=='-'){fh=-1;}c=getchar();}
while(c>='0'&&c<='9'){x=(x<<1)+(x<<3)+(c&15);c=getchar();}x*=fh;
}
int n,m,s[maxn],tot,id[maxn];
int sa[2][maxn],rk[2][maxn],v[maxn],h[maxn];
int st[30][maxn],lg=20,ans;
int get_lcp(int x,int y){
x++;
int kk=log(y-x+1)/log(2);
return min(st[kk][x],st[kk][y-(1<<kk)+1]);
}
int c[maxn],su;
char ss[maxn];
int main(){
int l,x,xx;
read(m);
for(int i=1;i<=m;i++){
scanf("\n%s",ss);
l=strlen(ss);
for(int j=0;j<l;j++){
s[++tot]=ss[j];id[tot]=i;
}
s[++tot]=i;id[tot]=i;
}
n=tot;int p=0,q=1;
for(int i=1;i<=n;i++)v[s[i]]++;
for(int i=1;i<=128;i++)v[i]+=v[i-1];
for(int i=1;i<=n;i++)sa[0][v[s[i]]--]=i;
for(int i=1;i<=n;i++)rk[0][sa[0][i]]=rk[0][sa[0][i-1]]+(s[sa[0][i]]!=s[sa[0][i-1]]);
for(int k=1;k<=n;k<<=1,swap(p,q)){
for(int i=1;i<=n;i++)v[rk[p][sa[p][i]]]=i;
for(int i=n;i;i--)if(sa[p][i]>k)sa[q][v[rk[p][sa[p][i]-k]]--]=sa[p][i]-k;
for(int i=n-k+1;i<=n;i++)sa[q][v[rk[p][i]]--]=i;
for(int i=1;i<=n;i++)rk[q][sa[q][i]]=rk[q][sa[q][i-1]]+(rk[p][sa[q][i]]!=rk[p][sa[q][i-1]]||rk[p][sa[q][i]+k]!=rk[p][sa[q][i-1]+k]);
if(rk[q][sa[q][n]]==n)break;
}
for(int i=1,k=0;i<=n;i++){
if(rk[q][i]==1)continue;
if(k)k--;
int j=sa[q][rk[q][i]-1];
while(s[i+k]==s[j+k])k++;
h[rk[q][i]]=k;
}
for(int i=1;i<=n;i++)st[0][i]=h[i];
for(int j=1;j<=lg;j++){
for(int i=1;i+(1<<j)-1<=n;i++){
st[j][i]=min(st[j-1][i],st[j-1][i+(1<<(j-1))]);
}
}
int r=0;
for(int i=1;i<=n;i++){
while(r<=n&&su<m){
c[id[sa[q][++r]]]++;
if(c[id[sa[q][r]]]==1)su++;
}
if(su<m)break;
ans=max(ans,get_lcp(i,r));
c[id[sa[q][i]]]--;
if(!c[id[sa[q][i]]])su--;
}
printf("%d\n",ans);
return 0;
}