后缀数组，LCP（Stammering Aliens，LA 4513）

WA了好多发，简直想卒。

跟上一题一样原理啦，输出时有些极端数据要特判一下，比如长度刚好为n和"none"的情况。

还是自己太弱了，太浮躁太心急，有时候自己写的一些代码可以通过大部分数据，但是由于细节实现得不好或者有些极端数据本来就应该特判输出，而自己却没考虑到，导致WA。所以以后要做好各种极端情况的数据测试。

代码

#include<bits/stdc++.h>
#define maxn 1000010
using namespace std;

char s[maxn];
int sa[maxn],t1[maxn],t2[maxn],c[maxn];
int n,m;

void get_sa(int m)
{
int* x=t1,*y=t2;
n=strlen(s);
for(int i=0;i<n;i++)
x[sa[i]=i]=s[i];
for(int k=0;k<=n;k=k?k<<1:1)
{
int p=0;
for(int i=n-k;i<n;i++) y[p++]=i;
for(int i=0;i<n;i++) if(sa[i]>=k) y[p++]=sa[i]-k;
for(int i=0;i<m;i++) c[i]=0;
for(int i=0;i<n;i++) c[x[y[i]]]++;
for(int i=1;i<m;i++) c[i]+=c[i-1];
for(int i=n-1;i>=0;i--) sa[--c[x[y[i]]]]=y[i];
swap(x,y);
p=1,x[sa[0]]=0;
for(int i=1;i<n;i++)
x[sa[i]]=y[sa[i-1]]==y[sa[i]]&&(sa[i-1]+k>=n?-1:y[sa[i-1]+k])==(sa[i]+k>=n?-1:y[sa[i]+k])?p-1:p++;
m=p;
}
}

int Rank[maxn],height[maxn];

void get_height()
{
int k=0;
for(int i=0;i<n;i++) Rank[sa[i]]=i;
height[0]=0;
for(int i=0;i<n;i++)
{
if(!Rank[i]) continue;
if(k) k--;
int j=sa[Rank[i]-1];
while(s[i+k]==s[j+k]) k++;
height[Rank[i]]=k;
}
}

bool ok(int len)
{
int now,last;
last=0;
now=1;
while(now<n)
{
if(height[now]<len)
{
if(now-last>=m) return 1;
last=now;
}
now++;
}
if(now-last>=m) return 1;
return 0;
}

void print(int len)
{
int MAX=0;
int temp=sa[0];
int now,last;
last=0;
now=1;
while(now<n)
{
if(height[now]<len)
{
if(now-last>=m) MAX=max(MAX,temp);
temp=0;
last=now;
}
temp=max(temp,sa[now]);
now++;
}
if(now-last>=m) MAX=max(MAX,temp);
printf("%d %d\n",len,MAX);
}

int main()
{
while(scanf("%d",&m)==1&&m)
{
scanf("%s",s);
get_sa(150);
get_height();
int L=0,R=n+1;
while(L<R)
{
int M=L+(R-L)/2;
if(ok(M)) L=M+1;
else R=M;
}
if(L<=1) puts("none");
else if(L==n+1) printf("%d 0\n",n);
else print(L-1);
}
return 0;
}