BZOJ3998 TJOI2015弦论（后缀数组+二分答案）

　　先看t=1的情况。显然得求出SA（因为我不会SAM）。我们一位位地确定答案。设填到了第len位，二分这一位填什么之后，在已经确定的答案所在的范围（SA上的某段区间）内二分，找到最后一个小于当前串的后缀，那么从区间左端点到该位置的这些后缀的所有前缀都要比二分出的答案小，判一下是否合法。确定了这一位填什么之后，还要找到最后一个前len位小于等于当前串的后缀，若加上这一部分后比答案串小的已经超过k个的话，则答案已经确定可以直接退出了，否则将这些计入并继续填下一位，更新这些前len位等于答案串的后缀为答案范围。注意算的时候要减去已经计入的部分。

　　t=0类似，算出height数组后可以去掉重复子串。注意一些细节就好。

　　时间复杂度O(nlognlog|s|)，s为字符集大小也就是26，跑的还挺快。

　　我怎么还不学SAM啊。

#include<iostream>
#include<cstdio>
#include<cmath>
#include<cstdlib>
#include<cstring>
#include<algorithm>
using namespace std;
int read()
{
    int x=,f=;char c=getchar();
    while (c<''||c>'') {if (c=='-') f=-;c=getchar();}
    while (c>=''&&c<='') x=(x<<)+(x<<)+(c^),c=getchar();
    return x*f;
}
#define N 500010
char a[N],ans[N];
int T,k,n,sa[N],sa2[N<<],rk[N<<],tmp[N<<],cnt[N],h[N];
long long sum[N];
void make()
{
    memset(cnt,,sizeof(cnt));
    int m=;
    for (int i=;i<=n;i++) cnt[rk[i]=a[i]]++,m=max(m,(int)a[i]);
    for (int i=;i<=m;i++) cnt[i]+=cnt[i-];
    for (int i=n;i>=;i--) sa[cnt[rk[i]]--]=i;
    for (int k=;k<=n;k<<=)
    {
        int p=;
        for (int i=n-k+;i<=n;i++) sa2[++p]=i;
        for (int i=;i<=n;i++) if (sa[i]>k) sa2[++p]=sa[i]-k;
        memset(cnt,,m+<<);
        for (int i=;i<=n;i++) cnt[rk[i]]++;
        for (int i=;i<=m;i++) cnt[i]+=cnt[i-];
        for (int i=n;i>=;i--) sa[cnt[rk[sa2[i]]]--]=sa2[i];
        memcpy(tmp,rk,sizeof((rk)));
        p=;rk[sa[]]=;
        for (int i=;i<=n;i++)
        {
            if (tmp[sa[i]]!=tmp[sa[i-]]||tmp[sa[i]+k]!=tmp[sa[i-]+k]) p++;
            rk[sa[i]]=p;
        }
        if (p>=n) break;
        m=p;
    }
}
int lower_find(int len,int l,int r,char c)
{
    int ans=l-;
    while (l<=r)
    {
        int mid=l+r>>;
        if (a[sa[mid]+len-]<c) ans=mid,l=mid+;
        else r=mid-;
    }
    return ans;
}
int upper_find(int len,int l,int r,char c)
{
    int ans=l;
    while (l<=r)
    {
        int mid=l+r>>;
        if (a[sa[mid]+len-]<=c) ans=mid,l=mid+;
        else r=mid-;
    }
    return ans;
}
int main()
{
    freopen("bzoj3998.in","r",stdin);
    freopen("bzoj3998.out","w",stdout);
    scanf("%s",a+);n=strlen(a+);
    cin>>T>>k;
    make();
    int len=;
    if (T==)
    {
        for (int i=;i<=n;i++) sum[i]=sum[i-]+n-sa[i]+;
        int l=,r=n;
        while (len<=n)
        {
            len++;
            char lc='a',rc='z';
            while (lc<=rc)
            {
                char midc=lc+rc>>;
                int x=lower_find(len,l,r,midc);
                if (sum[x]-sum[l-]-(len-)*(x-l+)<k) lc=midc+,ans[len]=midc;
                else rc=midc-;
            }
            int x=lower_find(len,l,r,ans[len]),y=upper_find(len,l,r,ans[len]);
            k-=sum[x]-sum[l-]-(len-)*(x-l+)+y-x;
            if (k<=) break;
            l=x+,r=y;
        }
    }
    else
    {
        for (int i=;i<=n;i++)
        {
            h[i]=max(h[i-]-,);
            while (a[i+h[i]]==a[sa[rk[i]-]+h[i]]) h[i]++;
        }
        for (int i=;i<=n;i++) sum[i]=sum[i-]+n-sa[i]+-h[sa[i]];
        int l=,r=n;
        while (len<=n)
        {
            len++;
            char lc='a',rc='z';
            while (lc<=rc)
            {
                char midc=lc+rc>>;
                int x=lower_find(len,l,r,midc);
                if ((x==l-?:sum[x]-sum[l-]+h[sa[l]]-len+)<k) lc=midc+,ans[len]=midc;
                else rc=midc-;
            }
            int x=lower_find(len,l,r,ans[len]),y=upper_find(len,l,r,ans[len]);
            k-=(x==l-?:sum[x]-sum[l-]+h[sa[l]]-len+)+;
            if (k<=) break;
            l=x+,r=y;
        }
    }
    if (k>) cout<<-;
    else for (int i=;i<=len;i++) printf("%c",ans[i]);
    fclose(stdin);fclose(stdout);
    return ;
}