线性基,高斯消元总结

1. 线性基:
   定义:一个集合的线性基是与原集合能异或出的集合完全相同的最小集合。
   求法:主要应用了如下性质:若x是线性基中的元素,y是待添加的元素,那么x^y也在线性基中。
      证明:设z=\(x\) ^ \(y\),那么只要用到了z,就相当于用了\(x\) ^ \(y\),若要用y,就可以使用\(z\) ^ \(x\)
   所以,对于每个数进行二进制扫描,若第i位为1,判断这位是否有数,如果有,则异或上这个数,否则把第i位上的数设为这个数,并结束这个数的扫描。
   合并:把一个线性基中的数暴力插入另一个即可
   设数的长度为l,那么构建n个数的线性基的复杂度为\(O(nl)\)
   合并复杂度为\(O(l^2)\)
   不支持删除。
   应用:涉及到异或和,求最大/k大异或和,判断一个数是否能被异或出,等等
   求异或和为0的组数:先求线性基,答案就是\(2^{总数-线性基大小}\)
   线性无关组:可用高斯消元求出,就是把每个数都用其它进行消元,如果消不尽,就将它加入。
   例题:
    P3292 [SCOI2016]幸运数字
    询问路径的最大异或和。
    预处理出倍增线性基,然后暴力合并即可
    [WC2011]最大XOR和路径
    求图中1~n所有路径中异或和最大的。
    预处理出dfs中遇到的环的线性基,然后随意找一条路径,求与这些环的最大异或和即可。
    [HAOI2017]八纵八横:
    支持加边,删边,修改边权,并询问最大异或和的环。
    类似xor和路径,询问结果就是所有环的最大异或和,使用线性基。
    修改可以看做删除+插入。
    由于线性基不支持删除,所以使用线段树分治。
    用并查集维护所有的环。
2 . 高斯消元:
   时间复杂度\(O(n^3)\)
   代码:
   注意事项:消元时,消元的系数要先求出来。
   应用:矩阵求逆,涉及概率的有环dp,关灯问题,等等
   异或的高斯消元可以用bitset。

你可能感兴趣的:(线性基,高斯消元总结)