POJ 1743 Musical Theme(后缀数组)

题目分析

本题使用height数组的性质进行解题，自己想了很久终于想明白了。因为这道题求的是不能重复的最长公共子串，因此处理起来相比较直接求最长公共子串难一些。首先肯定是自己写模板了，把height数组建立起来，然后我们就可以二分得出结果了（通过不断二分枚举不重叠子串的最大长度），二分查找的细节我的代码给了注释。大家会发现后来我们输出的结果是ans+1,因为我们最初求最长公共子序列用到的是后一个音调减去前一个音调得到的东西，因此你们会发现其实第一个字符往往被忽略了，因此需要加上第一个字符。

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;
const int maxn = 20100;

int s[maxn],a[maxn];
int sa[maxn],c[maxn],t[maxn],t2[maxn],Rank[maxn],height[maxn];

void build_sa(int n,int m){  //求sa数组
    int i,*x = t, *y = t2;
    for(i = 0; i < m; i++) c[i] = 0;
    for(i = 0; i < n; i++) c[x[i] = s[i]]++;
    for(i = 1; i < m; i++) c[i] += c[i-1];
    for(i = n-1; i >= 0; i--) sa[--c[x[i]]] = i;
    for(int k = 1; k <= n; k <<= 1){
        int p = 0;
        for(i = n-k; i < n; i++) y[p++] = i;
        for(i = 0; i < n; i++) if(sa[i] >= k) y[p++] = sa[i]-k;
        for(i = 0; i < m; i++) c[i] = 0;
        for(i = 0; i < n; i++) c[x[y[i]]]++;
        for(i = 0; i < m; i++) c[i] += c[i-1];
        for(i = n-1; i >= 0; i--) sa[--c[x[y[i]]]] = y[i];
        swap(x, y);
        p = 1,x[sa[0]] = 0;
        for(i = 1; i < n; i++)
            x[sa[i]] = y[sa[i-1]] == y[sa[i]] && y[sa[i-1]+k] == y[sa[i]+k]?p-1:p++;
        if(p >= n) break;
        m = p;
    }
}

void getHeight(int n){ //求height数组
    int i,j,k = 0;
    for(i = 0; i < n; i++) Rank[sa[i]] = i;
    for(i = 0; i < n-1; i++){
        if(k) k--;
        j = sa[Rank[i]-1];
        while(s[i+k] == s[j+k]) k++;
        height[Rank[i]] = k;
    }
}

bool check(int k,int n){  //二分查找
    int ma, mi;
    ma = mi = sa[1];
    for(int i = 2; i < n; i++){
        if(height[i] >= k){ //我们将height大于k的看做连续的一段区间进行处理，如果遇到不成立的则重置
            mi = min(mi, sa[i]);
            ma = max(ma, sa[i]);
            if(ma - mi >= k) return true;
        }
        else ma = mi = sa[i];
    }
    return false;
}

int main(){
    int n;
    while(scanf("%d", &n) != EOF && n){
        for(int i = 0; i < n; i++) scanf("%d", &a[i]);
        for(int i = 0; i < n-1; i++) s[i] = a[i+1]-a[i]+100;
        s[n-1] = 0;
        build_sa(n, 200);
        getHeight(n);
        int left = 4, right = n/2, ans = 0;
        while(left <= right){
            int mid = (left+right)/2;
            if(check(mid, n)){
                ans = mid;
                left = mid+1;
            }
            else right = mid-1;
        }
        printf("%d\n", ans<4?0:ans+1);
    }
    return 0;
}