双倍回文：回文子串结论的经典应用。
结论
先放本题最关键的结论：一个字符串本质不同的回文子串最多只有 \(n\) 个。
考虑如何证明：
假设我们一个一个地在当前字符串（黑色部分）的结尾加入字符（红色部分），那么会出现如下情况：
显然，加入红色字符后，字符串中最多只可能新出现一个本质不同的回文子串。如果这个本质不同的回文子串存在，则这个回文子串就是当前最长的回文子串（深蓝色部分）。
为啥呢，因为假设存在一个更短的回文子串（浅蓝色部分），我们称这个浅蓝色的短回文子串为 \(s\)，深蓝色的最长回文子串为 \(t\)，则 \(t\) 中一定包含了 \(s\)。而根据回文串的性质，\(s\) 正着读反着读都相同，因此深蓝色的回文串 \(t\) 另一边一定存在另一个 \(s\)，且那个 \(s\) 的结尾比当前 \(s\) 的结尾靠前（这两个 \(s\) 在图中用浅蓝色划出来了）。因此它已经被计入本质不同的回文子串中了。
思路
有了这个结论，剩下的就简单了，我们只需要对每个本质不同的回文串判断一下就可以了。
用 manacher 来实现，在每次扩展盒子右端点时统计新拓展部分的回文子串，注意特判细节即可。
因为右端点最多只会拓展 \(n\) 次，所以时间复杂度 \(O(n)\)。
代码
#include <bits/stdc++.h>
#define fi first
#define se second
#define lc (p<<1)
#define rc ((p<<1)|1)
#define eb(x) emplace_back(x)
#define pb(x) push_back(x)
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef long double ldb;
using pi=pair<int,int>;
int m,n,ans=0,d[1000005];
char a[500005],s[1000005];
void init()
{n=0;s[0]='$';s[++n]='#';for(int i=1;i<=m;i++)s[++n]=a[i],s[++n]='#';s[n+1]='&';
}
void manacher()
{d[1]=1;for(int i=2,l=0,r=0;i<=n;i++){if(i<=r)d[i]=min(r-i+1,d[l+r-i]);while(s[i-d[i]]==s[i+d[i]])d[i]++;if(i+d[i]-1>r){if(s[i]=='#'){for(int j=r+1;j<=i+d[i]-1;j++){if(s[j]=='#')continue;int dxx=(j-i+1)/2,c=i-dxx;if(d[c]/2>=dxx/2&&s[c]=='#'&&dxx>=1&&dxx*2%4==0)ans=max(ans,dxx*2);} }l=i-d[i]+1,r=i+d[i]-1;}}
}
int main()
{//freopen("sample.in","r",stdin);//freopen("sample.out","w",stdout);ios::sync_with_stdio(0);cin.tie(0);cout.tie(0);cin>>m>>a+1;init();manacher();cout<<ans;return 0;
}
