题目描述

对于一个 \(0/1\) 字符串，如果将这个字符串 \(0\) 和 \(1\) 取反后，再将整个串反过来和原串一样，就称作「反对称」字符串。比如 \(00001111\) 和 \(010101\) 就是反对称的，而 \(1001\) 就不是。
现在给出一个长度为 \(n\) 的 \(0/1\) 字符串，求它有多少个子串是反对称的，注意这里相同的子串出现在不同的位置会被重复计算。

输入格式

第一行一个正整数 \(n\) 。
第二行一个长度为 \(n\) 的 \(0/1\) 字符串。

输出格式

一行一个整数，表示原串的反对称子串个数。

样例

样例输入

8
11001011

样例输出

7

数据范围与提示

对于 \(100\%\) 的数据， \(1\le n\le 500\ 000\) 。

Translated by vincent163

题解

马拉车也是可以做的而且复杂度更优。
我还是菜啊没有看出来单调性，这个取反翻转操作是单调的，你一个大的串如果是反对称串，中间的任何一个也肯定是。因为翻转的位置并没有变...
那么枚举起点，二分子串长度判断即可。
因为取反后翻转这个操作，所以不可能有奇数串符合条件（奇数串取反后翻转了一定不相等），所以判断也很好写
然后比较坑的就是答案要用longlong存，我因为这个爆了好几发，一开始还以为是进制数选的不好。
复杂度\(O(nlogn)\)

#include <bits/stdc++.h>
using namespace std;
typedef unsigned long long ull;
typedef long long ll;
const int N = 500010;
const ull base = 13131;

ull h1[N], h2[N], p[N];
int n;
ll ans = 0;
char s[N];

ull get_h1(int l, int r) { return h1[r] - h1[l - 1] * p[r - l + 1]; }
ull get_h2(int l, int r) { return h2[l] - h2[r + 1] * p[r - l + 1]; }

int check(int x) {
    int l = 1, r = min(x, n - x);
    while(l <= r) {
        int mid = (l + r) >> 1;
        if(get_h1(x - mid + 1, x) == get_h2(x + 1, x + mid)) l = mid + 1;
        else r = mid - 1;
    }
    return r;
}

int main() {
    scanf("%d%s", &n, s + 1); p[0] = 1;
    for(int i = 1; i <= n; ++i) p[i] = p[i - 1] * base, h1[i] = h1[i - 1] * base + (ull)s[i];
    for(int i = n; i; --i) h2[i] = h2[i + 1] * base + (ull)(s[i] == '0' ? s[i] + 1 : s[i] - 1);
    for(int i = 1; i < n; ++i) ans += check(i);
    printf("%lld\n", ans);
}