poj 1743后缀数组入门

http://poj.org/problem?id=1743

求最长不重叠公共子串: 转化为判断性问题求最值 二分长度k 即满足h[i]>=k的后缀为一组 该组中最大编号差>=k则不重叠,满足条件

#include <cstring>
#include <algorithm>
#include <cstdio>
#include <vector>

const int inf=31000;
const int M=20101;
int wa[20010],wb[20010],ws[20010],rank[20010],sa[20010],wv[20010],height[20010],r[20010];
int n;
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 *x=wa,*y=wb,*t;
	int  i,j,p;
	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;m=p,j*=2)
	{
		for(p=0,i=n-j;i<n;i++)y[p++]=i;
		for(i=0;i<n;i++)
		//x的第一关键子排名==x-j的第二关键子排名 
		if(sa[i]>=j)y[p++]=sa[i]-j;
	
		//通过x和y计算长度为 2J的sa数组
		for(i=0;i<m;i++)ws[i]=0;
		for(i=0;i<n;i++)wv[i]=x[y[i]];
		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];
			//后缀y[i]的第一关键字排名为c[x[y[i]]] 第一关键字相同时 此时看第二关键字  
        	//y[i]中i越小 第二关键字排名就越小 后缀y[i]排名就越小 (逆推的原因)
		}
		
		for(t=x,x=y,y=t,i=1,x[sa[0]]=0,p=1;i<n;i++)
			x[sa[i]]=cmp(y,sa[i-1],sa[i],j)?p-1:p++;
	}
}
void cal(int *r,int *sa,int n)
{
	int j;
	for(int i=1;i<=n;i++)rank[sa[i]]=i;
	int k=0;
	for(int i=0;i<n;height[rank[i++]]=k)
	for(k?k--:0,j=sa[rank[i]-1];r[i+k]==r[j+k];k++);
}
//x1,x2..xn; y1,y2,..y2; k=y1-x1; 为了使x1+a=y1 x2+a=y2..xn+a=yn
//两两做差 得出-> y2-y1=x2-x1 , y3-y2=x3-x2 ...yn-yn-1=xn-xn-1;
//即求相邻差相同的最长部分 

bool check(int k)
{
	int Min=inf,Max=-1;
	for(int i=0;i<n;i++)
	{
		if(height[i]>=k) //该组中 最大编号和最小编号差要>=k 
		{
			int a=sa[i],b=sa[i-1];
			if(a<b)
			{
				int t=a;
				a=b;
				b=t;
			}
			if(Max<a)
			Max=a;
			if(Min>b)
			Min=b;
			if(Max-Min>=k)//不重叠 首字符距离要>=k 
			return 1;		
		}
	}
	return 0;
}
int main()
{
	while(scanf("%d",&n)!=EOF&&n)
	{
		int k;
		--n;
		scanf("%d",&k);
		for(int i=0;i<n;i++)
		{
			int j;
			scanf("%d",&j);
			r[i]=j-k+100;//两个字串相邻差相等 则某个子串同时+a就等于零一个子串 
			//求最长公共不同叠的相邻差即可 
			k=j;
		}
		r[n]=0;
		da(r,sa,n+1,200);
		cal(r,sa,n);		
		int l=1,r=n/2;
		int ans=0;//
		while(l<r) 
		{
			int m=(l+r+1)>>1;
			if(check(m))//判断是否存在长度为m的公共不重叠字串 
			{
				ans=m;
				l=m;
			}
			else
			{
				r=m-1;//满足单调性 即长度b<a b不存在 a肯定也不存在 
			}
		}
		if(ans>=4)//相邻差相等个数为n时 原数组有n+1个满足 
		{
			printf("%d\n",ans+1);
		}
		else
		printf("0\n");
	}
	return 0;
}