SA 后缀数组

首先一定要确定$SA$是个什么东西
$SA[i]$表示的是排名为$i$的后缀是哪一个
至于后缀$i$的排名是多少，那个是$rank[i]$

---

当然啦
最最最难懂的就是基数排序
要是不用基数排序，每次对于一个二元组直接$sort$一下
这样的复杂度是$O(nlog^2)$

对于二元组的基数排序应该是这样做的：
首先把所有元素按照最后一维丢到依次对应的桶里面
然后顺次取出
再按照第一维依次丢入
再顺次取出
这样就可以排序啦

---

先把代码丢出来

bool cmp(int i,int j,int k){return y[i]==y[j]&&y[i+k]==y[j+k];}
void GetSA()
{
    int m=30;
    for(int i=1;i<=n;++i)t[x[i]=a[i]]++;
    for(int i=1;i<=m;++i)t[i]+=t[i-1];
    for(int i=n;i>=1;--i)SA[t[x[i]]--]=i;
    for(int k=1;k<=n;k<<=1)
    {
        int p=0;
        for(int i=0;i<=m;++i)y[i]=0;
        for(int i=n-k+1;i<=n;++i)y[++p]=i;
        for(int i=1;i<=n;++i)if(SA[i]>k)y[++p]=SA[i]-k;
        for(int i=0;i<=m;++i)t[i]=0;
        for(int i=1;i<=n;++i)t[x[y[i]]]++;
        for(int i=1;i<=m;++i)t[i]+=t[i-1];
        for(int i=n;i>=1;--i)SA[t[x[y[i]]]--]=y[i];
        swap(x,y);
        x[SA[1]]=p=1;
        for(int i=2;i<=n;++i)x[SA[i]]=cmp(SA[i],SA[i-1],k)?p:++p;
        if(p>=n)break;
        m=p;
    }
}

首先，第一次做$k=0$时
相当于每个后缀的第二维都是一样的
所以，直接按照第一维（也就是自己的值）
进行一次基数排序

接下来
每次基数排序都要利用到上一次的值

还记得吧，基数排序是先按照第二维从小往大拍
那么，我们就先把第二维的顺序搞出来
首先最小的一定就是没有第二维的东西
所以我们先把这些数直接丢进数组里面
接下来就是有第二维的东西啦
第$i$位的第二维是啥？$rank[i+k]$
所以，从小到达枚举$SA$，这样保证第二维从小往大
那么，只要$SA[i]>k$
就证明它是一个东西的第二维
所以，把$SA[i]-k$丢到数组里面去就好啦

这样的话，按照第二维就拍好啦
再来依次按照第一维丢到桶里面去
做一遍基数排序就好啦
这样就能够求出$SA$啦

看起来很简单诶。。
只是数组不要搞混了
一定搞清楚每个数组是干啥的
比如我的代码
$SA$是后缀数组，$SA[i]$表示排名为$i$的串是哪一个
$rank$相当于排名，$rank[i]$表示第$i$个串的排名
$x,y$两个数组是记录顺序的
分别记录第一维和第二维的排序的顺序
$t$是桶

这样我们就很愉快的求出了$SA$
还有一个数组$Height$
$Height[i]$表示串$SA[i]$与$SA[i-1]$的最长公共前缀的长度
比如说，现在要求后缀$i$与$j$的最长公共前缀
那就只需要求$min(Height[i]),i \in [rank[i]+1,rank[j]]$
因为已经按照字典序排好序啦

$Height$显然可以暴力求
但是太不优美
我们有$Height[rank[i]]>=Height[rank[i-1]]-1$
证明（来自$hihoCoder$)

设$suffix(k)$是排在$suffix(i-1)$前一名的后缀，
则它们的最长公共前缀是$height[rank[i-1]]$
那么$suffix(k+1)$将排在$suffix(i)$的前面（这里要求$height[rank[i-1]]>1$，如果$height[rank[i-1]]≤1$，原式显然成立）
并且$suffix(k+1)$和$suffix(i)$的最长公共前缀是$height[rank[i-1]]-1$，
所以$suffix(i)$和在它前一名的后缀的最长公共前缀至少是$height[rank[i-1]]-1$

那么，我们按照$rank$的顺序来求$Height$就行啦

    for(int i=1;i<=n;++i)Rank[SA[i]]=i;
    for(int i=1,j=0;i<=n;++i)
    {
        if(j)j--;
        while(a[i+j]==a[SA[Rank[i]-1]+j])++j;
        height[Rank[i]]=j;
    }

---

填坑啦

---

最长可重叠重复K次子串
解决方法：
二分答案
每次$check$
检查是否有超过$K$个连续$height$大于二分值

最长不可重叠重复子串
解决方法：
还是二分答案
在一段连续超过二分值的$height$中
记录$SA$的最大和最小值
检查是否有重合即可

最长公共子串1
最长公共子串2
解决方法：
把所有串都接在一起
中间找一个字典序为$inf$的字符链接在一起
二分一个答案
检查一段连续的满足条件的$height$中
是否所有串都出现在一起