线性基 解析 + 模板

感谢这位博主的文章
全面解析的博客

做什么: 一般是在n个数中选择一些数异或起来答案最大. (不同与01字典树!!!)

定义:
设数集T的值域范围为[1,2n−1]。
T的线性基是T的一个子集A={a1,a2,a3,…,an}。
A中元素互相xor所形成的异或集合，等价于原数集T的元素互相xor形成的异或集合。
可以理解为将原数集进行了压缩

性质:
1.设线性基的异或集合中不存在0。
2.线性基的异或集合中每个元素的异或方案唯一，其实这个跟性质1是等价的。
3.线性基二进制最高位互不相同。
4.如果线性基是满的，它的异或集合为[1,2n−1]。
5.线性基中元素互相异或，异或集合不变。

基本操作:
1: 插入
如果向线性基中插入数x，从高位到低位扫描它为1的二进制位。
扫描到第i时，如果ai不存在，就令ai=x，否则x=x⊗ai。
x的结局是，要么被扔进线性基，要么经过一系列操作过后，变成了0。

bool Insert(ll val) {
    for (int i = 60 ; i >= 0 ; i --) {
        if (val & (1ll << i)) {
            if (!d[i]) {
                d[i]=val;
                break;
            }
            val^=d[i];
        }
    }
    return val > 0;
    // 可判断val是否存在于线性基当中.
}

2: 合并
将一个线性基暴力插入另一个线性基即可。

L_B Union(const L_B &a, const L_B &b) {
    L_B res = a;
    for (int i = 60 ; i >= 0 ; i --)
        if (b.d[i]) res.Insert(b.d[i]);
    return res;
}

3: 查询