BZOJ 2084 [Poi2010]Antisymmetry Manacher

题意:
如果一个01串的0与1取反后形成的01串反转过来仍然是原串的话，称该串是反对称的。
给定一个长度不超过500000的01串，求出其拥有多少个子串是反对称的。
解析:
乍一看manacher回文串？
然后怎么搞呢？
原来的manacher是匹配相等的，现在我们要匹配相加==1的。
但是==1的话，原来的manacher中间插入的字符就无法赋值了。
所以我们不妨这样看。
我们不妨把相等条件看作相加等于2(随便取个非0偶数吧。。)
然后把原串中的0看作0，原串中的1看作2。
在manacher里我们插入的字符视作1。
然后直接manacher就好辣。
最后扫一遍回文半径数组就行了。
代码:

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
#define N 500100
using namespace std;
typedef long long ll;
int n;
char s[N];
ll s1[N<<1];
ll p[N<<1];
void manacher()
{
    int len=strlen(s);
    s1[0]=876,s1[1]=1;
    for(int i=1;i<=n;i++)s1[i<<1]=s[i-1]=='1'?2:0,s1[i<<1|1]=1;
    n<<=1,n++;
    ll id,mx=0;
    for(int i=1;i<n;i+=2)
    {
        if(mx>i)p[i]=min(p[id*2-i],mx-i);
        else p[i]=1;
        while(s1[i-p[i]]+s1[i+p[i]]==2&&i-p[i]>0&&i+p[i]<n)p[i]++;
        if(i+p[i]>mx)mx=i+p[i],id=i;
    }
}
int main()
{
    scanf("%d",&n);
    scanf("%s",s);
    manacher();
    ll ans=0;
    for(int i=1;i<n;i+=2)ans+=(p[i]>>1);
    printf("%lld\n",ans);
}