首先线性基的性质,当向量个数和总的个数相等的时候,不会出现0向量。也就是化成对角矩阵后,对角线上有元素并且全部为1。
这道题目要求最大值,首先我们可以进行排序。然后从小到大贪心的进行选取。而因为,线性基的性质,如果插入了一个向量,会使得后面有向量无法插入,这样影响的最多一个向量。也就是,当我选择权值更大的向量的时候,假设该向量插入的是第i个,那么后面的向量,权值比他更小,若因为该向量无法插入,那么说明这第i位是1,如果插入权值的更小这个向量,不会使得问题变得更优,因为线性基中第i位仍然有向量,后续向量仍然无法插入第i位。所以可以贪心。
#include<iostream>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<cstdlib>
#include<climits>
#include<stack>
#include<vector>
#include<queue>
#include<set>
#include<bitset>
#include<map>
//#include<regex>
#include<cstdio>
#include <iomanip>
#pragma GCC optimize(2)
#define up(i,a,b) for(int i=a;i<b;i++)
#define dw(i,a,b) for(int i=a;i>b;i--)
#define upd(i,a,b) for(int i=a;i<=b;i++)
#define dwd(i,a,b) for(int i=a;i>=b;i--)
//#define local
typedef long long ll;
typedef unsigned long long ull;
const double esp = 1e-6;
const double pi = acos(-1.0);
const int INF = 0x3f3f3f3f;
const int inf = 1e9;
using namespace std;
ll read()
{
char ch = getchar(); ll x = 0, f = 1;
while (ch<'0' || ch>'9') { if (ch == '-')f = -1; ch = getchar(); }
while (ch >= '0' && ch <= '9') { x = x * 10 + ch - '0'; ch = getchar(); }
return x * f;
}
typedef pair<int, int> pir;
#define lson l,mid,root<<1
#define rson mid+1,r,root<<1|1
#define lrt root<<1
#define rrt root<<1|1
const int N = 1e3 + 10;
int n;
struct node {
ll num, mag;
bool operator<(const node a)
{
return mag < a.mag;
}
}stn[N];
struct xxj {
ll b[100];
xxj()
{
upd(i, 0, 60)b[i] = 0;
}
bool insert(ll x)
{
dwd(i, 60, 0)
{
if (x >> i & 1)
{
if (b[i])
{
x ^= b[i];
}
else {
b[i] = x;
upd(j, 0, i - 1)if (b[i] >> j & 1)b[i] ^= b[j];
upd(j, i + 1, 60)if (b[j] >> i & 1)b[j] ^= b[i];
return 1;
}
}
}
return 0;
}
}X;
int main()
{
n = read();
upd(i, 1, n)
{
stn[i].num = read(); stn[i].mag = read();
}
sort(stn + 1, stn + 1 + n);
ll ans = 0;
dwd(i, n, 1)
{
if(X.insert(stn[i].num))
{
ans += stn[i].mag;
}
}
cout << ans << endl;
return 0;
}