字符串科技：Palindrome Series

简介

其实不太清楚这个应该叫什么，知道的同学可以麻烦告知我。
众所周知，一个串的border数量是$O(n)$的，但是他们可以用$O(logn)$段等差数列表示。
这个东西叫做Border Series，然后把他和回文串结合起来放在PAM上使用，就是本文说的Palindrome Series了。
这东西代码实际非常短，使用的时候，只需要修改3行（DP转移部分）。

背景知识

弱周期定理

这里不详细展开讲，这是一个well known的定理，在使用Series相关的科技时会反复用到，可以自行搜索了解。

Border Series

一个串的长度在$[2^k,2^{k+1})$范围内的border长度构成等差数列，证明使用上面的弱周期定理，可以参考2019国集论文等很多资料，不讲。

Palindrome Series

考虑一个回文串$S$的后缀$T$，则有：$T$是回文串与$T$是$S$的border 等价。再结合上面的Border Series，即可得到一个推论：一个回文串的所有回文后缀可以表示为$O(logn)$段等差数列。设法对每段等差数列进行维护，就可以$O(logn)$枚举所有回文后缀，这就是Palindrome Series做的事情。

PAM

前置技能点：Palindrome Automaton，回文自动机。

例题：CF 932G

题意

转化之后的题意为：给一个串$S(|S|\le 10^6)$，规定一个$S$的分割是合法的当且仅当：分割的每一部分都是偶回文串。

求合法的分割方案数。

题解

暴力DP

很容易直接想到暴力DP的办法：设$f[i]$表示将串$S[1,i]$进行分割的方案数。

初始化$f[0]=0$，转移为

$$f[i]=\sum _{1\le j<i}f[j]\cdot [S[j+1,i]是偶回文串]$$

也就是我们需要枚举所有$S[1,i]$的（偶）回文后缀。使用PAM，全$a$串的复杂度为$O(n^2)$，不能通过。

使用Palindrome Series优化DP

符号约定

$len[i]$ 表示节点代表的回文串长度
$fail[i]$ 表示节点的失配指针，即最长的回文后缀，即最大border。
$diff[i]=len[i]-len[fail[i]]$ ，表示一个节点和他最大border长度的差，即所在的等差数列的公差。
$anc[i]$ 表示节点所在等差数列的首项位置，即从$i$开始往根走，保证$diff$值都相同，最终走到的点。
$g[i]$ 维护每个点到链顶的信息，维护的范围是$(len[anc[i]],len[i]]$，公差$d=diff[i]$。
$f[i]$ 表示$DP$值，即将串$S[1,i]$进行分割的方案数。

转移方法

$len,fail,diff,anc$都可以在构造$PAM$的过程中求得。
重点在于$f,g$的相互转移。
根据定义：$f[i]={\sum }_{p}g[p]$，其中$p$是在PAM上跳到的点，跳的方式是每次从 p p