Codeforces Round #512 E - Vasya and Good Sequences 思路+dp+暴力详解

题意：

给定一段长度最大为 3e5的序列，每个数的二进制位的1和0可以互换，即二进制1的个数相同的数可以互换，

问有多少个连续的子序列（子区间），在可以使用上述互换的条件下，能够达到区间异或和为0

思路：

有前面的互换我们可以知道，对于给定的每个a[i] 我们只需要考虑其二进制位有几个1就OK了；

可是我想的是这个连续自序列必须满足“可以划分成相等的两部分”，后来想到（正解）：

只要和为偶数①，并且最大的数小于区间和的一半②，那这个区间就对答案做出了贡献，例如：对于3，4，5这个区间（已转化为二进制位1的个数） 我们可以令其分别为111，111001和111110，这样就满足区间异或和为0了

既然上面的思路正确后，我们就要想怎么写了：

我们要记录的是区间和为偶数的区间，所以我们可以令

dp[i][0] 表示以i为结尾的区间中，和为偶数的区间的个数，

dp[i][1] 表示以i为结尾的区间中，和为偶奇数的区间的个数，因为对于每个数有奇偶两种情况，所以我们得记录奇数的情况，来把所有的偶数的情况求全

对于第i个数为偶数时，dp[i][0] 首先为 dp[i-1][0] 如果第i-1个数也是偶数的话，还要加上 [i-1,i]这个区间，dp[i][1] 首先加上dp[i-1][1],如果第i-1个数为奇数的话同样要加上[i-1,i]这个区间

同理可求第i个数为奇数的情况；

上述我们可以解决满足第一个条件的所有情况；

至于第二个条件，因为给定的数大于0，最大1e18，所以二进制数1个数不会超过60，所以区间长度大于等于120时，一定满足第二个条件，这样我们在加上满足第一个条件的所有情况的同时减去区间长度小于120的不满足第二个条件的情况数就OK了

复杂度 O(120*n);

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
const int maxn = 3e5 + 7;

int n;
ll a[maxn];

ll work(ll m) {
    ll res = 0;
    while(m) {
        if(m&1) res++;
        m >>= 1;
    }
    return res;
}

ll dp[maxn][2];
// dp[i][0] 到i结尾的连续子序列中，和为偶数的个数
// dp[i][1] 到i结尾的连续子序列中，和为奇数的个数

int main() {
    scanf("%d", &n);
    for(int i = 1; i <= n; ++i) {
        scanf("%lld", &a[i]);
        a[i] = work(a[i]);
    }
    dp[0][0] = 0; dp[0][1] = 0;
    dp[1][0] = 0; dp[1][1] = 0;
    for(int i = 2; i <= n; ++i) {
        if(a[i]&1) {
            dp[i][0] = dp[i-1][1] + (a[i-1]&1);
            dp[i][1] = dp[i-1][0] + !(a[i-1]&1);
        }
        else {
            dp[i][0] = dp[i-1][0] + !(a[i-1]&1);
            dp[i][1] = dp[i-1][1] + (a[i-1]&1);
        }
    }
    ll ans = 0;
    for(int i = 2; i <= n; ++i) {
        int l_ = max(1, i-119);
        ll max_ = a[i], cnt = 0, sum = a[i];
        for(int j = i-1; j >= l_; --j) {
            sum += a[j];
            max_ = max(max_, a[j]);
            if(sum&1) continue;
            if(max_ > sum / 2) cnt++;
        }
        ans += (dp[i][0] - cnt);
    }
    printf("%lld\n", ans);

    return 0;
}