manacher

给定一个字符串,求出以每个位置为中心的最长回文子串。


流程

  • 设 \(mxr\) 为当前所有回文串的最大的右边界,\(mid\) 为对应的中点

  • 为了防止中点在两个位置中间,将原串的每两个字符间和开头结尾都塞一个相同的无关字符

  • 若 \(i\leq mxr\),令 \(f_i=\min(f_{2mid-i,mxr-i+1})\)

  • 暴力扩展 \(f_i\)

  • 更新 \(mxr\) 和 \(mid\)


正确性

对于一个回文字串来说,一对下标以 \(mid\) 对称的区间一定完全相同。所以在 \(mid\) 左边的一个回文区间对应的右边的一段区间一定也是回文区间。

所以 \(i\) 在这个回文字串内的答案一定不小于它的对应点 \(2mid-i\) 在这个回文子串内的答案。


复杂度

分析暴力扩展部分的复杂度即可。。

  • 若以 \(i\) 为中心的最长回文串的右端点 \(R\) 小于 \(mxr\),则 \(f_i=f_{2mid-i}\)

  • 否则会提供 \(R-mxr\) 的复杂度,并且令 \(mxr=R\)

然后发现复杂度就是把 \(mxr\) 一直往右边挪的次数。

复杂度 \(O(len)\)

上一篇:Manacher(马拉车)算法


下一篇:1.4 模拟/dp| 近代通信