2019牛客暑期多校训练营（第一场） H XOR（线性基模板+组合数学）

链接：https://ac.nowcoder.com/acm/contest/881/H

题意：多组输入。给你一个n，再给出n个数。求所有异或和为0的子集的大小和%(1e9+7)。

思路：看到异或和，差不多就要往线性基上想。如果一些数异或和为0，肯定是线性基里的一些数和线性基外的一些数异或得到的，因为线性基外的数都能由线性基里的数异或得到。俩个数相同，异或起来不就是0了吗。假设有一个线性基，大小为m。

1.线性基外的数的贡献：剩下(n-m)个数在线性基外。对于每一个线性基外的数，它可以和剩下的(n-m-1)的数任意组合，这种组合有,所以总共有的贡献。

2.线性基内的数的贡献：由线性基的性质可知，不同线性基的大小是一定的，也就是说个数一定。对于一个线性基内的数，假设有一个不包含他的线性基（由除他外的n-1数组成）能把他表示出来，那么它也就相当于是另一个线性基外的数，他的贡献也是。

具体实现请看代码注释。

#include <bits/stdc++.h>
#define ll long long
using namespace std;
const int N = 1e5+10;
const ll mod = 1e9+7;
struct LB//线性基结构体 
{
	ll b[65],cnt;
	void init()
	{
		cnt=0;
		for(int i=0;i<=60;i++)
			b[i]=0;
	}
	bool insert(ll x)
	{
		for(int i=60;i>=0;i--)
		{
			if(x>>i)
			{
				if(!b[i]) 
				{
					b[i]=x;
					cnt++;
					break;
				}
				x^=b[i];
			}
		}
		return x>0;
	}		
}lb,lb1,lb2;
vector<ll> v;//储存在当前线性基里的元素 
ll pow2[N],ans,n,m,x;
void Init()
{
	ans=0;
	lb.init();
	lb1.init();
	v.clear();
	return ;
}
int main(void)
{
	//预处理 
	pow2[0]=1;
	for(int i=1;i<=N-10;i++)
		pow2[i]=(pow2[i-1]*2)%mod;
		
	while(~scanf("%lld",&n))
	{
		Init();
		for(int i=1;i<=n;i++)
		{
			scanf("%lld",&x);
			if(lb.insert(x))//能插入当前线性基则记下 
				v.push_back(x);
			else//否则,尝试插入由(n-m)个数组成的线性基 
				lb1.insert(x);
		}
		m=lb.cnt;
		if(m==n)
		{
			printf("0\n");
			continue;
		}
		//线性基外的数的总贡献 
		ans=((n-m)*pow2[n-m-1])%mod;
		//线性基内部的数的贡献 
		
		//枚举每个线性基内的数 
		for(int i=0;i<m;i++)
		{
			lb2=lb1;//先把剩余(n-m)个数组成的线性基copy一下 
			for(int j=0;j<m;j++)
			{
				if(i==j) continue;
				lb2.insert(v[j]);//生成除了v[i]之外的线性基 
			}
			 
			if(!lb2.insert(v[i]))//如果v[i]能被线性基组成，他就属于线性基外的数 
				ans=(ans+pow2[n-m-1])%mod;			
		}
		
		printf("%lld\n",ans);
	}
	return 0; 
	
}