ACM-ICPC 2017 西安赛区现场赛 A. XOR（线段树 + 线性基合并）

题目链接：https://nanti.jisuanke.com/t/A1607
题目大意：初始有一个序列a，有q个询问，每次询问 k | [l,r] 区间内子集异或的值的最大值是多少。

题解：因为是k | [l,r]的子集异或运算，k为1的位可以不用考虑，只需要考虑k为0的位异或最大是几，做法是线段树套线性基，因为线性基也具有区间可加性，两个区间的线性基直接暴力合并。
（线性基的合并可行性是比较显然的，可以从构造线性基的理论基础上思考为什么线性基可以合并，以及如何合并）

（1）先将k取反，对序列只暴力k中为0的数字，然后再建线段树构造线性基。
（2）如果在线段树内合并线性基时高斯消元，查询时可以查询k为0位的向量的异或和的最大值再 或上 k，这样答案仍然对，但是会超时，因为复杂度本身已经接近边缘，在线段树内高斯消元会增大常数

复杂度是O($n\ast log(n)\ast log(a[i]{)}^2$)，

代码:

#include<bits/stdc++.h>
using namespace std;
const int maxn = 1e4 + 10;
#define lson rt << 1,l,mid
#define rson rt << 1 | 1,mid + 1,r
int tree[maxn << 2][35];
int a[maxn];
int cur[35];
void pushup(int rt) {
	int ls = rt << 1,rs = rt << 1 | 1;
	for(int i = 26; i >= 0; i--) 
		tree[rt][i] = tree[ls][i];
		
	for(int i = 26; i >= 0; i--) {
		if(tree[rs][i]) {
			int tmp = tree[rs][i];
			for(int j = i; j >= 0; j--) {
				if(tmp >> j & 1) {
					if(tree[rt][j]) tmp ^= tree[rt][j];
					else {
						tree[rt][j] = tmp;
						break;
					}
				} 
			}	
		}
	}
}
void build(int rt,int l,int r) {
	if(l == r) {
		for(int i = 26; i >= 0; i--) {
			if(a[l] >> i & 1) {
				tree[rt][i] = a[l];
				break;
			}
		}
		return ;
	}
	int mid = l + r >> 1;
	build(lson);
	build(rson);
	pushup(rt);
}
void query(int L,int R,int rt,int l,int r) {
	if(L <= l && r <= R) {
		for(int i = 26; i >= 0; i--) {
			if(tree[rt][i]) {
				int tmp = tree[rt][i];
				for(int j = i; j >= 0; j--) {
					if(tmp >> j & 1) {
						if(cur[j]) tmp ^= cur[j];
						else {
							cur[j] = tmp;
							break;
						}
					} 
				}	
			}
		}
		return ;
	}
	int mid = l + r >> 1;
	if(mid >= L) query(L,R,lson);
	if(mid + 1 <= R) query(L,R,rson);
}
int main() {
	int t,n,q,k,l,r;
	scanf("%d",&t);
	while(t--) {
		scanf("%d%d%d",&n,&q,&k);
		k = ~k;
		for(int i = 1; i <= n; i++) {
			scanf("%d",&a[i]);
			a[i] &= k;
		}
		build(1,1,n);
		k = ~k;
		for(int i = 1; i <= q; i++) {
			scanf("%d%d",&l,&r);
			memset(cur,0,sizeof cur);
			query(l,r,1,1,n);
			int ans = k;
			for(int j = 26; j >= 0; j--) {
				ans = max(ans,ans ^ cur[j]);
			}
			printf("%d\n",ans);
		}
	}
	return 0;
}