并查集 + manacher
看到回文串很容易想到了马拉车
首先发现双倍回文既然是4得倍数,那么其中心一定是添加得符号。
同样,他的一半得中心也一样是添加得符号。
考虑枚举双倍回文中心。
先处理出他的回文串长度,因为其左右对称,那么只用考虑他的左边最长回文串长度。
很容易知道只要满足p[j] >= i - j 即可保证左边就可以满足j为双倍回文中四分之一的点。
并且因为双倍回文中心是不断递增,那么一个j不满足以后一定以后都不满足。
那么用并查集维护一下这个信息即可...
c++代码如下:
#include<bits/stdc++.h>
#define rep(i,x,y) for(register int i = x ;i <= y;++i)
using namespace std;
typedef long long ll;
const int N = 1e6+500;
int ans,id,len,q[N],p[N];
char s[N],c[N];
int get_fa(int x) { return q[x] == x ? x : q[x] = get_fa(q[x]); }
int main()
{
scanf("%d",&len);
scanf("%s",c);
rep(i,0,len)
s[i<<1|1] = '#',
s[(i<<1|1)+1] = c[i];
s[0] = '*'; s[(len+1)<<1|1] = '#';
len <<= 1;
rep(i,1,len)
{
if(p[id] + id > i) p[i] = min(p[2*id - i],p[id] + id - i);
else p[i] = 1;
while(s[p[i] + i] == s[i - p[i]]) p[i]++;
if(p[i] + i > p[id] + id) id = i;
if(s[i] == '#') q[i] = i;
else q[i] = i + 1;
if(s[i] == '#')
{
int j = get_fa(i - p[i]/2);
while(j < i && p[j] < i - j) q[j] = j + 1,j = get_fa(j);
ans = max(ans,(i - j) * 2);
}
}
cout << ans << endl;
return 0;
}