@SyadouHayami 感谢投稿

循坏位移是什么

唯一性里为啥是$s_i=s_i's_{i-1}'$，不是$s_{i+1}'$吗

性质 3证明也有错字，突然最小后缀

下面那个算法为什么突然冒出一堆奇怪的字母比如$l,v,a$

另外，s[i...j]和$s_1s_2s_3$混用真的不好，特别在这个算法里非常明显

所以您最好再优化优化表述（