SA详细注释不压行代码

 void Suffix_Array(char*a,int n,int m=){
     //变量含义：m是字符集大小，n是字符串长度，c是一个桶数组,a[i]是字符串（下标从1开始）
     //rk[i]就是suffix(i)的字典序排名，sa[i]就是要求的排名为i的后缀的起始位置，即rk[sa[i]]=i
     for(int i=;i<=m;++i) c[i]=;
     for(int i=;i<=n;++i) x[i]=a[i]-'a'+;
     //x[i]用于存储suffix(i)的第一关键字（的排名），在刚开始长度为1的时候就是a[i]
     //也就是，第i个后缀的第一关键字在所有后缀里的排名，记住定义！！！
     //如果出于某些原因想加入一个空字符（字典序最小），那么在全局把它设置为'a'-1就好了，这也是为什么m=27而非26
     for(int i=;i<=n;++i) c[x[i]]++;
     //看起来十分草率的一个扔进桶里的过程
     for(int i=;i<=m;++i) c[i]+=c[i-];
     //把桶做一遍前缀和。这样操作后就有如果是s[i]=x,则c[x-1]<rk[i]<=c[x]
     //也就是对于一个c[x-1]<p<=c[x],suffix(sa[p])的第一关键字为x
     for(int i=;i<=n;++i) sa[c[x[i]]--]=i;
     //这句话就是对第12～13行的那句话的一种实现方式
     for(int len=;len<=n;len<<=){
         //len表示的是第一关键字与第二关键字分别的长度，所以len<<1就是本轮真正所要比较的长度
         //定义y数组，表示第二关键字排名为i的后缀是suffix(y[i])
         int num=;
         //num就是用来存储已经排好序的第二关键字的数量
         for(int i=n-len+;i<=n;++i) y[++num]=i;
         //suffix(i)的第二关键字现在是a[i+len...i+2len-1]。而对于suffix(n-len+1)...suffix(n)已经没有第二关键字了。
         //而空字符的字典序最小，所以它们第二关键字的排名最靠前
         for(int i=;i<=n;++i) if(sa[i]>len) y[++num]=sa[i]-len;
         //对于所有p>len，a[p...p+len-1]这一截都会成为suffix(p-len)的第二关键字
         //而你枚举的是sa[i],i从小到大也就是代表你从小到大枚举的所有可能出现的第二关键字
         //现在y数组里面已经按从小到大的顺序存储好了所有可能出现的第二关键字，包括空的
         //注意y数组的含义，和x是不一样的，x是位置i的第一关键字的排名，y是排名为i的第二关键字的位置
         for(int i=;i<=m;++i) c[i]=;
         for(int i=;i<=n;++i) c[x[i]]++;
         for(int i=;i<=m;++i) c[i]+=c[i-];
         //都与倍增外面的部分同理。还是按照第一关键字扔桶。下面要基数排序加入第二关键字了。
         for(int i=n;i;--i) sa[c[x[y[i]]]--]=y[i];
         //这句话是最麻烦的一句，x[y[i]]表示第二关键字排名为i的后缀的第一关键字
         //注意这里的循环需要倒序，因为你是从大到小枚举第二关键字，而由于你的c[]--，所以得到的排名也是从大到小
         //这里和第12～13行的注释是同理的，注意每个按关键字排序后的后缀所在的排名区间
         //所以也可以改写成for(int i=1;i<=n;++i) sa[++c[x[y[i]]-1]]=y[i];这样全文就都是正序枚举了不易混,但是需要清空c[0]
         //我倾向于这个写法，实测可以AC。但是这里还是抄的wzz的原版板子，你们自行选择
         for(int i=;i<=n;++i) y[i]=x[i],x[i]=;
         //数组的回收利用,只不过是换个数组存了一下第一关键字，清空一个数组备用
         x[sa[]]=m=;
         //排名最小的串，它在2len长度比较下也最小，所以在下次len<<=1后，它对应的len第一关键字就是最小的第一关键字
         //这里把m置为1.也就是现在要重新规定字符集大小了，这个1是是x[sa[1]]，m以后表示的就是目前已知的本质不同后缀数
         for(int i=;i<=n;++i) x[sa[i]]=(y[sa[i]]==y[sa[i-]]&y[sa[i]+len]==y[sa[i-]+len])?m:++m;
         //这时候sa在2len长度的比较下已经排好序了，可以直接按照排名枚举。只要你和你前一名的第一/二关键字不完全相同
         //那么你们就是不同的，所以你就是一个新串，加入字符集m++，然后重新给它在下一轮的第一关键字编号为m
         if(m==n)break;
         //如果你的字符集个数等于后缀个数，那么就是所有的后缀都被两两区分开了，可以提前跳出了
     }
     for(int i=;i<=n;++i)rk[sa[i]]=i;
     //rk是suffix(i)的排名，从含义上就知道它是sa的逆数组
 }