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 500100using 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);}