【数学 博弈论】JZOJ_3339 wyl8899和法法塔的游戏

题意

给出$N$堆石子，两人每次从中任意一堆取任意个石子，最后无法取的人失败。
有$M$个形如$rab$的询问，表示从$l\in [a,b]$，这个区间内从第$r$堆石头开始取，取的最多的石头使得先手必胜，如果能取就取走。

思路

这显然是一个$NIM$博弈，先手必胜当且仅当$A_{1}xor{A}_{2}xor...xor{A}_n̸=0$。

在$[l,r]$中，我们设$x$为$A_{1}xor{A}_{2}xor...xor{A}_{n-1}$，$k$为$A_{1}xor{A}_{2}xor...xor{A}_n$，
那么对于当前局面，为了使$A_{1}xor{A}_{2}xor...xor{A}_n=0$，我们可以使$A_r$变成$A_{r}xork=x$，因为$A_{r}xorx=k、A_{r}xork=x$，所以$xxorx=0$。取出石子最多，那么就是$A_r-x$最大，故$x$最小，我们这就可以暴力来做。

还有一个点，题目说要取走，那我们就更新$A$。

代码

#include<cstdio>
#include<algorithm>

int n, m, r, a, b, ans, x;
int st[100001];

int main() {
	scanf("%d", &n);
	for (int i = 1; i <= n; i++)
		scanf("%d", &st[i]);
	scanf("%d", &m);
	for (int i = 1; i <= m; i++) {
		scanf("%d %d %d", &r, &a, &b);
		x = 0;
		ans = 1 << 29;
		if (!st[r]) {
			printf("-1\n");
			continue;
		}
		if (b == r) {
			printf("%d\n", st[r]);
			st[r] = 0;
			continue;
		}
		for (int j = r - 1; j >= a; j--) {
			x ^= st[j];
			if (j <= b) ans = std::min(ans, x);
		}
		if (ans >= st[r]) printf("-1\n");
		else {
			printf("%d\n", st[r] - ans);
			st[r] = ans;
		}
	}
}