BZOJ 2460: [BeiJing2011]元素 排序，线形基，异或消元

题意：有一些矿石,每个矿石有一个a和一个b值,要求选出一些矿石,b的和最大且不存在某个矿石子集它们的a的异或和为0。
解法：向按b从大到小排序,依次加入矿石,判断和前面选中的矿石是否冲突。 可以发现这个过程和前面求线性基的算法是一样的。贪心的正确性 证明可以用拟阵。 可以参考 刘雨辰的 《对拟阵的初步研究》的线性拟阵内容 。我是yy的。

//BZOJ 2460

#include <bits/stdc++.h>
using namespace std;

const int maxn = 1010;

struct node{
    long long a, b;
    node(){}
    node(int a, int b) : a(a), b(b) {}
    bool operator < (const node &rhs) const{
        return b > rhs.b;
    }
}p[maxn];
long long A[63]; //线形基

int main()
{
    int n; scanf("%d", &n); long long ans = 0;
    for(int i = 1; i <= n; i++) scanf("%lld%lld", &p[i].a, &p[i].b);
    sort(p+ 1, p+n+1);
    for(int i = 1; i <= n; i++){
        for(int j = 61; j >= 0; j--){
            if((p[i].a >> j) & 1){
                if(A[j]) p[i].a ^= A[j];
                else {A[j] = p[i].a; break;}
            }
        }
        if(p[i].a) ans += p[i].b;
    }
    printf("%lld\n", ans);
    return 0;
}