第十五届吉林省赛个人题解【中档题】（I)

I. Nim Game(树状数组+线性基)

题意：给你一个数组，支持区间加，让你查询区间内是否有子集的异或和为0。
思路：首先你要知道，nim游戏后手必胜条件（也就是先手必败条件），是异或和为0。为了支持区间加我们利用树状数组维护差分，可以单点查询某个位置的值。然后你需要了解一下线性基的知识，1e9范围的内的线性基大小最多不超过31。如果说超过31必定有非线性基组，必定存在线性基表示其他数，必定存在集合异或和为0。如果小于31，我们一次插入基，如果无法插入，说明该数被线性基线性表示了，也就是异或和为0。

#include <bits/stdc++.h>
#define ll long long
#define inf 0x3f3f3f3f
#define eps 1e-9
using namespace std;
const int N = 1e5 + 5;
int lowbit(int x) {
	return x & -x;
} 
ll sum[N], n;
void update(int x, int y) {
	while (x <= n) {
		sum[x] += y;
		x += lowbit(x);
	}
}
ll query(int x) {
	ll res = 0;
	while (x) {
		res += sum[x];
		x -= lowbit(x);
	}
	return res;
}
ll d[35];
bool add(ll x) {
	for (int i = 32; i >= 0; i--) {
		if (x & (1ll << i)) {
			if (d[i]) x ^= d[i];
			else {
				d[i] = x;
				return 1;
			}
		}
	}
	return 0;
}
void solve() {
	int m;
	cin >> n >> m;
	for (int i = 1; i <= n; i++) {
		int x;
		cin >> x;
		update(i, x);
		update(i + 1, -x);
	}
//	for (int i = 1; i <= n; i++) cout << query(i) << ' ';
	for (int i = 0; i < m; i++) {
		int op;
		cin >> op;
		if (op == 1) {
			int l, r, x;
			cin >> l >> r >> x;
			update(l, x);
			update(r + 1, -x);
		} else {
			int l, r;
			cin >> l >> r;
			if (r - l + 1 >= 32) {
				cout << "Yes\n";
				continue;
			}
			int flag = 0;
			for (int i = 0; i <= 32; i++) d[i] = 0;
			for (int i = l; i <= r; i++) {
				ll x = query(i);
				if (!add(x)) {
					flag = 1;
					break;
				}
			}
			cout << (flag ? "Yes\n" : "No\n");
		}
	}
}
int main() {
	ios::sync_with_stdio(false);
	cin.tie(0);
	int T = 1;
//	cin >> T;
	while (T--) {
		solve();
	}
	return 0;
}