[BZOJ 4310] 跳蚤

一、题目

点此看题

二、解法

答案一定具有单调性，我们可以二分答案的字典序排名，利用后缀数组可以$O(n)$将排名转化成在$S$串中的位置$[L,R]$。具体就是枚举排名为$i$的后缀，算出它们子串的贡献，如果子串个数达到就可以找到位置，否则加上贡献继续找。

考虑如何检查，我们从后往前扫，每次贪心地加入一个字符，中途维护划分的子串区间$[i,j]$，直接把$[i,j]$和$[L,R]$比较大小，如果$[i,j]$字典序更大就需要从$i$处划分成$[i,i]$和$[i+1,j]$，因为$[i+1,j]$一定是合法的，这样划分一定最优（贪心，感性理解就行了），然后注意$i=j$是就无解（因为划分不了），最后判断一下划分次数需要小于段数。

如何快速比较字符串中两个子串的大小呢？先特判左端点相等的情况，然后用$st$表+后缀数组$O(1)$算出两个左端点后缀的最长公共前缀，这里要讨论多种情况，记最长公共前缀长度为$len$，第一个子串为$len1$，第二个为$len2$：

• 如果$len$比$len1,len2$都大，直接比较$len1$和$len2$的大小，大的字典序大
• 如果$len$只比其中一个大，比哪一个大哪一个字典序就小
• 否则比较$s[l_1+len]$和$s[l_2+len]$即可，大的字典序大

总时间复杂度$O(n\log n)$，$st$表的$log$函数建议手动打表（好像$longlong$用$cmath$里的$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("");
}