【BZOJ-3998】弦论 后缀自动机

3998: [TJOI2015]弦论

Time Limit: 10 Sec  Memory Limit: 256 MB
Submit: 2018  Solved: 662
[Submit][Status][Discuss]

Description

对于一个给定长度为N的字符串，求它的第K小子串是什么。

Input

第一行是一个仅由小写英文字母构成的字符串S

第二行为两个整数T和K，T为0则表示不同位置的相同子串算作一个。T=1则表示不同位置的相同子串算作多个。K的意义如题所述。

Output

输出仅一行，为一个数字串，为第K小的子串。如果子串数目不足K个，则输出-1

Sample Input

aabc
0 3

Sample Output

aab

HINT

N<=5*10^5

T<2

K<=10^9

Source

Solution

后缀自动机的裸题？不过给我挺大帮助的。

建出后缀自动机求K大的问题，先拓扑排序/基数排序，然后递推出每个节点能到的子串数，然后dfs一遍加加减减。

这个题在递推的时候讨论一下即可，T=0时说明每个状态代表一个子串(除空串以外)，T=1时每个节点的Parent树的子树中的节点数都是可以得到的子串数，所以需要累加。

而这个累加的过程，可以理解成是求出$Right$集合的大小，所以构建时的新建节点显然不能重复计算。

然后dfs一遍，类似于线段树上二分的思想，输出答案。

自己没有写递归的写法，直接用的while里非递归。

Code

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
using namespace std;
#define MAXN 500010
char A[MAXN],ans[MAXN];
int N,T,K;
namespace SAM
{
    int son[MAXN<<][],par[MAXN<<],len[MAXN<<],root,last,sz,size[MAXN<<];
    inline void Init() {root=sz=last=;}
    inline void Extend(int c)
    {
        int cur=++sz,p=last;
        len[cur]=len[p]+; size[cur]=;
        while (p && !son[p][c]) son[p][c]=cur,p=par[p];
        if (!p) par[cur]=root;
        else
            {
                int q=son[p][c];
                if (len[p]+==len[q]) par[cur]=q;
                else
                    {
                        int nq=++sz;
                        memcpy(son[nq],son[q],sizeof(son[nq]));

                        len[nq]=len[p]+;
                        par[nq]=par[q];
                        while (p && son[p][c]==q) son[p][c]=nq,p=par[p];
                        par[cur]=par[q]=nq;
                    }
            }
        last=cur;
    }
    inline void Build() {Init(); for (int i=; i<=N; i++) Extend(A[i]-'a'+);}
    int st[MAXN],id[MAXN<<],sum[MAXN<<];
    inline void Pre()
    {
        for (int i=; i<=sz; i++) st[len[i]]++;
        for (int i=; i<=N; i++) st[i]+=st[i-];
        for (int i=; i<=sz; i++) id[st[len[i]]--]=i;
        if (!T)
            {
                for (int i=sz; i>=; i--) size[i]=;
                size[root]=;
                for (int i=sz,Sum=; i>=; i--,Sum=)
                    {
                        for (int j=; j<=; j++)
                            Sum+=sum[son[id[i]][j]];
                        sum[id[i]]=Sum+;
                    }
            }
        else
            {
                for (int i=sz; i>=; i--)
                    size[par[id[i]]]+=size[id[i]];
                size[root]=;
                for (int i=sz; i>=; i--)
                    {
                        sum[id[i]]=size[id[i]];
                        for (int j=; j<=; j++)
                            sum[id[i]]+=sum[son[id[i]][j]];
                    }
            }
    }
    inline void Query(int K)
    {
        int now=root,tot=;
        while (K)
            {
                for (int i=; i<=; i++)
                    if (son[now][i])
                        if (sum[son[now][i]]>=K)
                            {
                                ans[++tot]='a'+i-;
                                K-=size[son[now][i]];
                                now=son[now][i];
                                break;
                            }
                        else K-=sum[son[now][i]];

            }
        ans[++tot]=;
    }
}using namespace SAM;
int main()
{
    scanf("%s",A+);
    N=strlen(A+);
    SAM::Build();
    scanf("%d%d",&T,&K);
    SAM::Pre();
    if (sum[root]<K)
        puts("-1");
    else
        Query(K),puts(ans+);
    return ;
}