线性基求交：是什么以及为什么

这篇文章要讨论的，是有关算法竞赛中的一个主题：线性基。我自己去认识、理解这个问题（指线性基求交），确实花了很大一番功夫。我将梳理我自己的思考认识，包括众多其他博客中所提到的、没提到的方方面面。

线性基

关于线性基是什么、如何构造线性基，相对比较容易理解，不是本文的重点。可以参考这篇博客。

线性空间

一个线性基所表征的线性空间是这个线性基能表示的所有数的集合。

线性基的交

设有三个线性基$A$、$B$、$C$，如果它们所表征的线性空间的关系是：$V_A\cap V_B=V_C$，那么我们称$C$是$A$、$B$的交。

线性无关

和线性代数中的概念类似：如果一组数（在异或意义上）线性无关，那么任意取这组数中的若干个，它们的异或和都不为0。

下面所说的“线性无关”，都指的是这个意思。

线性基的变换

设线性基 A = { a 1 , a 2 , . . . , a n } A=\{a_1,a_2,...,a_n\} A={ a1​,a2​,...,an​}，任取$i\ne j$，令$a_i^{\prime }=a_i\oplus a_j$，然后用$a_i^{\prime }$替换$A$中的$a_i$，那么替换后的$A$与替换前等价。等价的含义是：变换之后，线性基的元素个数没有改变，并且所表征的线性空间没有变化。

因此，我们可以对一个线性基反复进行上述操作，结果始终都是与最初的线性基等价的。

线性基求交的方法

假设有线性基$A$、$B$，我们想求它们的交。首先，将$B$变换到合适的等价形式$B^{\prime }$，使得$B^{\prime }$满足下列性质：

• 定义 W = { b ∣ b ∈ B ′ , b ∈ V A } W=\{b|b\in B' ,b\in V_A\} W={ b∣b∈B′,b∈VA​}， B ′ − W = { b ∣ b ∈ B ′ , b ∉ V A } B'-W=\{ b|b\in B',b\notin V_A\} B′−W={ b∣b∈B′,b∈/​VA​}。
• $(B^{\prime }-W)\cup A$线性无关（小提示：根据上面的定义，参与并操作的$B^{\prime }-W$与$A$是没有相同元素的，所以并操作可以简单理解为把这两个集合中的元素都拿出来放到一起）。

那么，$W$即是线性基$A$与$B$的交。

理解这个方法有2个要点：第一，如何变换$B$得到一个合适的$B^{\prime }$？甚至于这样的$B^{\prime }$是否存在？第二，为什么$W$就是$A$、$B$的交？

上述方法的正确性

先假设，我们确实有一种方法，总是可以将$B$变换到合适的$B^{\prime }$，然后我们考虑如何证明$W$确实是$A$与 B B