算法用途:
马拉车算法用于求最长回文子串问题,此算法可以将时间复杂度提升到了线性O(n)。
算法实现步骤:
STEP1:在输入字符串每个字符之间都插入一个“#”
比如:abaabbbaa,加完“#”后为#a#b#a#a#b#b#b#a#a#(注意开头和结尾也要加)
这一步的目的主要是为了统一字符串的奇偶性。(无论回文序列的长度是奇数还是偶数,加完#后都会变成奇数)
STEP2:定义三个变量:
P[]:整形数组,初始化为0,用来表示回文半径的长度
R:初始化为0,用来表示回文半径扫到最右的下一个位置
C:当pr更新后,记录pr的中心
STEP3:
以下是 Manacher 算法的 Python 代码实现:
def manacher(s):
# 将字符串预处理,插入特殊字符,使得字符串长度为奇数
processed_str = '#'.join('^{}$'.format(s))
n = len(processed_str)
# 存储每个字符为中心的最长回文子串的半径
P = [0] * n
# 当前已知的最长回文子串的中心及其右边界
C, R = 0, 0
for i in range(1, n - 1):
# 根据回文性质,利用对称性计算 P[i] 的初始值
if R > i:
# i 关于 C 的对称点
mirror = 2 * C - i
# 使用对称点的回文半径和 R-i+1 之间的较小值
P[i] = min(R - i, P[mirror])
# 尝试扩展 P[i] 的半径
while processed_str[i + P[i] + 1] == processed_str[i - P[i] - 1]:
P[i] += 1
# 如果扩展后的回文子串的右边界超过了 R,则更新 C 和 R
if i + P[i] > R:
C, R = i, i + P[i]
# 找出 P 中的最大值,即原字符串中的最长回文子串的半径
max_radius = max(P)
# 找出最长回文子串的中心位置
center_index = P.index(max_radius)
# 计算最长回文子串在原字符串中的起始位置和长度
start_index = (center_index - max_radius) // 2
max_length = max_radius
return s[start_index: start_index + max_length]