回文串算法Manacher

本文介绍了一种高效的回文串查找算法——Manacher算法,并详细解释了其核心思想及实现过程。通过巧妙地处理字符串,该算法能有效地找到字符串中所有最长回文子串。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

回文串算法Manacher

首先用一个非常巧妙的方式,将所有可能的奇数/偶数长度的回文子串都转换成了奇数长度:在每个字符的两边都插入一个特殊的符号。比如 abba 变成 #a#b#b#a#, aba变成 #a#b#a#。 为了进一步减少编码的复杂度,可以在字符串的开始加入另一个特殊字符,这样就不用特殊处理越界问题,比如$#a#b#a#。

下面以字符串12212321为例,经过上一步,变成了 S[] = “$#1#2#2#1#2#3#2#1#”;

然后用一个数组 P[i] 来记录以字符S[i]为中心的最长回文子串向左/右扩张的长度(包括S[i]),比如S和P的对应关系:

S # 1 # 2 # 2 # 1 # 2 # 3 # 2 # 1 #
P 1 2 1 2 5 2 1 4 1 2 1 6 1 2 1 2 1
(p.s. 可以看出,P[i]-1正好是原字符串中回文串的总长度)

下面计算P[i],该算法增加两个辅助变量id和mx,其中id表示最大回文子串中心的位置,mx则为id+P[id],也就是最大回文子串的边界。

这个算法的关键点就在这里了:

Mp[i] = mx > i ? min(Mp[2*id-i],mx-i):1;

其实就是对称点和边界的问题。

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
const int maxn = 1000010;

char Ma[maxn*2];
int Mp[maxn*2];
char s[maxn];

void Manacher(char s[],int len)
{
    int l = 0;
    Ma[l++] = '$';
    Ma[l++] = '#';
    for(int i = 0;i < len; i++) {
        Ma[l++] = s[i];
        Ma[l++] = '#';
    }
    Ma[l] = 0;
    int mx = 0,id = 0;
    for(int i = 0;i < l; i++) {
        Mp[i] = mx > i ? min(Mp[2*id-i],mx-i):1;
        while(Ma[i+Mp[i]] == Ma[i-Mp[i]]) Mp[i]++;
        if(i + Mp[i] > mx) {
            mx = i + Mp[i];
            id = i;
        }
    }
}
int main()
{
    freopen("in.txt","r",stdin);
    int ncase = 1;
    while(scanf("%s",s) == 1) {
        if(strcmp(s,"END") == 0) break;
        int len = strlen(s);
        Manacher(s,len);
        int ans = 0;
        for(int i = 0;i < 2*len+2; i++)
            ans = max(ans,Mp[i]-1);
        printf("Case %d: %d\n",ncase++,ans);
    }

    return 0;
}
### Manacher Algorithm for Palindrome Strings Manacher's algorithm 是一种高效的线性时间复杂度 \(O(n)\) 的算法,用于找到给定字符串中的最长回文子串。它通过利用回文的对称性质来减少不必要的计算。 #### 算法核心思想 为了处理偶数长度和奇数长度的回文字串统一化问题,可以在原字符串中插入特殊分隔符 `#` 和边界标记 `$` 来构建一个新的字符串。例如,对于输入字符串 `"aab"`,可以将其转换为 `"$#a#a#b#@"`[^1]。这样做的好处是可以将所有可能的回文中心标准化到单个字符上。 接着定义一个辅助数组 `P[]`,其中 `P[i]` 表示以第 i 个位置为中心的最大半径(即该回文右端点减去左端点再加一除二的结果)。同时维护两个变量:当前已知最右侧回文的中心 `center` 和其对应的右边界 `right`。 当遍历新字符串时,如果当前位置小于等于右边界的覆盖范围,则尝试基于镜像位置的信息加速判断;否则直接从头开始扩展直到不满足条件为止,并更新全局最优解以及必要情况下调整 center 和 right 值。 以下是 Python 实现代码: ```python def manachers_algorithm(s): # Preprocess the string by inserting special characters '#' T = ['#'] * (2 * len(s) + 3) T[0], T[-1] = '$', '@' # Sentinels j = 0 for i in range(1, len(T)-1, 2): T[i] = s[j] j += 1 P = [0] * len(T) C = R = 0 max_len = 0 center_index = 0 for i in range(1, len(T)-1): mirror_i = 2*C - i if R > i: P[i] = min(R-i, P[mirror_i]) while T[i+(1+P[i])] == T[i-(1+P[i])]: P[i] += 1 if i + P[i] > R: C = i R = i + P[i] if P[i] > max_len: max_len = P[i] center_index = i start = (center_index - max_len) // 2 return s[start:start+max_len] print(manachers_algorithm("banana")) # Output: 'anana' ``` 此函数接受原始字符串作为参数并返回最长回文子串。 --- ### KMP Algorithm Usage in Palindromes 尽管 KMP 主要应用于模式匹配领域而非专门针对回文检测设计,但它也可以间接帮助解决某些涉及前缀与后缀关系的问题。比如,在寻找特定类型的回文中可能会用到它的部分特性——具体来说就是如何高效比较前后缀相似性的技巧。 然而需要注意的是,标准形式下的 KMP 并不适合单独用来判定整个字符串是否构成完全意义上的回文结构或者定位内部存在的最大规模回文片段等问题场景下表现不如其他专用方法那样理想。因此更多时候我们会看到人们倾向于采用诸如动态规划、中心扩散法或者是上述提到过的 Manacher’s Algorithm 这些更适合此类任务的技术手段来进行操作。 ---
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值