[BZOJ1717][Usaco2006 Dec]Milk Patterns 产奶的模式（后缀数组）

题目：

我是超链接

题解：

可重叠重复k次最长子串
二分答案吧，然后将后缀分成若干组。判断有没有一个组height值大于mid 的后缀个数不小于K。如果有，那么存在K个相同的子串满足条件，否则不存在。

代码：

#include <cstdio>
#include <cstring>
#include <iostream>
using namespace std;
const int N=20005;
int c[1000005],x[N],n,sa[N],y[N],rank[N],height[N],s[N],K,m;
void build_sa()
{
    m=300;
    for (int i=0;i<m;i++) c[i]=0;
    for (int i=0;i<n;i++) c[x[i]=s[i]]++;
    for (int i=1;i<m;i++) c[i]+=c[i-1];
    for (int i=n-1;i>=0;i--) sa[--c[x[i]]]=i;

    for (int k=1;k<=n;k<<=1)
    {
        int p=0;
        for (int i=n-k;i<n;i++) y[p++]=i;
        for (int i=0;i<n;i++) if (sa[i]>=k) y[p++]=sa[i]-k;

        for (int i=0;i<m;i++) c[i]=0;
        for (int i=0;i<n;i++) c[x[y[i]]]++;
        for (int i=1;i<m;i++) c[i]+=c[i-1];
        for (int i=n-1;i>=0;i--) sa[--c[x[y[i]]]]=y[i];

        swap(x,y);
        p=1; x[sa[0]]=0;
        for (int i=1;i<n;i++) x[sa[i]]=y[sa[i-1]]==y[sa[i]]&&((sa[i]+k>=n?-1:y[sa[i]+k])==(sa[i-1]+k>=n?-1:y[sa[i-1]+k]))?p-1:p++;
        if (p>n) break;
        m=p;
    }
}
void build_lcp()
{
    for (int i=0;i<n;i++) rank[sa[i]]=i;
    height[0]=0;
    int k=0;
    for (int i=1;i<n;i++)
    {
        if (rank[i]==0) continue;
        if (k) k--;
        int j=sa[rank[i]-1];
        while (i+k<n && j+k<n && s[i+k]==s[j+k]) k++;
        height[rank[i]]=k;
    }
}
bool check(int mid)
{
    int num=0;
    for (int i=0;i<n;i++)
      if (height[i]>=mid) 
      {num++; if (num==K-1) return 1;}else num=0;
    return 0;
}
int main()
{
    scanf("%d%d",&n,&K);
    for (int i=0;i<n;i++) scanf("%d",&s[i]);
    build_sa();
    build_lcp();
    int l=1,r=n,ans;
    while (l<=r)
    {
        int mid=(l+r)>>1;
        if (check(mid)) ans=mid,l=mid+1;
        else r=mid-1;
    }
    printf("%d",ans);   
}