bzoj 2342-manacher板子理解O(n)

题意：给一个5e5的字符串，求最长满足双回文的子串的长度。双回文的定义为：一个字符串长度为4，回文，且前半段和后半段单独为回文串。
思路：若已知条件的回文边界超过覆盖了新统计点，且该点的回文半径可以达到上一次的点，那么统计一次答案。
代码：

#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define forn(i,n) for(int i=0;i<n;i++)
#define for1(i,n) for(int i=1;i<=n;i++)
#define IO ios::sync_with_stdio(false);cin.tie(0);cout.tie(0)
const int maxn = 5e5+5;

char ma[maxn<<1];int mp[maxn<<1],ans;

void manacher(string s,int len){
    int p = 0,r = 0,mid = 0;
    ma[p++] = '$',ma[p++] = '#';
    forn(i,len) ma[p++] = s[i],ma[p++] = '#';
    for(int i = 1;i<p;i+=2){
        mp[i] = r>i?min(mp[(mid<<1)-i],r-i):1;
        if(mp[i]>=i-mid+1) ans = max(ans,(i-mid)<<1);
        while(ma[i+mp[i]]==ma[i-mp[i]])mp[i]++;
        if(i+mp[i]>r) r = i+mp[i],mid = i;
    }
}

int main(){
    IO;
    int n;cin>>n;
    string s;cin>>s;
    int len = s.size();
    manacher(s,len);
    // forn(i,(len+1)<<1) cerr<<ma[i];
    // cerr<<'\n';
    // forn(i,(len+1)<<1) cerr<<mp[i]<<' ';
    // cerr<<'\n';
    cout << ans<<'\n';
    return 0;
}