SPOJ_STC02:Antisymmetry(Manacher)

题目大意是给你一个长度为n的01串,问其中有多少个"反对称串",其中一个01串成为"反对称串",当前仅当将它前后倒置再01互换后的字符串等于它本身,例如0101,000111,10是反对称串,而111,110,1011就不是反对称串.

这题可以套用稍稍更改cmp规则的Manacher算法,其中规则更改为沿某两个字符中间位置,左右相应对称位置的字符0=1,0≠0,1≠1,#=#.

然后关于这题,由于楼主的奇怪のmanacher写法,而需要单独处理以排除0或1为中心的串对于答案的影响(正常写法的同学大概可以无视掉这句话.

#include<iostream>
#include<stdio.h>
#include<string.h>
#include<stdlib.h>
using namespace std;
#define ll long long
const int N=500008;
int n,len,f[N*2];
char a[N*2],str[N];
int minx(int x,int y){if(x<y)y=x;return y;}
int pan(int x,int y){return ((a[x]=='0'&&a[y]=='1')||(a[x]=='1'&&a[y]=='0')||(a[x]=='#'&&a[y]=='#'));}
int main(void)
{
	int i,m,id;ll ans=0;
	scanf("%d%s",&n,str+1);
	a[len=0]=0;a[++len]='#';
	for(i=1;str[i];i++){a[++len]=str[i];a[++len]='#';}
	m=0;
	for(i=1;i<=len;i++)
	{
		if(m>=i)f[i]=minx(f[2*id-i],m-i+1);else f[i]=1;
		while(i-f[i]>=1&&i+f[i]<=len&&pan(i+f[i],i-f[i]))f[i]++;
		if(a[i]=='#'&&i>1&&i<len){ans+=f[i]/2;if(i+f[i]-1>m){m=i+f[i]-1;id=i;}}
	}
	printf("%lld",ans);
	return 0;
}