Manacher [模板]

最新推荐文章于 2021-08-31 14:59:38 发布

Zbr162

最新推荐文章于 2021-08-31 14:59:38 发布

阅读量139

点赞数

分类专栏：字符串-Manacher

本文链接：https://blog.csdn.net/Zbr162/article/details/97961512

版权

字符串-Manacher 专栏收录该内容

2 篇文章 0 订阅

订阅专栏

文章目录

$M a n a c h e r 的作用$

可以快速得到有关 回文子串 的相关信息 . 板子题

$M a n a c h e r 的内容$

本质上就是对暴力的优化和现有信息的利用 .

暴力寻找回文子串, 无非就是枚举对称轴, 往两边扩展, 时间复杂度 $O(N^2)$ .

而 $m a n a c h e r$ 则是在暴力的基础上, 利用了前面已经求出的回文子串信息,

$具体地说 :$

设变量 $Max\_r$ 表示当前回文串所能触及的 最右端点, $m i d$ 表示那个触及 $Max\_r$ 的回文串的中点,
且当前到了 $i$ 位置, 要以 $i$ 为对称轴扩展出所有连续回文子串, $j$ 为 $i$ 关于 $m i d$ 的 对称点,
$h w [i]$ 表示 $i$ 位置的最长回文串 长度的一半 .

若 $i$ 在 $Max\_r$ 代表的回文串内, 则 $j$ 为对称轴的回文串 在 $Max\_r$ 的 “领地” 里的回文长度可以完全继承给 $i$ 位置 .
否则只能暴力扩张 $i$ 位置 .

因为 $Max\_r$ 只扩展到 $N$ , 所以 $时间复杂度\ O(N)$ .

$M a n a c h e r 的实现$

很多情况对称轴为间隙也要考虑, 此时可以在字符之间插入 特殊字符 后正常跑 $M a n a c h e r$ .
具体可以看代码 .

#include<bits/stdc++.h>

const int maxn = 21000005;

int Ans;
int hw[maxn<<1];

void Manacher(char *s){
        int max_r = 0, mid = 0;
        int len = strlen(s+1);
        for(int i = 1; i <= len; i ++){
                if(i < max_r) hw[i] = std::min(hw[(mid<<1) - i], max_r-i+1);
                while(i + hw[i] <= len && i - hw[i] >= 1 && s[i + hw[i]] == s[i - hw[i]]) hw[i] ++;
                if(i + hw[i] - 1 > max_r) max_r = i + hw[i] - 1, mid = i;
                Ans = std::max(Ans, hw[i]-1);
        }
}

char s[maxn], s1[maxn<<1];

int main(){
        scanf("%s", s + 1);
        int len = strlen(s+1);
        for(int i = 1; i <= len<<1; i ++){
                if(i & 1) s1[i] = '#';
                else s1[i] = s[i>>1];
        }
        s1[(len<<1)+1] = '#';
        Manacher(s1);
        printf("%d\n", Ans);
        return 0;
}