地址:http://codeforces.com/contest/1054/problem/D
下面解释转载于:http://www.cnblogs.com/CQBZOIer-zyy/p/9816004.html
为了叙述方便,记MAX=(1<<k)-1,即二进制下k位全是1的数。
为了符号表示不产生歧义,以下使用^表示异或(上面的题目描述中指的是次方)。
这里要用到异或运算的一个很重要的性质,即x^x=0。
根据定义,x ^ x’=MAX,从而x’=x ^ x ^ x’=x ^ MAX。
先不考虑a[1],…,a[n]的变化。维护前缀异或和s[i],于是a[i]…a[j]=s[j]^s[i-1]。那么,a[i] ^ … ^ a[j]==0当且仅当s[j]==s[i-1]。为了让连续子段异或和为0尽量少,就是要让s[i]尽量不同。
再看改变某个a[i]会带来的影响。将某个a[i]变为a[i] ^ MAX,那么包含a[i]的前缀异或和s[j]都要变为s[j] ^ MAX,即s[j]变为s[j] ^ MAX对所有j>=i。这个时候发现,如果再改变a[i+1],则s[k]又都变回去了对所有k>=i+1。这说明可以通过改变某些a[i]实现将某一个s[j]变为s[j]^MAX。。。
就是用总的种类数把相同的前缀异或和减去,每次判断是取s[j] 还是 s[j] ^ MAX,如果前面与s[j]相同的,和前面与s[j] ^ MAX相同的,选择较小的。。。。
#include<bits/stdc++.h>
using namespace std;
typedef long long LL;
const int inf = 0x3f3f3f3f;
#define pb push_back
#define mp make_pair
#define fi first
#define se second
map<LL,LL>mk;
int main()
{
int n,k;
cin >> n >> k;
LL MAX = (1 << k) - 1;
//产生的总对数
LL ans = (n + 1LL) * n / 2LL;
LL pre = 0;
mk[0] = 1;
for(int i = 1;i <= n;++i){
LL x;
cin >> x;
LL A = pre ^ x;
LL B = A ^ MAX;
if(mk[A] <= mk[B]){
ans -= mk[A];
pre = A;
mk[A]++;
}else{
ans -= mk[B];
pre = B;
mk[B]++;
}
}
printf("%lld\n",ans);
return 0;
}