rt.

线性基

定义n维向量，将其写成矩阵的形式，就可以得到一堆线性方程，得到增广矩阵，然后gauss，消元。

但是当某一行可以被其他几行表示出来的时候，那么这一行就没有意义（向量意义上），那么消元后其中的非零行就为行秩。（列秩同理）

行秩数=列秩数，基底是极大线性无关组。

数域：含0，1，且有+，*，无论怎么操作都只剩下原域里的数。

如果只考虑gauss，时间复杂度太劣，且拓展性不强。

考虑一个一个的插入，那么当定义了$a_k$的第k位1时，后面插入的数的第k位都不能是1，所以就直接异或$a_k$，同理就每插入一个数，就让它异或上线性基的每一个元素，如果还剩下有值，就插入。

如果让求一个数列中的某一些数异或后的最大值，就从最大值开始一个一个加入（），

最小瓶颈生成树。

（然后啥都听不懂了）

行列式

矩阵树定理（听不懂了，开摆）。