poj 1743 Musical Theme

题意：求一个字符串的不可重叠最长重复子串。

题解：后缀数组经典题目。

要先把串转换一下，根据题目的性质，应该把输入得到的串前后相减得到方便求解的新的串 —— 设其为 s ，再求该串 s 中最长的不重叠重复子串。由于不能重叠，导致 height 数组的最大值不一定是解，因为相邻两串可能会重叠。

此题用后缀数组也有两种解法， 1 ：二分枚举答案， 2 ：用栈线性扫描，主要说做法 1 ，因为它更以理解些

现在我们假设 - 最长 , 不重叠 , 重复子串的长度为 len ，那么在一个 height 数组中有一些 height[i] 会小于 len ，在这个 i 左右的两个子串，他们 LCP 是不可能大于或等于 len 的，这样，就可以把height 数组看做很多 LCP >= len 的段，可行解必在同一段我们在每一段中进行扫描，记录这一段中最大和最小的子串串索引（ sa[x] ），如果两者之和小于 len ，说明重叠了，否则就找到了一个可行解。

易证：如果该串存在 len1 的不重叠子串，且 len1 > len2 ，则该串也存在长度 len2 的不重叠子串，解有连续性，所以我们在上面这个过程外我们可以二分枚举。

这道题的关键点就是：判断解的时候对 height 数组进行分段处理，这个分段的思想与其说重要，还不说就是 height 数组的基本性质。

代码：

#include <cstdio>
#include <cstring>

using namespace std;

const int N = 20010;

int s[N];  
int sa[N],rank[N],height[N];
int wa[N],wb[N],wv[N],ws[N];

int min(int a, int b){
	if(a < b) return a;
	return b;
}

int max(int a, int b){
	if(a > b) return a;
	return b;
}

int cmp(int *r,int a,int b,int l)  {  
    return r[a] == r[b] && r[a+l] == r[b+l];  
}  
void fun(int *r, 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++;  
    }  
}  
void calheight(int *r, int n){  
   int i, j, k=0;  
   for(int i=1; i<=n; i++)  
       rank[sa[i]] = i;        
   for(int i=0; i<n; i++){
       if(k) k--;
       int j = sa[rank[i]-1];
       while(r[i+k] == r[j+k]) k++;
       height[rank[i]] = k;
    }   
}  
	
bool check(int mid, int n){
	int l = sa[1], r = sa[1];
	for(int i=2; i<=n; i++){
		if(height[i] >= mid){
			l = min(l, sa[i]);
			r = max(r, sa[i]);
			if(r - l >= mid) return true;
		}
		else
			l = r = sa[i];
	}
	return false;
}

int main(){
	int n,a,b;
    while(~scanf("%d", &n)) {
        if(!n) break;
        n--;
        scanf("%d", &b);
        for(int i = 0; i < n; i++) {
            scanf("%d", &a);
            s[i] = a - b + 100;
            b = a;
        }
        s[n] = 0;
		fun(s, n+1, 200);
		calheight(s, n);
		int l = 1, r = n, ans = -1;
		while(l <= r){
			int mid = (l + r) >> 1;
			if(check(mid,n)) ans = mid, l = mid + 1;
			else r = mid - 1;
		}
		if(ans >= 4) printf("%d\n",ans+1);
		else puts("0");
	}
	return 0;
}