CharlieVinnie

摘要： （就是对一些严谨概念的形式化） 定义 3.1（扩展串）：将子串 $t$ 左右扩张到最长的 $t'$ 使得 $t$ 与 $t'$ 的出现次数相同，称为扩展串 $\mathrm{ext}(t)$。 引理 3.1：$\mathrm{ext(t)}$ 存在且唯一。（注：这里的唯一指唯一的位置 $[l,r]$ 阅读全文