[学习笔记]省选数据结构·SAM

一、开头

神犇MX：哈哈哈哈哈，xyz32768，又碰面了！再考你一道很水很水的题：给出一个长度为$n$，只由小写英文字母组成的字符串，求这个字符串不同的子串个数，$n\leq 10^5$，至少给出两种方法！
xyz32768：后后后后后缀数组，$\frac{n(n+1)}{2}$减去$height$之和？
神犇MX：说得出第二种方法我就算你厉害。先提示你，第二种方法用到的算法名称是五个字，后面三个字是「自动机」。
xyz32768：啊……难道是，神犇自动机？还是蒟蒻自动机？
神犇MX：哈哈哈哈哈哈哈哈，都不是，是后缀自动机！后缀自动机是一种很水的数据结构，但只有像我这样比你强$10^9$倍的神犇才会后缀自动机！xyz32768你真是菜啊！
xyz32768：我本来就菜啊………………什么？后……后缀自动机？

二、引入

SAM的全称是Suffix Automaton，即后缀自动机。
后缀自动机是这样一种数据结构，对于一个字符串$S$，后缀自动机能存下字符串$S$的所有后缀，即能识别字符串$S$的所有后缀。同时，由于$S$的任意一个子串都是$S$的后缀的前缀，所以从一定意义上后缀自动机还可以识别$S$的所有子串。一个朴素的想法是把$S$的所有后缀建成一棵Trie树，Trie树中的点表示状态，Trie树中的边表示转移。
以字符串$S=noiioi$为例（紫色节点表示一个后缀的终点）：

状态数和转移数都是$O(n^2)$的。而后缀自动机是一个有向无环图，一个状态表示的字符串个数可能不止一个。后缀自动机运用了所有字符串都是$S$的后缀这一特性，实现了$O(n)$的时空复杂度。
下面是字符串$S=noiioi$的后缀自动机：

三、概念

$Right_s$：子串$s$的$Right$集合，定义为子串$s$在$S$中出现的末尾位置的集合。
举$2$个例子：$S=noiioi$，则$Right_{oi}=\{3,6\}$
$S=orzpyzorzlpforzcyx$，则$Right_{orz}=\{3,9,15\}$
（字符串的位置下标从$1$开始）
一个状态表示的子串可能不止一个，但这些子串的$Right$集完全相同。一个状态的$Right$集就是这个状态表示的子串的$Right$集。下面把状态$i$的$Right$集合也记为$Right_i$。
$Parent_i$：满足$Right_i⫋Right_j$的$|Right_j|$最小的$j$（$i$和$j$是状态）。也就是$Right$集包含 Righ