回文自动机 PAM

回文自动机是一个用来维护一个字符串的回文子串的工具
可以应用于求本质不同回文子串个数，回文子串出现次数，最小回文划分等问题

前置知识

$\mathtt{manacher}$
$\mathtt{trie}$树

算法用途

维护一个字符串的回文子串

算法复杂度

时间

在末尾添加字符：$O(n)$

空间

$O(n\times \log (|S|))$

算法实现

结构

回文自动机由两颗树构成，分别用来存储长度为奇数的回文子串和长度为偶数的回文子串。
跟 $trie$树 一样，回文自动机的每条边都表示一个字符，每个节点表示一个回文串（$trie$树可以理解为每个节点表示一个字符串）。
一般回文自动机每个节点都需要储存一个值，$si{z}_i$，代表此节点的回文串的大小。
假设回文自动机有一个节点 $u$，另一个节点 $v$ 为 $u$ 的儿子，$u$ 到 $v$ 的边的字符为 $c$，$st{r}_i$ 代表节点 $i$ 表示的字符串。
那么有 $st{r}_v=c+st{r}_u+c$，$si{z}_v=si{z}_u+2$。所以我们将储存奇回文的树的根节点的 $siz$ 设为 $-1$ ，偶回文的根节点 $siz$ 设为 $0$。
则 $abbaa$ 的回文自动机（没有$fail$指针）如下图所示：

fail 指针

我们设 $fai{l}_u$ 代表节点 $u$ 的 $fail$ 指针指向的节点。
我们有 $st{r}_{fai{l}_u}$ 为 $st{r}_u$ 的后缀，且不存在 $st{r}_v$，使得 $|st{r}_v|>|st{r}_{fai{l}_u}|$，满足 $st{r}_v$ 也为 $st{r}_u$ 后缀。（没有回文后缀的回文串的 $fail$ 指向其所在的树的根节点，$siz$ 为 $0$ 的根节点的 $fail$ 指向 $siz$ 为 $-1$ 的根节点，$siz$ 为 $-1$ 的根节点没有 $fail$ 指针）

构建

此操作将一个字符插入到原字符串的末尾。（$S\to S+c$）
于是我们只需要对要构建的字符串 $S$ 执行 $|S|$ 次此操作即可构建出 $S$ 的回文自动机。

插入一个字符 $c$ 时，我们枚举插入前的字符串的每个回文后缀（包括长度为 $0$ 或 $-1$ 的），然后判断插入 $c$ 之后，这个后缀是否还是一个回文串（只需判断此回文串前面的字符是否与插入的字符相同即可）。

如果是，则这个回文串就是插入 $c$ 后字符串的一个回文后缀。我们就在表示这个回文后缀的节点下增加一个节点，表示新产生的这个回文串。如果表示这个回文后缀的节点已有回文串，那么就代表它又出现了一次。

如何快速枚举插入前的字符串的每个回文后缀？我们可以记录一个节点 $last$，节点表示的回文串为插入前的最长回文后缀。
因为 $st{r}_{fai{l}_u}$ 为 $st{r}_u$ 的最长后缀，所以如果我们从 $last$ 开始，一直跳 $fail$，我们走过的每个回文串都是插入前字符串的回文后缀，且遍历顺序为从长到短。

因为遍历顺序为从长到短，我们也可以顺便更新新增节点的$fail$指针，和更改 $last$。我们只用把 $last$ 更改为第一个通过判断的回文串，每个新增节点的 $fail$ 指向下一个新增的节点即可（如果这个新增节点为最后一个新增节点，我们把它的 $fail$ 指向其所在的树的根节点）。