codeforces 427D Match & Catch（后缀数组，字符串）

//如果一个长度len合法的话：则一定存在这个样的sa[i]排名。
//sa[i]与s[i+1]的公共前缀长度大于等于len，
//且sa[i]与[i-1]的公共前缀长度小于len，
//同时 sa[i+1]与[i+2]的公共前缀长度小于len，
//同时保证sa[i]与sa[i+1]在两个串中。
#include<stdio.h>
#include<string.h>
#include<algorithm>
using namespace std;
#define maxn 1000001
int wa[maxn],wb[maxn],wv[maxn],ws[maxn];
int cmp(int *r,int a,int b,int l)
{return r[a]==r[b]&&r[a+l]==r[b+l];}
void da(int *r,int *sa,int n,int m){
int i,j,p,*x=wa,*y=wb,*t;
for(i=0;i<m;i++) ws[i]=0;
for(i=0;i<n;i++) ws[x[i]=r[i]]++;
for(i=1;i<m;i++) ws[i]+=ws[i-1];
for(i=n-1;i>=0;i--) sa[--ws[x[i]]]=i;
for(j=1,p=1;p<n;j*=2,m=p){
for(p=0,i=n-j;i<n;i++) y[p++]=i;
for(i=0;i<n;i++) if(sa[i]>=j) y[p++]=sa[i]-j;
for(i=0;i<n;i++) wv[i]=x[y[i]];
for(i=0;i<m;i++) ws[i]=0;
for(i=0;i<n;i++) ws[wv[i]]++;
for(i=1;i<m;i++) ws[i]+=ws[i-1];
for(i=n-1;i>=0;i--) sa[--ws[wv[i]]]=y[i];
for(t=x,x=y,y=t,p=1,x[sa[0]]=0,i=1;i<n;i++)
x[sa[i]]=cmp(y,sa[i-1],sa[i],j)?p-1:p++;
}
return;
}
int rankk[maxn],height[maxn];
void calheight(int *r,int *sa,int n){
int i,j,k=0;
for(i=1;i<=n;i++) rankk[sa[i]]=i;
for(i=0;i<n;height[rankk[i++]]=k)
for(k?k--:0,j=sa[rankk[i]-1];r[i+k]==r[j+k];k++);
return;
}

char s[10010];
int len1,len2;
int r[10010],sa[10010];
//这是一个除去下标影响的好方法呀
int judge(int n,int k ){
int a,b;a=b=0;
for(int i=2;i<=n;i++){
if(height[i]<k){
if(a==1&&b==1)return 1;
a=0,b=0;
}
if(sa[i]>=0&&sa[i]<len1)a++;
if(sa[i]>len1&&sa[i]<len2)b++;
}
return 0;
}

int main(){
scanf("%s",s);
len1=strlen(s);
s[len1]=1;
scanf("%s",s+len1+1);
len2=strlen(s);
for(int i=0;i<len2;i++)r[i]=s[i];
r[len2]=0;
da(r,sa,len2+1,128);
calheight(r,sa,len2);
int ans=-1;
for(int i=1;i<=len1;i++){//枚举长度
if(judge(len2+1,i)){
ans=i;break;
}
}
printf("%d\n",ans);
return 0;
}