题目链接:https://ac.nowcoder.com/acm/contest/881/H
复习线性基复习了好久。。。
这题的关键是把异或为0的集合的大小之和转化为一个数字会在多少个异或为0的集合中出现,然后每个数字的这个值加起来就行。
先求一个线性基,其中插入了r个数字,那么剩下的n-r个数字的任意组合异或都可以由线性基中的一些数异或表示,那么它们异或起来就为0.
考虑线性基外的一个数字,我先钦定一个数字njr[i],然后看他会在多少个异或为0的集合中出现,就是它的贡献,显然,剩下n-r-1个数字的任意组合再加上它的异或都是0,那么贡献就是2^{n-r-1}
那么线性基外的所有数字的贡献就是 (n-r)*2^{n-r-1}
再考虑线性基里面的数字r[i]的贡献,如果他能被剩下的n-1个数字表示,那么它就是有贡献。
那么我们对剩下的n-1个数字求一个线性基,尝试把r[i]插入,如果插入不成功的话,那么这个数字就可以由剩下的n-1个数字表示
由线性基的性质我们知道,一个序列可以有多个线性基,他们能表示的结果是相同的,线性基中数字的个数也是相同的,他们其实是等价的。
(线性基若干性质及证明https://blog.csdn.net/a_forever_dream/article/details/83654397)
所以r[i]如果可以由剩下n-1个数字表示,贡献也为2^{n-r-1}。
在实际实现的时候,对于每个r[i],我们不用每次都求一遍n-1个数字的线性基,而是先求出n-r个原线性基b1外的数字的线性基b2,再把r[1-rcnt]中除了r[i]的数字加进去得到b3,再判断r[i]是否能插入b3,判断下一个数字r[i+1]的时候,再b3还原到b2。
#include<bits/stdc++.h>
#define maxl 100010
using namespace std;
const int mod=1e9+7;
int n,rcnt,njrcnt;
long long ans;
long long a[maxl],r[maxl],njr[maxl];
struct LB
{
int cnt;bool flag;
long long p[65],d[65];
inline void init()
{
cnt=0;flag=false;
memset(p,0,sizeof(p));
memset(d,0,sizeof(d));
}
inline bool insert(long long x)
{
for(int i=62;i>=0;i--)
if(x&(1ll<<i))
{
if(!p[i])
{
p[i]=x;
break;
}
x^=p[i];
}
return x>0;
}
inline void rebuild()
{
for(int i=62;i>=0;i--)
if(p[i])
for(int j=i-1;j>=0;j--)
if(p[i]&(1ll<<j))
p[i]^=p[j];
for(int i=0;i<=62;i++)
if(p[i])
d[cnt++]=p[i];
flag=(cnt!=n);
}
}b1,b2,b3;
inline void prework()
{
for(int i=1;i<=n;i++)
scanf("%lld",&a[i]);
rcnt=0;njrcnt=0;
b1.init();b2.init();b3.init();
for(int i=1;i<=n;i++)
if(b1.insert(a[i]))
r[++rcnt]=a[i];
else
njr[++njrcnt]=a[i];
}
inline long long qp(int a,int b)
{
long long ans=1,cnt=a;
while(b)
{
if(b&1)
ans=ans*cnt%mod;
cnt=cnt*cnt%mod;
b>>=1;
}
return ans;
}
inline void mainwork()
{
if(njrcnt==0)
{
ans=0;
return;
}
long long tmp=qp(2,njrcnt-1);
ans=1ll*njrcnt*tmp%mod;
for(int i=1;i<=njrcnt;i++)
b2.insert(njr[i]);
for(int i=1;i<=rcnt;i++)
{
b3=b2;
for(int j=1;j<=rcnt;j++)
if(j!=i)
b3.insert(r[j]);
if(!b3.insert(r[i]))
ans=(ans+tmp)%mod;
}
}
inline void print()
{
printf("%lld\n",ans);
}
int main()
{
while(~scanf("%d",&n))
{
prework();
mainwork();
print();
}
return 0;
}