标签：int Manacher 笔记 fa len fail PAM 回文
\(1\) Manacher
挺短，背是挺好背的
Manacher用于求回文串长度。思想大概就是：
1、加入字符集之外的识别字符（比如#）分隔开原来相邻的字母，这样所有的回文串都变成了以某个字符为中心的（否则如果是偶数长度的回文串还要特判）。
2、考虑借由以前的信息求出新的回文串长度。记录到现在为止最靠右的回文串中最右侧的字符下标&其对称轴的下标，不妨记这个最靠右的串为\(\rm S\)。那么考虑以当前位置作为对称轴的答案，一定至少是\(\min\){隔着\(\rm S\)的对称轴与其对称的另一个位置ans，\(|S|-i+1\)} 。然后就不断扩展即可。
3、关于复杂度证明。我们记一次帅气的操作的意义是成功让\(ans_i\)的初始值继承了与之对称的点的答案和边界的取\(\min\)，记以当前点为轴的最长回文子串为\(\rm T\)，\(T\)的右端点为\(q\)。可以知道
- （1）\(\rm S\)的右端点是单增的；
- （2）如果当前旧的\(maxlen<i\)，即未成功进行一次帅气的操作，那么显然
while1次，\(maxlen\)增大一次； - （3）如果当前的串经过了一次帅气的操作，那么当\(q<maxlen\)时，直接跳出
while；当\(q\geq maxlen\)时，\(q\)增大\(maxlen\)必增大。所以得出结论，进行一次帅气的操作和\(maxlen\)的增大次数是严格同阶的。
So,最终复杂度就是\(\Theta(n)\)的。
void Manacher(char *s){
int id, fars, i ;
id = 0, fars = 0 ;
//id : 最靠右的回文串的中心位置
//fars : 迄今为止最靠右的回文串的最右侧
for (i = 1 ; i <= N ; ++ i)
ns[++ L] = (int)In[i], ns[++ L] = '#' ;
for (i = 1 ; i <= L ; ++ i){
if (fars <= i) base[i] = 1 ;
else base[i] = min(fars - i + 1, base[id * 2 - i]) ;
while (ns[i + base[i]] == ns[i - base[i]]) base[i] ++ ;
if (i + base[i] > fars) id = i, fars = i + base[i] - 1 ;
}
}
int main(){
scanf("%s", In + 1),
L = -1, N = strlen(In + 1) ;
ns[++ L] = '$', ns[++ L] = '#' ; Manacher(In) ;
for (int i = 1 ; i <= 2 * N + 2 ; ++ i) ans = max(ans, base[i] - 1) ;
cout << ans << endl ; return 0 ;
}\(2\) PAM
学了PAM，不知道为啥感觉比SAM简单？参考的资料会放在最后。
其实就是一种自动机，以回文串为状态，左右各添加一个字符为转移的自动机。要点如下：
0、一个串的回文子串至多有\(O(n)\)个。
1、首先每个节点需要保存这个节点中回文串的长度。
2、显然始状态需要有两个，即奇数长度的\(s\)和偶数长度的\(s\)，称作“奇根”和“偶根”。那么为了方便呢，奇根的长度设置为\(-1\)，偶根长度设置为\(0\)。
3、考虑要从\(last\)指针扩展当前状态，假设当前需要insert的字母是\(c\)，是这个串里面的第\(p\)个字符，那我们需要找到一个后缀\(s[j...p-1]\quad s.t.\quad s[j...p-1]\)本身回文且\(s[j-1]=c\)，那么就可以向下扩展。
4、考虑怎么找这个后缀，显然对于一个串\(S\)，他的所有回文后缀都是其最长回文后缀的回文后缀。所以考虑\(fail\)指针，应当从当前状态连向它的最长回文后缀。
5、插入新节点时，考虑跳完\(fail\)后如果没有相应的转移边，就要新建一个状态然后连\(fail\).
然后是代码和一点注意：
struct PAM{
int trie[MAXN][Sigma] ;
int rt0, rt1, last, sz ;
int len[MAXN], fail[MAXN] ;
}P ;
void _init(PAM &p){
p.sz = -1,
p.rt0 = ++ p.sz, p.rt1 = ++ p.sz ;
p.fail[p.rt0] = p.fail[p.rt1] = p.rt1 ;
p.last = p.rt0, p.len[p.rt0] = 0, p.len[p.rt1] = -1 ;
}
void _insert(PAM &p, int x, int pos, char *s){
int u = p.last ;
while (s[pos - p.len[u] - 1] != s[pos]) u = p.fail[u] ;
if (!p.trie[u][x]){
int fa = p.fail[u] ;
int newn = ++ p.sz ;
p.len[newn] = p.len[u] + 2 ;
while (s[pos - p.len[fa] - 1] != s[pos]) fa = p.fail[fa] ;
p.fail[newn] = p.trie[fa][x], p.trie[u][x] = newn,
}
p.last = p.trie[u][x] ;
}6、\(\rm \color{red}{WARNING}\)，以下两句顺序不要写反：
p.fail[newn] = p.trie[fa][x], p.trie[u][x] = newn, 原因是当\(fa=u\)时就出现环了。
\(3\) 闲扯
学完才知道，\(\rm PAM\)又简单又好背功能又多……Manacher被打爆了啊喂qwq。
标签：int,Manacher,笔记,fa,len,fail,PAM,回文 来源： https://www.cnblogs.com/pks-t/p/12030971.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。