前面后缀数组的板子相信大家都看得出来
出现k次就相当于我们选择k个后缀，求LCP
对于后缀i,j（rank[i]<rank[j]）
其LCP是 height(i+1~j)的最小值
所以答案一定在rank连续的k个后缀中
维护连续rank上k个后缀的LCP的最大值即可
这个用单调队列就可以了= =
理论上要离散化一下，虽然数据比较水，不离散也可以
/*
@Date : 2019-07-18 21:34:03
@Author : Adscn (adscn@qq.com)
@Link : https://www.cnblogs.com/LLCSBlog
*/
#include<bits/stdc++.h>
using namespace std;
#define IL inline
#define RG register
#define gi getint()
#define gc getchar()
#define File(a) freopen(a".in","r",stdin);freopen(a".out","w",stdout)
IL int getint()
{
RG int xi=0;
RG char ch=gc;
bool f=0;
while(ch<'0'|ch>'9')ch=='-'?f=1:f,ch=gc;
while(ch>='0'&ch<='9')xi=(xi<<1)+(xi<<3)+ch-48,ch=gc;
return f?-xi:xi;
}
template<typename T>
IL void pi(T k,char ch=0)
{
if(k<0)k=-k,putchar('-');
if(k>=10)pi(k/10,0);
putchar(k%10+'0');
if(ch)putchar(ch);
}
const int N=2e4+7;
int a[N],b[N];
int n,k;
namespace SA{
int rkx[N],rky[N],cnt[N],*key1=rkx,*key2=rky,sa[N],rank[N];
int height[N];
int m;
inline void Qsort()
{
memset(cnt,0,sizeof cnt);
for(int i=1;i<=n;++i)++cnt[key1[i]];
for(int i=1;i<=m;++i)cnt[i]+=cnt[i-1];
for(int i=n;i;--i)sa[cnt[key1[key2[i]]]--]=key2[i];
}
/*
Attention:
sa -> address
rank -> rank
key1[i] ->key1[i]'s rank
key2[i] ->key2(rank)[i]'s address
*/
void getsa()
{
m=n;
for(int i=1;i<=n;++i)key1[i]=a[i],key2[i]=i;
Qsort();
for(int k=1,q=0;q<n;k<<=1)
{
q=0;
for(int i=n-k+1;i<=n;++i)key2[++q]=i;
for(int i=1;i<=n;++i)if(sa[i]>k)key2[++q]=sa[i]-k;
Qsort();
swap(key1,key2);
q=key1[sa[1]]=1;
for(int i=2;i<=n;++i)
key1[sa[i]]=(key2[sa[i-1]]==key2[sa[i]]&&
key2[sa[i-1]+k]==key2[sa[i]+k])?q:++q;
m=q;
}
for(int i=1;i<=n;++i)rank[sa[i]]=i;
}
inline void getheight()
{
int k=0;
for(int i=1;i<=n;++i)
{
if(k)--k;
int s=sa[rank[i]-1];
while(s+k<=n&&i+k<=n&&a[s+k]==a[i+k])++k;
height[rank[i]]=k;
}
}
}
using namespace SA;
int main(void)
{
#ifndef ONLINE_JUDGE
File("file");
#endif
n=gi,k=gi;
for(int i=1;i<=n;++i)b[i]=a[i]=gi;
sort(b+1,b+n+1);
int m=unique(b+1,b+n+1)-b-1;
for(int i=1;i<=n;++i)a[i]=lower_bound(b+1,b+m+1,a[i])-b;
getsa();
getheight();
static int Q[1000100];
int ans=0;
int head=0,tail=-1;
--k;
for(int i=1;i<=n;++i)
{
while(head<=tail&&Q[head]+k<=i)++head;
while(head<=tail&&height[Q[tail]]>height[i])--tail;
Q[++tail]=i;
if(i>=k)ans=max(ans,height[Q[head]]);
}
printf("%d",ans);
return 0;
}