题目描述:
题意:
给一个数组,求所有异或和为零的子序列的长度和。
题解:
前置知识:线性基
问题等价于:对于每一个数字,求有多少包含它的异或和为零的子序列。
先求出整个数组的线性基r,对于这r个基底之外的n-r个数字,它们可以和除了这r个基底之外的所有数字任意搭配,然后再用基底去抵消成0,所以这n-r个数字对答案的贡献是
(
n
−
r
)
∗
2
n
−
r
−
1
(n-r)*2^{n-r-1}
(n−r)∗2n−r−1。
然后再去考虑作为基底的数。对r中的一个数
r
i
r_i
ri,先把那n-r个数用线性基消元,然后再和r中除了
r
i
r_i
ri之外的数消元,得到了
r
i
r_i
ri之外所有数组成的线性基,大小为t,则如果
r
i
r_i
ri可以被这个线性基表示,那它对答案的贡献是
2
n
−
t
−
1
2^{n-t-1}
2n−t−1,如果不能被表示,则没有贡献。
ac代码:
#include<bits/stdc++.h>
#define ll long long
using namespace std;
const int maxn = 1e5 + 50;
const ll mod = 1e9 + 7;
struct Linebase
{
ll p[64];
int num;
void clear(){memset(p,0,sizeof p); num = 0;}
bool insert(ll x)
{
for(int i = 62; i >= 0; --i){
if(x>>i){
if(!p[i]) {
p[i] = x;
num++;
return true;
}
x ^= p[i];
}
}
return false;
}
bool check(ll x)
{
for(int i = 62; i >= 0; --i){
if(x>>i){
if(!p[i]) return false;
x ^= p[i];
}
}
return true;
}
}f1, f2;
int n;
ll a[maxn];
ll qm(ll a, ll b)
{
ll res = 1;
while(b){
if(b&1) res = res*a%mod;
a = a*a%mod;
b>>=1;
}return res;
}
int main()
{
while(~scanf("%d", &n)){
f1.clear(); f2.clear();
vector<ll> r; r.clear();
for(int i = 1; i <= n; ++i){
scanf("%lld", &a[i]);
if(f1.insert(a[i])) r.push_back(a[i]);
else f2.insert(a[i]);
}
if(n == f1.num){
printf("0\n");continue;
}
ll ans = (n - f1.num) * qm(2, n - f1.num - 1) % mod;
for(int i = 0; i < r.size(); ++i){
f1 = f2;
for(int j = 0; j < r.size(); ++j){
if(i == j) continue;
f1.insert(r[j]);
}
if(f1.check(r[i])) ans = (ans + qm(2, n - 1 - f1.num))%mod;
}
printf("%lld\n",ans);
}
}