后缀数组的构造sa,rank和height数组

       

       智商余额又不足了， 看着后缀树的代码看了一整天还是一知半解，看来暂时只能套模板了。

 后缀数组sa[] 保存了一个字符串的所有后缀， 并且按字典序排序。 sa[i] =k 的意思就是 排在第2i个的后缀， 在原串里是以k开头的后缀。

 rank[]数组是sa数组的逆运算， rank[k]=i的意思是从位置k开始的后缀在后缀数组中排第i位。

height数组保存了 后缀数组中相邻两个后缀的最大公共前缀， height[i] 的值是 sa[i-1]和sa[i] 的公共前缀长度。

      我们要把一个串建立成后缀数组，首先要在这个传的末尾加一个特殊的字符，保证这个字符没有出现过且它的值比前面的字符都要小。 （这样方便两个后缀大潇的比较）。

     建立后缀数组采用倍增的方式， 我们需要知道以下先验知识：

    

性质1.1 对k≥n，Suffix(i)<kSuffix(j) 等价于 Suffix(i)<Suffix(j)。

性质1.2 Suffix(i)=2kSuffix(j)等价于Suffix(i)=kSuffix(j) 且 Suffix(i+k)=kSuffix(j+k)。

性质1.3 Suffix(i)<2kSuffix(j) 等价于Suffix(i)<kSuffix(j) 或 (Suffix(i)=kSuffix(j) 且 Suffix(i+k)<kSuffix(j+k))。

其中kSuffix(j) ,表示以位置j 的后缀的长度为k的前缀。

整个倍增算法的思路为， 我要给所有的后缀排序，首先我给这个后缀中长度为1的前缀排序，然后我再按前缀长度1*2=2 排序，然后我再按前缀长度2*2=4排序。