LG3812 「模板」线性基 线性基

问题描述

LG3812

---

题解

线性基是一类擅长解决异或问题的数据结构（也不算数据结构吧...就是一种玄学的东西）

对于数列 \(a\) ，它的线性基 \(d\) 为 出现 \(1\) 的最高位在第 \(i\) 位的数 （这里借用了"帅到报警"的题解）。

构造方法

对于每一个尝试插入的数 \(x\) ，找出它目前为 \(1\) 的最高位 \(pos\) 。

如果这个时候 \(d_pos\) 已经有了一个数，那么就把 \(x\) 异或上 \(d_pos\) 继续尝试。

否则插入，插入成功后要立刻break

寻找答案

采取贪心思想，只要异或上 \(d_i\) 不会使答案更小，就异或上。

---

\(\mathrm{Code}\)

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

template <typename Tp>
void read(Tp &x){
    x=0;char ch=1;int fh;
    while(ch!='-'&&(ch<'0'||ch>'9')) ch=getchar();
    if(ch=='-'){
        fh=-1;ch=getchar();
    }
    else fh=1;
    while(ch>='0'&&ch<='9'){
        x=(x<<1)+(x<<3)+ch-'0';
        ch=getchar();
    }
    x*=fh;
}

#define int long long

int d[63],n;
int a[53],ans;

void add(int x){
    for(int i=51;i>=0;i--){
        if(x&(1ll<<i)){
            if(!d[i]){
                d[i]=x;break;
            }
            x=x xor d[i];
        }
    }
}

void solve(){
    for(int i=50;i>=0;i--){
        if((ans xor d[i])>ans) ans=ans xor d[i];
    }
}

signed main(){
    read(n);
    for(int i=1;i<=n;i++){
        read(a[i]);add(a[i]);
    }
    solve();
    printf("%lld\n",ans);
    return 0;
}