[poj3261]Milk Patterns(后缀数组)

题意：可重叠的k次最长重复子串

解题关键：利用height数组对后缀进行分组，因为最长公共子串一定会在一个组内，所以判定每个组即可。二分答案，进行判定。

#include <cstdlib>
#include <cstring>
#include <cstdio>
#include <algorithm>
#include<iostream>
#include<cmath>
#define inf 0x3f3f3f3f
using namespace std;
const int N=200005;
int wa[N],wb[N],wv[N],wc[N];
bool cmp(int *r,int a,int b,int l){return r[a]==r[b]&&r[a+l]==r[b+l];}
void make_sa(int *r,int *sa,int n,int m){
    int i,j,p,*x=wa,*y=wb;
    for(i=0;i<m;i++) wc[i]=0;
    for(i=0;i<n;i++) wc[x[i]=r[i]]++;
    for(i=1;i<m;i++) wc[i]+=wc[i-1];
    for(i=n-1;i>=0;i--) sa[--wc[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++) wc[i]=0;
        for(i=0;i<n;i++) wc[wv[i]]++;
        for(i=1;i<m;i++) wc[i]+=wc[i-1];
        for(i=n-1;i>=0;i--) sa[--wc[wv[i]]]=y[i];
        for(swap(x,y),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++;
    }
    return;
}
int rank1[N],height[N],sa[N];
void make_height(int *r,int *sa,int n){
    int i,j,k=0;
    for(i=1;i<=n;i++) rank1[sa[i]]=i;
    for(i=0;i<n;height[rank1[i++]]=k)
        for(k?k--:0,j=sa[rank1[i]-1];r[i+k]==r[j+k];k++);
    return;
}

int n,k,r[N]; 
bool check(int x){
    int num=0;
    for(int i=2;i<=n;i++){
        if(height[i]>=x){
            num++;
            if(num>=k) return true;
        }
        else num=1;
    }
    return false;
}

int erfen(int l,int r){
    while(l<r){
        int mid=(l+r+1)>>1;
        if(check(mid)) l=mid;
        else r=mid-1;
    }
    return l;
}

int main(){
    ios::sync_with_stdio(0);
    int maxn=0;
    while(cin>>n>>k){
        for(int i=0;i<n;i++) cin>>r[i],maxn=max(maxn,r[i]);
        r[n]=0;
        make_sa(r, sa, n+1,maxn+1);
        make_height(r, sa, n);
        int ans=erfen(0,n);
        cout<<ans<<"\n";
    }
    return 0;
}