【LeetCode】第810题——黑板异或游戏（难度：困难）

题目描述

黑板上写着一个非负整数数组 nums[i] 。Alice 和 Bob 轮流从黑板上擦掉一个数字，Alice 先手。如果擦除一个数字后，剩余的所有数字按位异或运算得出的结果等于 0 的话，当前玩家游戏失败。 (另外，如果只剩一个数字，按位异或运算得到它本身；如果无数字剩余，按位异或运算结果为 0。）

换种说法就是，轮到某个玩家时，如果当前黑板上所有数字按位异或运算结果等于 0，这个玩家获胜。

假设两个玩家每步都使用最优解，当且仅当 Alice 获胜时返回 true。

1. 示例：
   输入: nums = [1, 1, 2]
   输出: false
   解释: Alice 有两个选择: 擦掉数字 1 或 2。
   如果擦掉 1, 数组变成 [1, 2]。剩余数字按位异或得到 1 XOR 2 = 3。那么 Bob 可以擦掉任意数字，因为 Alice 会成为擦掉最后一个数字的人，她总是会输。
   如果 Alice 擦掉 2，那么数组变成[1, 1]。剩余数字按位异或得到 1 XOR 1 = 0。Alice 仍然会输掉游戏。

提示：
1 <= N <= 1000
0 <= nums[i] <= 2¹⁶

来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/chalkboard-xor-game
著作权归领扣网络所有。商业转载请联系官方授权，非商业转载请注明出处。

解题思路

这道题一看就有数学规律，有点像拿走1~n个棋子的那种题

那么数学规律好找吗？对于菜鸡的本人来说当然不是太好找，不过找完之后发现代码将会相当简单

Alice必输的情况为，当前数组全部异或后不为0，但擦掉任何一个数字后异或均为0。这种情况可能出现吗？

我们尝试推导一下：

假设当前数组长度为一偶数$n$，计$S$为当前数组全部异或的结果，按照上述情况，此时$S\ne 0$，擦掉第$i$个数字后的结果记为$S_i$，那么可以得到

$S_i⨁nums[i]=S$ 变换后 S i = S ⨁ n u m s [ i ] S_i=S\bigoplus nums[i] S