后缀数组SA-IS模板

SA-IS
这个讲解好易懂。。。
这个才是真的易懂

具体逻辑关系就是后缀分成$L$型，$S$型，和$C^{\ast }$型后缀。
$s[i:]$是$L(larger)$型，表示后缀$s[i:]>s[i+1:]$
$s[i:]$是$S(smaller)$型，表示后缀$s[i:]<s[i+1:]$
$s[i:]$是$C^{\ast }$型，表示$s[i:]$是$S$，且$s[i-1:]$是$L$
可以$O(n)$从后往前求出每个的类型。

然后我们对于$C^{\ast }$型的所有后缀尝试排序。
尝试递归调用$sais$的函数，那么我们要保证$O(n)$的复杂度，
现在显然$C^{\ast }$的后缀是最多$\frac{n}{2}$个的。
但是我们要递归调用，就需要把两个相邻$C^{}$