题目:
Description
对于一个01字符串，如果将这个字符串0和1取反后，再将整个串反过来和原串一样，就称作“反对称”字符串。比如00001111和010101就是反对称的，1001就不是。
现在给出一个长度为N的01字符串，求它有多少个子串是反对称的。
Input
第一行一个正整数N (N <= 500,000)。第二行一个长度为N的01字符串。
Output
一个正整数，表示反对称子串的个数。
题解:
首先我们发现这种反对称字符长度一定是偶数
所以我们没有必要维护表示奇数长度串的回文自动机
所以我们在回文自动机上跳fail时,一旦跳转到节点1就不要再进行拓展.
但是题目中的反对称又何平时我们回文的要求不符.
但是我们发现,反对称实际上相当于定义了反转一个串后,对位一定都不相等.
所以我们在回文自动机上增量的时候,把判定条件略微修改即可
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
typedef long long ll;
inline void read(int &x){
x=0;char ch;bool flag = false;
while(ch=getchar(),ch<'!');if(ch == '-') ch = getchar(),flag = true;
while(x=10*x+ch-'0',ch=getchar(),ch>'!');if(flag) x=-x;
}
const int maxn = 500010;
struct Node{
int nx[2];
int len,fail,siz;
}T[maxn];
int nodecnt,last,s[maxn],len;
inline void init(){
T[last = nodecnt = 0].fail = 1;
T[++nodecnt].len = -1;
}
inline void insert(int c){
s[++len] = c;int cur,p,x;
for(p = last;p != 1 && (s[len-T[p].len-1] == s[len] || (len-T[p].len-1 == 0));p = T[p].fail);
if((s[len-T[p].len-1] == s[len] || (len-T[p].len-1 == 0))){last = 0;return;}
if(T[p].nx[c] == 0){
T[cur = ++ nodecnt].len = T[p].len + 2;
for(x = T[p].fail;x != 1 && (s[len-T[x].len-1] == s[len] || (len-T[p].len-1 == 0));x = T[x].fail);
if(s[len-T[x].len-1] == s[len]) T[cur].fail = 0;
else T[cur].fail = T[x].nx[c];
T[p].nx[c] = cur;
}T[last = T[p].nx[c]].siz ++ ;
}
int main(){
init();
int n;read(n);char ch;
for(int i=1;i<=n;++i){
while(ch=getchar(),ch<'!');
insert(ch - '0');
}
for(int i=nodecnt;i>=2;--i){
if(T[i].fail) T[T[i].fail].siz += T[i].siz;
}int ans = 0;
for(int i=2;i<=nodecnt;++i) ans += T[i].siz;
printf("%d
",ans);
getchar();getchar();
return 0;
}