算法——后缀自动机

后缀自动机初相识

在字符串处理的广袤领域中，后缀自动机（Suffix Automaton，简称 SAM）宛如一颗璀璨的明珠，散发着独特的魅力。它是一种强大的数据结构，如同一位技艺精湛的工匠，能够高效地处理各种复杂的字符串问题，为我们在字符串的迷宫中指引方向。

后缀自动机可以被看作是一个有向无环图（DAG），其中每个顶点代表一个状态，每条有向边则表示状态之间的转移。在这个奇妙的图中，从初始状态出发，沿着任意路径前进，将路径上经过的边所标记的字符依次连接起来，得到的字符串必然是原字符串的一个子串。反之，原字符串的每一个子串也都能在这个图中找到对应的唯一路径。这种一一对应的关系，使得后缀自动机能够简洁而高效地存储和表示字符串的所有子串信息 ，就像是一个精心整理的图书馆，每一本书（子串）都能在书架（后缀自动机）上迅速找到。

例如，对于字符串 “abab”，其后缀自动机可以形象地表示为一个包含多个状态和转移边的图。从初始状态开始，通过转移边依次经过字符 ‘a’、‘b’、‘a’、‘b’，可以得到原字符串的所有子串，如 “a”、“ab”、“aba”、“abab” 等。每个子串都对应着图中的一条路径，这种直观的映射关系，让我们能够更清晰地理解后缀自动机的工作原理。

后缀自动机的原理剖析

（一）基本概念

后缀自动机是接收字符串所有后缀的最小化确定有限状态自动机。从直观上来看，它是一张有向无环图（DAG） ，其中的顶点代表状态，边代表状态之间的转移。它存在一个特殊的初始状态，从这个初始状态出发，可以到达其余的所有状态。自动机中的每一条转移边都被特定的符号标记，且从同一个状态出发的不同转移边，其标记的符号是不同的。同时，存在一个或多个状态被标记为终止状态，从初始状态出发，沿着任意路径走到终止状态，将路径上经过的边的标记依次连接起来，所得到的字符串必定是原字符串的一个后缀 。并且，后缀自动机是在满足上述条件的所有自动机中，顶点数最少的那个。

（二）关键性质

子串信息完备性：后缀自动机包含了原字符串的所有子串信息。这意味着，从初始状态出发，沿着自动机中的任意路径前进，将路径上的边的标记依次连接起来，所得到的字符串必然是原字符串的一个子串；反之，原字符串的任意一个子串，都能在后缀自动机中找到一条对应的路径 。这种一一对应的关系，使得后缀自动机成为了一个高效存储和处理字符串子串信息的数据结构。

endpos 概念及性质：对于原字符串的任意非空子串 $t$，定义 $endpos(t)$ 为 $t$ 在原字符串中所有出现位置的终点集合。例如，对于字符串 “banana”，子串 “ana” 的 e n d p o s ( a n a ) = { 3 , 5 } endpos(ana)=\{3, 5\} endpos(ana)={ 3,5}。两个子串 $t_1$ 和 $t_2$，如果 e n d p o s ( t 1 ) = e n d p o s ( t 2 ) endpos(t_1)=endpos(t_2)