【笔记】【未完成】后缀自动机在字典树上的拓展
参考：2015年信息学奥林匹克中国国家队论文集
ZJOI2015 Day1诸神眷顾的幻想乡
定义
- 字符集\(A\)，所有字符串\(A^*\)，空串\(\epsilon\)，不包含空串的集合\(A^+=A^*-\epsilon\)。
- \(s_{i,j}\)；一个串\(s\)的所有后缀为\(S(s)=\{s_{i,|s|}|1\le i\le |s|\}\)。
- \(Minl(S),Maxl(S)\)分别表示\(S\)中最短、最长字符串的长度。
- \(T\)表示Trie树，\(T_x\)表示\(T\)中的节点，\(T_{x,y}\)表示\(T_x\)到其子树中\(T_y\)的字符串。
\(T\)的前缀\(P_{T_x}=T_{root,x}\)，\(F(T)\)表示所有子串，\(S(T)\)所有后缀。 - \(Right(s)=\{T_{y}|\exist T_{x,y}=s\}\)，等价关系\(aRb\iff Right(a)=Right(b)\)。
- 等价类\(R(s)\)表示所有与\(s\)等价的串。
- 自动机\(\Phi(T)\)，读入\(s\)之后的状态\(\Phi(T)_s\)，则\(\Phi(T)_a=\Phi(T)_b\iff aRb\)。
- 后缀链接\(s_T:A^+\to A^*\)：\(s_T(x)=z,z\in S(x),|z|=Minl(R_T(x))-1\)。
