【BZOJ-1717】Milk Patterns产奶的模式 后缀数组

1717: [Usaco2006 Dec]Milk Patterns 产奶的模式

Time Limit: 5 Sec  Memory Limit: 64 MB
Submit: 881  Solved: 480
[Submit][Status][Discuss]

Description

农夫John发现他的奶牛产奶的质量一直在变动。经过细致的调查，他发现：虽然他不能预见明天产奶的质量，但连续的若干天的质量有很多重叠。我们称之为一个“模式”。 John的牛奶按质量可以被赋予一个0到1000000之间的数。并且John记录了N(1<=N<=20000)天的牛奶质量值。他想知道最长的出现了至少K(2<=K<=N)次的模式的长度。比如1 2 3 2 3 2 3 1 中 2 3 2 3出现了两次。当K=2时，这个长度为4。

Input

* Line 1: 两个整数 N,K。

* Lines 2..N+1: 每行一个整数表示当天的质量值。

Output

* Line 1: 一个整数：N天中最长的出现了至少K次的模式的长度

Sample Input

8 2
1
2
3
2
3
2
3
1

Sample Output

4

HINT

Source

Gold

Solution

后缀数组 求 可重叠的k次最长重复子串

先二分答案，然后对后缀分组

判断是否存在一个组，其后缀个数>=K,如果存在则存在解,否则不存在

时间复杂度O(nlogn)

Code

#include<cstdio>
#include<cstring>
#include<cmath>
using namespace std;
inline int read()
{
    int x=,f=; char ch=getchar();
    while (ch<'' || ch>'') {if (ch=='-') f=-; ch=getchar();}
    while (ch>='' && ch<='') {x=x*+ch-''; ch=getchar();}
    return x*f;
}
#define maxn 20002
int n,K;
int ws[maxn],wv[maxn],wa[maxn],wb[maxn];
int S[maxn],SA[maxn];
inline int cmp(int *r,int a,int b,int l)
{
    return r[a]==r[b]&&r[a+l]==r[b+l];
}
inline void DA(int *r,int *sa,int n,int m)
{
    int p,*x=wa,*y=wb,*t;
    for (int i=; i<m; i++) ws[i]=;
    for (int i=; i<n; i++) ws[x[i]=r[i]]++;
    for (int i=; i<m; i++) ws[i]+=ws[i-];
    for (int i=n-; i>=; i--) sa[--ws[x[i]]]=i;
    p=; for (int j=; p<n; j*=,m=p)
        {
            p=; for (int i=n-j; i<n; i++) y[p++]=i;
            for (int i=; i<n; i++) if (sa[i]>=j) y[p++]=sa[i]-j;
            for (int i=; i<n; i++) wv[i]=x[y[i]];
            for (int i=; i<m; i++) ws[i]=;
            for (int i=; i<n; i++) ws[wv[i]]++;
            for (int i=; i<m; i++) ws[i]+=ws[i-];
            for (int i=n-; i>=; i--) sa[--ws[wv[i]]]=y[i];
            t=x,x=y,y=t;p=;x[sa[]]=;
            for (int i=; i<n; i++)
                x[sa[i]]=cmp(y,sa[i-],sa[i],j)?p-:p++;
        }
}
int rank[maxn],height[maxn];
inline void calheight(int *r,int *sa,int n)
{
    int k=;
    for (int i=; i<=n; i++) rank[sa[i]]=i;
    for (int i=; i<n; height[rank[i++]]=k)
        {k?k--:;for (int j=sa[rank[i]-]; r[i+k]==r[j+k]; k++);}
}
inline bool check(int x)
{
    int tmp=,cnt=;
    for (int i=; i<=n; i++)
        {
            if (height[i]<x)
                {if (cnt>tmp) tmp=cnt;cnt=;}
            else
                if (!cnt) cnt=; else ++cnt;
        }
    if (cnt>tmp) tmp=cnt;
    if (tmp>=K) return ;
        else return ;
}
int main()
{
    n=read(),K=read();
    for (int i=; i<n; i++) S[i]=read();
    S[n]=;
    DA(S,SA,n+,);
    calheight(S,SA,n);
    int l=,r=n,mid;
    while (l<r)
        {
            mid=(l+r+)>>;
            if (check(mid)) l=mid;
                else r=mid-;
        }
    printf("%d\n",l);
    return ;
}

在BZOJ上企图冲一波榜,rk1,rk2  0ms打表..并列rk3,实际rk6压了好久愣是上不去了,纸张!