题目链接: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;
}