[模板]线性基

模板第四弹

难度较大，请勿弃疗

给定n个整数（数字可能重复），求在这些数中选取任意个，使得他们的异或和最大。
n<=50

Sample Input
3
3 2 1
Sample Output
3

看上去莫名其妙地想贪心。。。
给些定义：
$S$为无符号整数集
即$S\in N^*$

异或和

记为$Xor-Sum(S)$
$Xor-Sum(S)=S_1\oplus S_2 \oplus ....\oplus S_{|S|}$

张成

记为$span(S)$
对于所有$T \in S$，有$Xor-Sum(T) \in span(S)$
就是所有子集异或和的集合

前方高能!!!

线性相关

$S$若有元素$S_j$，使$S$去掉$S_j$后的集合$S'$满足
$S_j \in span(S')$
则称$S$线性相关，否则称$S$线性无关

前方高能!!!*2+重点!!!

线性基

若$B$为$S$的线性基
$B$满足
1. $B \in S,S \in span(B)$
2. $B$线性无关
线性基的长度为$|B|$

前方高能!!!*3+重点!!!*2

构造与性质

我们设$S_{max}$为$S$中最大的元素
设$Len=log_2(S_{max})$
我们可用一个数组$g[Len]$的数组存储线性基
对于每个$i,g_i$只有两种可能：
1. $g_i=0$
所有$j$使$i<j$，$g_j$第$i$位$\in \{0,1\}$
2. $g_i \not= 0$
所有$j$使$j \not= i$ $g_j$第$i$位$=0$
所有$j$使$i<j$ $g_i$第$j$位$=0$
所有$j$使$i>j$ $g_i$第$j$位$\in \{0,1\}$

假设插入数位 x <script type="math/tex" id="MathJax-Element-49">x</script>
流程参考代码

void insert(ll x)
{
    fd(i,len-1,0)
        if(x&(1ll<<i))
            if(g[i])
                x^=g[i];
            else
            {
                fr(j,0,i-1)
                    if(x&(1ll<<j))
                        x^=g[j];
                fr(j,i+1,len-1)
                    if(g[j]&(1ll<<i))
                        g[j]^=x;
                g[i]=x;
                return ;
            }
}

开始的问题

看了代码，你也许会大呼简单
前面当然要加上插入啊

    ll ans=0;
    fr(i,0,len-1)
        ans^=g[i];