POJ - 1743 Musical Theme 后缀数组+二分

题意：有N(1<=N<=20000)个音符的序列来表示一首乐曲，每个音符都是1…88范围内的整数，现在要找一个重复的子串，它需要满足如下条件：1.长度至少为5个音符。 2.在乐曲中重复出现（就是出现过至少两次）。(可能经过转调，“转调”的意思是主题序列中每个音符都被加上或减去了同一个整数值) 3.重复出现的同一主题不能有公共部分。
思路：
首先把问题转化成重复子串的问题：把原串每一位都与前一位相减。这样得出的新串如果有两个长度为n的子串相同，那么它们对应在原串的长度n+1的子串也就相似。
剩下的就是 不可重叠最长重复子串问题了

二分枚举答案，再O(n)判断长度是否合法
我们看height数组，对于height[i] ，求的是排名为i的后缀和排名为i-1的后缀的LCP，我们还可以通过SA数组得出他俩的下标，比较LCP和下标之差就可以得知有没有重叠
注意 下标之差，是取多个LCP大于当前枚举长度的最大下标-最小下标

#include<iostream>
#include<string>
#include<algorithm>
#include<cstdio>
#include<cstring>
#include<cmath>
#include <set>
#include <stack>
#include <map>
#include<vector>
#include <iterator>
#define inf 0x3f3f3f3f
#define ll long long
 
using namespace std;
const int MAXN = 2e4;
int w;
int str[MAXN];
int SA[MAXN];
int buc[MAXN];
int x[MAXN],y[MAXN],len;
int Rank[MAXN],height[MAXN];///rank[i] 用来记录后缀 i 在 SA 数组的位置,表示字符串i的排名
///height[i] 排名为 i 的后缀与排名为 i-1 的后缀的 LCP（最长公共前缀）
int h[MAXN]; //h[i] = height[rank[i]]:排名为i的后缀与排名靠前一位的最长公共前缀  ？？？？？？？？？？？？？？
 
//rank:这个排在第几，SA：排在第几的是谁
int temp[MAXN];
void da()
{
    int m = 176;
    for(int i= 0 ;i < m;i ++) buc[i] = 0;
    for(int i = 0;i < len;i ++) buc[x[i] = str[i]] ++;
    for(int i = 1 ;i < m;i ++) buc[i] += buc[i-1];
    for(int i = len -1;i >= 0;i --) SA[-- buc[x[i]]] = i;
    for(int k = 1;k <= len;k <<= 1)
    {
        int p = 0;
        for(int i = len- 1;i >= len - k;i --) y[p++] = i;
        for(int i =0 ;i < len;i ++) if(SA[i] >= k) y[p++] = SA[i] - k;
 
        for(int i= 0 ;i < m;i ++) buc[i] = 0;
        for(int i =0 ;i <len;i ++) buc[x[y[i]]] ++;
        for(int i =1 ;i < m;i ++) buc[i] += buc[i-1];
        for(int i = len-1;i >= 0;i -- ) SA[ -- buc[x[y[i]]]] = y[i];
 
        swap(x,y);
        p = 1;x[SA[0]] = 0;
        for(int i = 1;i < len;i ++)
        {
           if(y[SA[i-1]] == y[SA[i]] && y[SA[i-1]+k] == y[SA[i]+k])
                x[SA[i]] = p-1;
           else
                x[SA[i]] = p++;
        }
        if(p >= len) break;
        m = p;
    }
}
 
//如果直接求的话，复杂度为O(n^2)，但是我们按照h[1],h[2],h[3]....的顺序求解，并利用h数组的性质，时间复杂度可以降为O(n)
//h[i] >= h[i-1]+1                   h[i] = height[rank[i]]
 
void get_height()
{
    for(int i =0 ;i < len;i ++) Rank[SA[i]] = i;
    int k = 0;
    for (int i = 0; i < len; i++)
    {
        if (Rank[i] == 0) {height[0] = 0; continue;} // 第一个后缀的 LCP 为 0。
        if (k) k--; // 从 k - 1 开始推
        int j = SA[Rank[i] - 1];
        while (str[i + k] == str[j + k] && i + k < len && j + k < len) k++;
        height[Rank[i]] = k;
    }
}
int n;
bool check(int len)
{
	int minn=inf,maxx=-inf;
	for(int i=2;i<=n;i++)
	{
		if(height[i]>=len)
		{
			minn=min(minn,min(SA[i],SA[i-1]));
			maxx=max(maxx,max(SA[i],SA[i-1]));
			if(maxx-minn>len)
				return true;
		}
		else
		{
			minn=inf;
			maxx=-inf;
		}
	}
	return false;
}
int main()
{
    while(~scanf("%d",&n)&&n)
    {
    	for(int i=0;i<n;i++)
    		scanf("%d",&temp[i]);
	    n--;
	    for(int i=0;i<n;i++)
	    	str[i]=temp[i+1]-temp[i]+88;
	    str[n]=0;
	    len=n;
	    da();
	    get_height();
		int l=0,r=n;
		while(l<r)
		{
			int mid=(l+r+1)>>1;
			if(check(mid))
				l=mid;
			else r=mid-1;
		}
		if(l>=4)
			printf("%d\n",l+1);
		else printf("0\n");
	}
}