manacher......
先跑一边manacher是必须的
然后枚举双倍回文串的对称轴x
把这个双倍回文串分成4段,w wR w wR
发现,只有当 y <= x + p[x] / 2 && y - p[y] <= x 时,y最大才是最优解
也就是y在第三段,并且以y为中心的回文串要扩展到x的或左边,并且y的回文串要被x的包在里面
那么 (y-x) * 4 中最大的就是答案
我们不妨按照 y - p[y] 排序y,枚举x,依次添加y进入set,从set中找最大的 y <= x + p[x] / 2
边界讨论恶心至极
#include <set>
#include <cstdio>
#include <algorithm>
#define min(x, y) ((x) < (y) ? (x) : (y))
#define max(x, y) ((x) > (y) ? (x) : (y))
#define N 1100000
int n, pos, maxright, ans;
int p[N], f[N];
char s[N];
std::set <int> S;
std::set <int> :: iterator it;
struct node
{
int id, p;
}a[N];
inline bool cmp(node x, node y)
{
return x.p < y.p;
}
inline void manacher()
{
int i;
s[0] = '$', s[n * 2 + 1] = '#';
for(i = n; i >= 1; i--) s[i * 2] = s[i], s[i * 2 - 1] = '#';
for(i = 1; i <= n * 2 + 1; i++)
{
p[i] = 1;
if(i <= maxright)
p[i] = min(p[pos * 2 - i], maxright - i + 1);
while(s[i - p[i]] == s[i + p[i]]) p[i]++;
if(maxright < i + p[i] - 1)
{
pos = i;
maxright = i + p[i] - 1;
}
}
for(i = 1; i <= n; i++) f[i] = (p[i * 2 - 1] - 1) / 2;
}
int main()
{
int i, j;
scanf("%d", &n);
scanf("%s", s + 1);
manacher();
for(i = 1; i <= n; i++) a[i].id = i, a[i].p = i - f[i];
std::sort(a + 1, a + n + 1, cmp);
j = 1;
for(i = 1; i <= n; i++)
{
while(a[j].p <= i && j <= n)
S.insert(a[j].id), j++;
it = S.upper_bound(i + f[i] / 2);
if(it == S.begin()) continue;
it--;
ans = max(ans, (*it - i) * 4);
}
printf("%d\n", ans);
return 0;
}