线性基其实和向量关系很近。只是他们都是单位向量
然后重复的01组判断方式类似高斯消元判无消方程的情况
由于出现无解方程类似于一个环,所以这个线性无关组就类似一棵树,所以就可以用类似kruskal的方法求最大线性无关组
相当于带权最大生成树
码:
#include<iostream>
#include<cstdio>
#include<algorithm>
#define ll long long
using namespace std;
struct P
{
ll id,v;
}a[100005];
bool cmp(P a,P b)
{
return a.v>b.v;
}
ll n,i,er[70],j,p,ans,b[70];
int main()
{
scanf("%lld",&n);
for(i=1;i<=n;i++)
{
scanf("%lld%lld",&a[i].id,&a[i].v);
}
er[0]=1;
for(i=1;i<=62;i++)
er[i]=er[i-1]*2;
sort(a+1,a+1+n,cmp);
for(i=1;i<=n;i++)
{
p=62;
while((er[p]&a[i].id)==0&&p>=0)p--;
for(j=62;j>=0;j--)
{
if(b[j]==0||j>p)continue;
a[i].id^=b[j];//消位
while((er[p]&a[i].id)==0&&p>=0)p--;//当前最高位
}
if(p==-1)continue;
for(j=0;j<=62;j++)
{
if(b[j]&er[p])b[j]^=a[i].id;
}
b[p]=a[i].id;
ans+=a[i].v;
}
printf("%lld",ans);
}