线性基

线性基

参考资料:

wfj_2048:https://www.cnblogs.com/wfj2048/p/6547789.html
Yveh : https://blog.csdn.net/qaq__qaq/article/details/53812883
关于向量空间与现行无关的东西,额...时间有限,一会还要补反演的题解,先咕着
具体应用概念:

概念

对于一个数集\(V\)定义异或运算,他的线性基是他的一个子集\(A\)(其实也不能这么说),A中所有数互相异或得到的集合等价于\(V\)中所有数互相异或的到的集合,也就是说,A可以看做是V的压缩

线性基的性质

1.设线性基的异或集合中不存在0,A是V中线性无关的极大子集。
2.线性基的异或集合中每个元素的异或方案唯一,其实与性质1等价。
3.线性基二进制最高位互不相同。
4.如果线性基是满的,它的异或集合为\([1,2^n−1]\)
5.线性基中元素互相异或,异或集合不变。

如何维护

插入

插入一个数,从高位到低位枚举线性基中的元素
若插入的数在该二进制位有1,那么有两种操作
1:若线性基当前位置没有数,把当前位赋位x,break
2:否则,插入数异或当前位的数,继续匹配
可以看出,插入x的最终结果是:x被选入线性基中,或者x在最后变为0,也就是x可以被线性基中的数异或组合出来

	for(int i = 1;i <= n;++ i) { 
		long long k = a[i]; 
		for(int j = 60; ~j ;-- j) {
			if(k & (1LL << j)) { 
				if(!b[j]) {b[j] = k;break;} 
				else k ^= b[j]; 
			} 
		} 
	} 

查询存在性

相当于插入的操作,如果x最后变成了0,说明x已经存在于线性基的异或集合中了。

查询最大值

从高位到低位扫描。如果异或当前线性基数能使得答案变大,那么就异或。
因为,线性基中保证每个数的的最高位位置唯一,从最高位开始贪心,要保证该位有值显然是最优,后面值得更新不会影响到前面

for(int  j = 60;~j;-- j) { 
		if((ans ^ b[j]) > ans)  ans ^= b[j]; 
	} 

合并两个线性基

暴力

查询k小值

鸽子赶正在来的路上

posted @ 2018-06-14 17:11  zzzzx  阅读(303)  评论(0编辑  收藏  举报