一、题目
二、解法
答案一定具有单调性,我们可以二分答案的字典序排名,利用后缀数组可以 O ( n ) O(n) O(n)将排名转化成在 S S S串中的位置 [ L , R ] [L,R] [L,R]。具体就是枚举排名为 i i i的后缀,算出它们子串的贡献,如果子串个数达到就可以找到位置,否则加上贡献继续找。
考虑如何检查,我们从后往前扫,每次贪心地加入一个字符,中途维护划分的子串区间 [ i , j ] [i,j] [i,j],直接把 [ i , j ] [i,j] [i,j]和 [ L , R ] [L,R] [L,R]比较大小,如果 [ i , j ] [i,j] [i,j]字典序更大就需要从 i i i处划分成 [ i , i ] [i,i] [i,i]和 [ i + 1 , j ] [i+1,j] [i+1,j],因为 [ i + 1 , j ] [i+1,j] [i+1,j]一定是合法的,这样划分一定最优(贪心,感性理解就行了),然后注意 i = j i=j i=j是就无解(因为划分不了),最后判断一下划分次数需要小于段数。
如何快速比较字符串中两个子串的大小呢?先特判左端点相等的情况,然后用 s t st st表+后缀数组 O ( 1 ) O(1) O(1)算出两个左端点后缀的最长公共前缀,这里要讨论多种情况,记最长公共前缀长度为 l e n len len,第一个子串为 l e n 1 len1 len1,第二个为 l e n 2 len2 len2:
- 如果 l e n len len比 l e n 1 , l e n 2 len1,len2 len1,len2都大,直接比较 l e n 1 len1 len1和 l e n 2 len2 len2的大小,大的字典序大
- 如果 l e n len len只比其中一个大,比哪一个大哪一个字典序就小
- 否则比较 s [ l 1 + l e n ] s[l_1+len] s[l1+len]和 s [ l 2 + l e n ] s[l_2+len] s[l2+len]即可,大的字典序大
总时间复杂度 O ( n log n ) O(n\log n) O(nlogn), s t st st表的 l o g log log函数建议手动打表(好像 l o n g l o n g long long longlong用 c m a t h cmath cmath里的 l o g log log函数会炸),口胡可能难以理解,请看代码。
#include <cstdio>
#include <cstring>
#include <iostream>
#include <cmath>
using namespace std;
const int M = 200005;
#define int long long
int read()
{
int x=0,flag=1;
char c;
while((c=getchar())<'0' || c>'9') if(c=='-') flag=-1;
while(c>='0' && c<='9') x=(x<<3)+(x<<1)+(c^48),c=getchar();
return x*flag;
}
int n,m,k,x[M],y[M],c[M],sa[M],rk[M],hi[M];
char s[M];int dp[M][20],l,r,L,R,ans,lg[M];
void get_sa()
{
for(int i=1;i<=n;i++) ++c[x[i]=s[i]];
for(int i=2;i<=m;i++) c[i]+=c[i-1];
for(int i=n;i>=1;i--) sa[c[x[i]]--]=i;
for(int k=1;k<=n;k<<=1)
{
int num=0;
for(int i=n-k+1;i<=n;i++) y[++num]=i;
for(int i=1;i<=n;i++) if(sa[i]>k) y[++num]=sa[i]-k;
for(int i=1;i<=m;i++) c[i]=0;
for(int i=1;i<=n;i++) ++c[x[i]];
for(int i=2;i<=m;i++) c[i]+=c[i-1];
for(int i=n;i>=1;i--) sa[c[x[y[i]]]--]=y[i],y[i]=0;
swap(x,y);
x[sa[1]]=1;num=1;
for(int i=2;i<=n;i++)
x[sa[i]]=(y[sa[i]]==y[sa[i-1]] && y[sa[i]+k]==y[sa[i-1]+k])?num:++num;
if(num==n) break;
m=num;
}
}
void get_hi()
{
int k=0;
for(int i=1;i<=n;i++) rk[sa[i]]=i;
for(int i=1;i<=n;i++)
{
if(rk[i]==1) continue;
if(k) k--;
int j=sa[rk[i]-1];
while(j+k<=n && i+k<=n && s[i+k]==s[j+k])
k++;
hi[rk[i]]=k;
}
for(int i=1;i<=n;i++)
dp[i][0]=hi[i];
for(int j=1;(1<<j)<=n;j++)
for(int i=1;i+(1<<j)-1<=n;i++)
dp[i][j]=min(dp[i][j-1],dp[i+(1<<(j-1))][j-1]);
for(int i=1;i<=n;i++)
r+=n-sa[i]+1-hi[i];
}
int ask(int l,int r)
{
if(l>r) swap(l,r);l++;
int len=r-l+1,k=lg[len];
return min(dp[l][k],dp[r-(1<<k)+1][k]);
}
void kth(int k)
{
int now=0;
for(int i=1;i<=n;i++)
{
int j=sa[i],len=n-j+1-hi[i];
if(now+len<k) {now+=len;continue;}
k-=now;L=j,R=j+hi[i]+k-1;
return ;
}
}
int cmp(int x1,int y1,int x2,int y2)
{
if(x1==x2)//要判,st表不能处理这种情况
{
if(y1>y2) return 1;
if(y1<y2) return -1;
return 0;
}
int len1=y1-x1+1,len2=y2-x2+1;
int len=ask(rk[x1],rk[x2]);
if(len>=len1 && len>=len2)
{
if(len1>len2) return 1;
if(len1<len2) return -1;
return 0;
}
if(len>=len1) return -1;
if(len>=len2) return 1;
if(s[x1+len]>s[x2+len]) return 1;
return -1;
}
bool check()
{
int cnt=0;
for(int i=n,j=n;i>=1 && j>=1;)
{
if(cmp(L,R,i,j)!=-1) {i--;continue;}
if(i==j) return 0;
j=i;cnt++;
if(cnt>=k) return 0;
}
return cnt<k;
}
signed main()
{
k=read();
scanf("%s",s+1),n=strlen(s+1);
for(int i=2;i<=n;i++)
lg[i]=lg[i>>1]+1;//建议手写
m=200;
get_sa();
get_hi();
l=1;
kth(4313);
while(l<=r)
{
int mid=(l+r)>>1;kth(mid);
if(check()) ans=mid,r=mid-1;
else l=mid+1;
}
kth(ans);
for(int i=L;i<=R;i++) printf("%c",s[i]);
puts("");
}