Codeforces Round #539 (Div. 2) Sasha and a Bit of Relax 【DP】

题目链接：http://codeforces.com/contest/1113/problem/C

这道题的难点不在DP而在等式。

这个等式我当时有想到，但是给我自己给推掉了。

题目要求的是   a(l) ^ a(l+1)^.... == a(mid+1)^...^a(r) 这种情况的个数有多少。

这个等式要结合异或 xor的运算法则才能做。

首先是   A^B^C^D == A^B^(C^D)。通过这个法则我们能肯定  当 a(l) ^ a(l+1)^.... == a(mid+1)^...^a(r) 时

a(l)^a(l+1)^....^a(mid)^...^a(r) == 0 是成立的。

当时做题的时候，觉得反过来是不成立的，因为万一相等的两个部分不是对半分的呢，比如说 1-6, 1-4 == 5-6，那么 1-6的异或也是等于0的。

但事实上是成立的，为什么？

这里需要借助另一个法则,   A^B = C;  C^B = A。这个法则非常关键，两个等式可以写成这样  A^B = C，A = C^B，也就是说，B不管移到哪一边，都是不影响等式的结果的。

假设我有 6个数， ABCDEF，且  A^B^C^D == E^F。根据上面的运算法则，把D移到右边，等式也是成立的。由此可见，只要异或和等于0，那么在【L, R】这个区间任意位置切一刀，两边的异或和都是相等的。

通过上面证明，我们可以把问题转化一下，变成异或和等于0的个数有几个。

如果 [L, R] 的异或和为0，那么  [1, L-1] ^ [L, R]  = [1, R] ，因为 A^0 == A，所以当存在  [1, R] == [1, L-1] 时，就能找到一个符合题意的答案个数。所以我们只要从1开始不断的异或和，每一次异或的结果记录下来，当以后再遇到这个异或结果就等于找到了一个答案。这样O(n)就能求出结果。

另外要注意的是，存储异或结果要分奇偶。因为当 [1, R] 区间长度是偶数，[1, L-1] 长度一定要是偶数才能保证 [L, R]的区间长度是偶数，奇数也是同样的道理。

#include <iostream>
#include <queue>
#include <cstring>
#include <string>
#include <map>
#include <cstdio>
#include <cmath>
#include <algorithm>
#include <vector>

using namespace std;

const int INF = 0x3f3f3f3f;
const int Maxn = 3e5+10;
const int Mod = 1e9+7;

int num[Maxn], dp[2][1<<20];

int main(void)
{
    int N;
    cin >> N;
    for(int i = 1; i <= N; ++i) cin >> num[i];
    long long ans = 0;
    memset(dp, 0, sizeof(dp));
    int cur = 0;
    dp[0][0] = 1; // 如果 1-x 的异或是0的时候，就取dp[0][0]的值
    for(int i = 1; i <= N; ++i) {
        cur ^= num[i];
        ans += dp[i&1][cur];
        dp[i&1][cur]++;
    }
    cout << ans << endl;
	return 0;
}