回文树总结
写马拉车还不如写回文树。
---BY 陈菊开
回文树是啥
原论文请转2017年集训队论文《回文树及其应用》BY翁文涛
我感觉回文树/回文自动机相较于后缀自动机还是要好理解一点的(像我这种菜鸡到现在还不是很懂SAM)。
回文树,顾名思义,就是要把一个串的所有回文子串丢到一棵树上。那要向SAM一样记录个什么鬼(endpos)啥的吗?不用。只需要对每一种本质不同的回文子串建一个节点就可以了。(“本质不同”指的是长度不同或是内容不同,与出现位置无关)
对于一个节点,也就是一个回文子串,我们需要对他记录以下信息:
(len):就是这个回文子串的长度
(tr_c):在这个回文串的两边分别加上一个字符(c)后形成的回文串
(fail):这个回文串的最长回文后缀
为了方便表示回文树的结构,我们额外定义了两个根节点,(odd)和(even)。其中(even)是一个长度为(0)的空串,(odd)是一个不存在的长度为(-1)的串。
这样的定义可以让任何一个回文子串都存在(fail)。比如说,串(babbab)的(fail)是(bab),串(aba)的(fail)是(a),串(aa)的(fail)是(even),串(b)的(fail)是(odd)。特别的,定义(even)的(fail)是(odd),(odd)的(fail)还是(odd)。
可以通过数学归纳法证明:一个串中本质不同的回文子串的个数是(O(n))级别的。
考虑在原串(S)后面插入一个字符(c),这样就可能新形成若干以这个新字符(c)结尾的回文后缀。由于结束位置相同,所以较短的回文后缀也是较长的回文后缀的后缀。其中必然存在一个长度最长的回文后缀,所有其他的回文后缀都是他的后缀。
那么这时候考虑一个回文串的基本性质:后缀等于前缀(长度相同的情况下)。
所以既然所有其他回文后缀都是最长回文后缀的后缀,那么他们就也是这个最长回文后缀的前缀。
既然是前缀,那么就说明他们在之前的位置已经出现过了。
由此可以说明,在加入一个字符后,至多增加一个本质不同的回文子串。所以数量是(O(n))级别的。
这样你已经知道了回文树/回文自动机的基本原理。但这还不够,因为你还得知道——
怎么写
这样写
struct Palindromic_Tree{
int last,tot,tr[N][26],fa[N],len[N];
void init(){fa[0]=fa[1]=1;len[tot=1]=-1;}
void extend(int c,int n,char *s)
{
int v=last;
while (s[n-len[v]-1]!=s[n]) v=fa[v];
if (!tr[v][c])
{
int u=++tot,k=fa[v];
len[u]=len[v]+2;
while (s[n-len[k]-1]!=s[n]) k=fa[k];
fa[u]=tr[k][c];tr[v][c]=u;
}
last=tr[v][c];
}
};
其中(0)表示(even),(1)表示(odd)。
是不是特别好写?
怎么用
这个嘛。。。
你可以求以某一个位置结尾的最长回文后缀的长度(就是(len_{last}))
你把后缀树建出来再维护一个(dep)就可以知道有多少个回文串(不同位置的算不同的)
等等一些骚操作
鉴于我题做的还不是很多所以以后再补(也可能是永远都不会补了)