Manacher算法,O（n）回文子串算法以及模板题HDU3068最长回文串

倚剑笑紅尘

于 2017-08-10 21:03:19 发布

阅读量214

点赞数 1

分类专栏：数据结构——后缀数组

数据结构——后缀数组专栏收录该内容

6 篇文章 0 订阅

订阅专栏

Manacher算法,O（n）回文子串算法

这里，我介绍一下O（n）回文串处理的一种方法。Manacher算法.

原文地址：点击打开链接

其实原文说得是比较清楚的，只是英文的，我这里写一份中文的吧。

首先：大家都知道什么叫回文串吧，这个算法要解决的就是一个字符串中最长的回文子串有多长。这个算法可以在O（n）的时间复杂度内既线性时间复杂度的情况下，求出以每个字符为中心的最长回文有多长，

这个算法有一个很巧妙的地方，它把奇数的回文串和偶数的回文串统一起来考虑了。这一点一直是在做回文串问题中时比较烦的地方。这个算法还有一个很好的地方就是充分利用了字符匹配的特殊性，避免了大量不必要的重复匹配。

算法大致过程是这样。先在每两个相邻字符中间插入一个分隔符，当然这个分隔符要在原串中没有出现过。一般可以用‘#’分隔。这样就非常巧妙的将奇数长度回文串与偶数长度回文串统一起来考虑了（见下面的一个例子，回文串长度全为奇数了），然后用一个辅助数组P记录以每个字符为中心的最长回文串的信息。P［id］记录的是以字符str［id］为中心的最长回文串，当以str［id］为第一个字符，这个最长回文串向右延伸了P［id］个字符。

原串： w a a b w s w f d

新串： # w # a # a # b # w # s # w # f # d #

辅助数组P：1 2 1 2 3 2 1 2 1 2 1 4 1 2 1 2 1 2 1

这里有一个很好的性质，P［id］-1就是该回文子串在原串中的长度（包括‘#’）。如果这里不是特别清楚，可以自己拿出纸来画一画，自己体会体会。当然这里可能每个人写法不尽相同，不过我想大致思路应该是一样的吧。

好，我们继续。现在的关键问题就在于怎么在O（n）时间复杂度内求出P数组了。只要把这个P数组求出来，最长回文子串就可以直接扫一遍得出来了。

由于这个算法是线性从前往后扫的。那么当我们准备求P［i］的时候，i以前的P［j］我们是已经得到了的。我们用mx记在i之前的回文串中，延伸至最右端的位置+1处。同时用id这个变量记下取得这个最优mx时的id值。（注：为了防止字符比较的时候越界，我在这个加了‘#’的字符串之前还加了另一个特殊字符‘$’，故我的新串下标是从1开始的）

好，到这里，我们可以先贴一份代码了。

const int MAXN=100000+1000;
char S[MAXN*2];//改造后的串
char T[MAXN];//原始串
int p[MAXN*2];
void init()//改造原始串
{
    int i,j;
    S[0]='@',S[1]='#';
    for(int i=0,j=2;T[i];i++,j+=2)
    {
        S[j]=T[i];
        S[j+1]='#';
    }
    S[j]=0;
}
void manacher()
{
    int id,i,mx=0;//mx指的是那个id能触及的最大位置 +1 的地方
    for(int i=1;S[i];i++)
    {
        if(mx>i) p[i]=min(p[2*id-i] , mx-i);
        else p[i]=1;
        while(S[i-p[i]] == S[i+p[i]])
            p[i]++;
        if(i+p[i]>mx)
        {
            mx=i+p[i];
            id=i;
        }
    }
}

代码是不是很短啊，而且相当好写。很方便吧，还记得我上面说的这个算法避免了很多不必要的重复匹配吧。这是什么意思呢，其实这就是一句代码。

if( mx > i)

p[i]=MIN(p[2*id-i], mx-i);

就是当前面比较的最远长度mx>i的时候，P［i］有一个最小值。这个算法的核心思想就在这里，为什么P数组满足这样一个性质呢?

（下面的部分为图片形式）

看完这个算法，你有可能会觉得这种算法在哪会用到呢？其实回文串后缀数组也可以做。只是复杂度是O（n log n）的，而且一般情况下也不会刻意去卡一个log n的算法。

下面给出HDU3068最长回文串的代码：

#include <iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
#include<cmath>
using namespace std;
const int MAXN=110000+1000;
char S[MAXN*2];//构造的新串
char T[MAXN];//原始串
int n;
int ans;
int p[MAXN*2];
void init()
{
    int i,j;
    S[0]='@',S[1]='#';
    for(i=0,j=2;T[i];i++,j+=2)
    {
        S[j]=T[i];
        S[j+1]='#';
    }
    S[j]=0;
}
int manacher()
{
    int ans=0;
    int id,i,mx=0;
    for(int i=1;S[i];i++)
    {
        if(mx>i) p[i]=min(p[2*id-i] , mx-i);
        else p[i]=1;
        while(S[i-p[i]] == S[i+p[i]])
            p[i]++;
        if(i+p[i]>mx)
        {
            mx=i+p[i];
            id=i;
        }
        ans = max(ans,p[i]-1);
    }
    return ans;
}
int main()
{
    while(scanf("%s",T)==1)
    {
        init();
        printf("%d\n",manacher());
    }
    return 0;
}