[模板] Manacher(马拉车)算法

本文介绍了一种高效求解回文子串的算法——Manacher算法,通过在字符串中插入特殊字符来统一处理奇偶长度的回文串,利用已计算的回文半径加速后续计算,实现O(n)的时间复杂度。

用途

求回文子串

做法

先考虑回文子串以某字符为中心的情况,即长度为奇数

推着做,记rad[i]为以i位置为中心的最大半径(包含中点)

考虑怎么求rad[i]。找之前的一个右端点最靠右的位置p,设它的中心是j

如果有i<p,那么找到i关于j的对称点2*j-i,那么一定$rad[i]>=min\{rad[2*j-i],[p-i+1]\}$

如果i>=p,那前面做的东西对我求i没什么帮助,rad[i]>=1

然后再暴力往后判断rad[i]能不能再大一点

因为这个右端点最靠右的位置一定是递增的,所以能感受出这是一个O(n)的算法

 

为了解决串长为偶数的问题,我们在每两个字符间(以及开头结尾?)都插个相同的特殊符号;为了避免可能的溢出,在最开始再插个别的符号

例题

 1 #include<bits/stdc++.h>
 2 #define CLR(a,x) memset(a,x,sizeof(a))
 3 using namespace std;
 4 typedef long long ll;
 5 typedef pair<int,int> pa;
 6 const int maxn=2.2e7+10;
 7 
 8 inline ll rd(){
 9     ll x=0;char c=getchar();int neg=1;
10     while(c<'0'||c>'9'){if(c=='-') neg=-1;c=getchar();}
11     while(c>='0'&&c<='9') x=x*10+c-'0',c=getchar();
12     return x*neg;
13 }
14 
15 char s[maxn];
16 int r[maxn];
17 
18 int main(){
19     //freopen("","r",stdin);
20     int i,j,k;
21     scanf("%s",s+1);s[0]='!';
22     int len=strlen(s+1);
23     for(i=len;i>=0;i--){
24         s[i<<1]=s[i],s[i<<1|1]='#';
25     }len=len*2+1;
26     int mp=0,mi=0,ans=0;
27     for(i=1;i<=len;i++){
28         r[i]=i<=mp?min(mp-i+1,r[mi*2-i]):1;
29         while(s[i+r[i]]==s[i-r[i]]) r[i]++;
30         if(i+r[i]-1>mp) mp=i+r[i]-1,mi=i;
31         ans=max(ans,r[i]);
32     }printf("%d\n",ans-1);
33     return 0;
34 }

 

转载于:https://www.cnblogs.com/Ressed/p/9957413.html

### 实现与解释拉车算法 #### 一、算法概述 拉车算法Manacher's Algorithm)用于在线性时间内查找字符串中的最长回文子串。该算法通过巧妙地处理奇偶长度的回文问题,使得整个过程可以在 O(n) 时间复杂度下完成[^1]。 #### 二、算法过程分析 ##### 1. 字符串预处理 为了统一处理不同长度的回文情况,通常会在原字符串之间插入特殊字符 `#` ,并添加头尾两个不同的保护字符 `$` 和 `@` 。这样做的目的是让所有的回文中心都有一个明确的位置,并且不会越界访问[^2]。 例如:"abba" 被转换成 "$#a#b#b#a#@" ##### 2. 原字符串与新字符串的关联 经过上述变换后的字符串称为辅助串 S' , 对应位置 i 处的最大半径 P[i] 表示以第i个字符为中心能扩展出去最远距离的一半加一 (即实际回文长度除以2再加1)[^3]。 ##### 3. 利用已知信息加速计算 在遍历过程中维护三个变量:当前最大右端点 id, 当前最大右侧边界 mr 及其对应的中心 pos;当遇到新的待求解点 j 时分两种情况进行讨论: ###### 3.1 维护数据 如果j位于mr之内,则尝试借用pos处的信息来减少不必要的比较次数;否则直接从零开始匹配直到无法继续为止。 ###### 3.2 初始化规则 根据 j 是否处于已有记录的有效区间内采取不同策略初始化 p[j]: - **若 j 属于有效区域** :设 k=2*pos-j 即关于pos对称的那个索引位上的值作为初始估计值 min(p[k], mr-j+1), 这样既考虑到了镜像关系又防止超出范围; - **反之则置为默认最小值1**, 因为我们至少知道它自己本身构成的一个单字符回文. ###### 3.3 探测阶段 无论哪种情形都需要进一步验证是否存在更长的可能性,具体做法是从p[j]-1往两侧逐次试探直至不满足条件停止更新p[j][^3]。 最后每当发现更大的mr就及时刷新id和pos以便后续节点能够受益于此优化措施. ```python def manacher(s): # Preprocess the string to handle even-length palindromes uniformly. t = '#'.join(f'^{s}$') n = len(t) p = [0]*n center = right = 0 max_len = 0 index = 0 for i in range(1,n-1): mirror = 2 * center - i if right > i: p[i] = min(right-i,p[mirror]) while t[i+(1+p[i])] == t[i-(1+p[i])]: p[i]+=1 if i + p[i]>right: center=i right=center+p[i] if p[i]>max_len: max_len=p[i] index=i start=(index-max_len)//2 return s[start:start+max_len] ``` 此代码实现了完整的拉车算法逻辑,包括必要的预处理步骤以及核心循环结构,最终返回输入字符串中最长连续回文子序列的内容。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值