牛客多校2019第一场H题881H XOR

题目链接
题目大意：
给出一组数，问这组数中异或和为0的不同序列的长度总和是多少，答案对1e9+7取模。

题目思路：
2019暑假多校第一场的H题，是一道异或相关的经典好题。首先考虑对长度直接求和显然比较困难，那么我们可以换一个思路，转变为求解每一个元素对于答案的贡献。即：求解每一个元素在几个满足题意的序列中出现过，出现的次数就是这个元素对于总答案的贡献。
我们容易想到线性基，当我们求出这组数的一组线性基，假设这个线性基的秩是m，那么对于剩下的n-m个数字，当我们选择剩下的n-m个数字和这组线性基的m个数字时异或结果一定为0，我们必选这n-m个数字中的一个和这组线性基的构成元素时，剩下n-m-1个数字都有两种选择方案，选或是不选。因此对于这n-m个元素，每个元素的贡献都为2的n-m-1次方，因此它们的总贡献为（n-m）乘以2的（n-m-1）次方。

不在这组线性基里面的n-m个数字的贡献算出来了，那么对于线性基里面的这m个数字如何计算它们的贡献呢？

如果这m个元素中的某一个元素能被剩下的n-1个元素表示出来，那么一定存在一组不包括这个元素的大小为m的线性基。那么这时候这个元素对于答案的贡献也是2的n-m-1次方。
如果这个元素不能被剩下的n-1个元素表示出来，那么它的贡献是0。

求解m中的元素能否被剩下的n-1个元素表示出来，可以先将不在线性基中的n-m个元素求出一个线性基B，然后枚举这m个元素组成的线性基A中的每一个元素，枚举出的元素不加入到线性基CC中，即：先将B中元素插入到线性基CC中，再把除了枚举出的元素之外的A中元素都插入到CC中，此时的CC就可以代表除了被枚举元素外的所有元素的线性基。最后试着插入被枚举元素，如果插入成功，说明它不能被剩下n-1个元素异或出来，如果插入失败，说明它可以被剩下的n-1个元素异或出来。（这一部分枚举的复杂度其实很小，因为线性基数组大小最大也就60）

AC代码：

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int maxn=1e5+50;
const int mod=1e9+7;
int t,n,m;
ll arr[maxn];
ll A[61],B[61],CC[61];
int add(ll *Z,ll x)
{
	for(ll i=60;i>=0;i--)
	{
		if((x>>i)&1ll)
		{
			if(!Z[i])
			{
				Z[i]=x;return 1;
			}
			else x=x^Z[i];
		}
	}
	return 0;
}
ll qk(ll a,ll b,ll p)
{
	ll ans=1;
	while(b)
	{
	//	cout<<b<<"=="<<endl;
		if(b&1) ans=(ans*a)%p;
		a=(a*a)%p;
		b=b>>1;
	}
	return ans;
}
vector<ll> vv; 
int vis[maxn];
int main()
{
	while(scanf("%d",&n)!=EOF)
	{
		for(int i=1;i<=n;i++)
		scanf("%lld",&arr[i]);
		vv.clear();
		memset(A,0,sizeof(A));
		memset(B,0,sizeof(B));
		memset(CC,0,sizeof(CC));
		ll z=0;
		ll fin=0;ll na,nb;na=nb=0;
		for(int i=1;i<=n;i++)
		{
			int zz=add(A,arr[i]);
			if(zz)
			{
				na++;vis[i]=1;vv.push_back(arr[i]);
			}
			else
			{
				vis[i]=0;
				z++;
			}
		}
		fin+=(z*qk(2,z-1,mod))%mod;
		for(int i=1;i<=n;i++)
		{
			if(vis[i]==0)
			{
				int zz=add(B,arr[i]);
				if(zz) nb++;
			}
		}
		ll nn=0;
		for(int i=0;i<vv.size();i++)
		{
			memset(CC,0,sizeof(CC));
			for(int j=60;j>=0;j--)
			{
				CC[j]=B[j];
			}
			for(int j=0;j<vv.size();j++)
			{
				if(j!=i)
				{
					int zz=add(CC,vv[j]);
				}
			}
			 
			int zz=add(CC,vv[i]);
			if(zz==0) nn++;
		}
		fin+=(nn*qk(2,z-1,mod))%mod;
		fin=fin%mod;
		printf("%lld\n",fin);
	}
	return 0;
}