为什么要学后缀数组

为了解决一类字符串神题妙题。

什么是后缀数组

什么是后缀

要理解什么是后缀数组，首先要明白什么是后缀。
一个字符串$[S_1:S_n]$的后缀为:$[S_i:S_n],i∈[1,n]$
用人话来说，就是从每个字符开始到这个字符串的结尾所组成的串均为这个字符串的后缀。

例如：假设我现在有一个字符串“abaaba”,那么。她的后缀有：a,ba,aba,aaba,baaba,abaaba。

什么是后缀数组

把所有后缀按字典序排序之后所构成的数组。

例如：假设我现在有一个字符串“abaaba”,那么。她的后缀有：a,ba,aba,aaba,baaba,abaaba。她的后缀数组为：a,aaba,aba,abaaba,ba,baaba

后缀数组怎么求

FBI warning：本文并不会讲解为什么能这样求，但是她的证明并不难，感兴趣的读者可以自行拿出草稿纸感性理解一下，或百度一下以获得理性证明

这是一张极其著名的图片 (图出自百度百科)

这里的rank是我们要求的SA的“反数组”，rank指的是每个下标对应的后缀的排名，SA就是我们的后缀数组了：每个排名对应的后缀的下标

我想各位读者看这个图片已经能略懂一二，我们每次对求出来的东西离散化，然后按照类似于倍增的方法把前后两个数字拼起来，多次排序，直到rank的值互不相同为止。

如何排序

在这里，我们可以使用快速排序，那么求后缀数组的总复杂度为$O(nlog^2n)$，但是，如果我们在这里使用基数排序，单次排序的复杂度即可接近$O(n)$,总复杂度$O(nlogn)$

当然，在这里我们要对基数排序做一点微小的工作，按照正常的基数排序，是不能找到排序后每个值对应的原下标的。魔改的办法也很简单，我们只需要在每次排序的时候传入当前情况下每个值对应的原下标即可：

int n,sa[N],id[N];
void count_sort(long long a[],int n,int Exp,int m)
{
    static long long b[N],cnt[N];
    memset(cnt,0,sizeof cnt);
    for(int i=1;i<=n;i++)
        cnt[(a[i]/Exp)%m]++;
    for(int i=1;i<=m;i++)
        cnt[i]+=cnt[i-1];
    for(int i=n;i>=1;i--)
    {
        b[cnt[(a[i]/Exp)%m]]=a[i];
        //我们这里相当于只排两位数，排第一位的时候我们将映射关系零时储存一下
        if(Exp==1) id[cnt[(a[i]/Exp)%m]--]=i;
        //事实上来说，我们第二次求出来的映射关系，本质上就是我们要求的SA数组
        else sa[cnt[(a[i]/Exp)%m]--]=id[i];
    }
    for(int i=1;i<=n;i++)
        a[i]=b[i];
}
void radix_sort(long long a[],int n,int m)
{
    count_sort(a,n,1,m);
    count_sort(a,n,m,m);
}
void GetSA()
{
    for(int i=1;i<=n;i++)
        t[i]=s[i],rank[i]=s[i];
    long long m='z'+1;
    for(int i=0;i<=n;i++)
    { 
        for(int j=1;j<=n;j++)
            rank[j]=t[j]=rank[j]*m+((j+(1<<i)<=n)?rank[j+(1<<i)]:0);//把前后两个数拼起来
        radix_sort(t,n,m);//排序
        m=0;
        //离散化
        for(int j=1;j<=n;j++)
        {
            if(t[j]!=t[j-1])
                ++m;
            rank[sa[j]]=m;
        }
        if(m==n) break;
        m++;
    }
}

后缀数组的进一步应用

显然，我们单纯的求出后缀数组是没有什么Egg用的，我们要发掘一下我们求出来的这玩意的性质。其中，最有用的即是后缀数组的LCP了。

LCP

lcp，即最长公共前缀，后缀数组的height[i]指的是SA[i]与SA[i-1]的LCP。

FBI warning：本文并不会讲解为什么能这样求，~~因为我太菜了并不会~~，请感兴趣的同学自行百度一下以获得理性证明

要求LCP，我们只需要一个性质height[rank[i]]>=height[rank[i-1]]-1
然后，我们接下来暴力枚举即可，总复杂度$O(n)$

for(int i=1;i<=n;i++)
{
    if(rank[i]==1) continue;
    int to=max(0,height[rank[i-1]]-1);
    for(;sa[rank[i]]+to<=n and sa[rank[i]-1]+to<=n;to++)
        if(s[sa[rank[i]]+to]!=s[sa[rank[i]-1]+to])
            break;
    height[rank[i]]=to;
}

我们可以发现一个比较显然的性质：
两个后缀的$LCP[SA[i],SA[j]]=min(height[i+1,j])$