CS Hard Xor Closure 异或,消元

题意:给出集合a,设集合a合法当a[i]^a[j]=x x也属于集合a .问最少需要添加多少个数 使得集合a变为合法?
n<=1e5,a[i]<=1e18. 

首先一个简单的性质.
取向量组中的两个向量a,b,把a,b中的某一个替换成a xor b,.替换前后向量组中的向量的线性组合得到的空间相同。
通俗的说就是 替换前后 能异或出来的值一样。

a中任意两个数异或的结果都属于a  等价于 a中任意子集异或的结果仍然属于a
现在求集合a的任意子集能异或到值域.

将n个数用二进制表示 写成n*64的矩阵  容易高斯消元得到阶梯矩阵 则对角线上的为1的位都可以任意异或出来.

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
const int N=1e5+5;
ll n,a[N];
int main()
{
    cin>>n;
    for(int i=1;i<=n;i++)
        cin>>a[i];
    ll cnt=0;
    for(ll bit=61;bit>=0;bit--)
    {
        ll x=-1;
        for(int i=1;i<=n;i++)
        {
            if((a[i]>>bit)&1)
            {
                x=a[i];
                break;
            }
        }
        if(x==-1)
            continue;
        for(int i=1;i<=n;i++)//Gaussian Elimination
        {
            if((a[i]>>bit)&1)
                a[i]^=x;
        }
        cnt++;
    }
    ll ans=1ll<<cnt;
    ans-=n;
    cout<<ans<<endl;
    return 0;
}