810. 黑板异或游戏

810. 黑板异或游戏
     黑板上写着一个非负整数数组 nums[i] 。Alice 和 Bob 轮流从黑板上擦掉一个数字，Alice 先手。如果擦除一个数字后，剩余的所有数字按位异或运算得出的结果等于 0 的话，当前玩家游戏失败。 (另外，如果只剩一个数字，按位异或运算得到它本身；如果无数字剩余，按位异或运算结果为 0。）
     换种说法就是，轮到某个玩家时，如果当前黑板上所有数字按位异或运算结果等于 0，这个玩家获胜。
     假设两个玩家每步都使用最优解，当且仅当 Alice 获胜时返回 true。
     示例：

输入: 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^16

题解

首先看到异或的数组问题，一条准则是$S=S_i\oplus num[i]$可以得到$Si=S\oplus num[i],num[i]=S\oplus S_i$,其中S是数组num的所有元素的异或结果吗，$S_i$代表除num[i]之外的元素的异或结果。

此问题首先看到会觉得一头雾水，想着使用什么算法，但是其实需要仔细推理一下。

首先获胜条件是自己的时候数组异或为0，或者无元素，或者最后一个元素是0.
Alice是先手
1.数组所有元素的异或是否为0，是则获胜。
2.数组元素的个数有关，因为$S=S_i\oplus num[i]；$$Si=S\oplus num[i]$所以当$S$不为0的时候Alice总能找到一个$num[j]$使得$S[j]\ne 0.$
$$\begin{gathered} S=S_1\oplus S_2\oplus S_3...\oplus S_n\oplus \underbrace{S\oplus S\oplus \cdots \oplus S} \\ n \end{gathered}$$
由于$n$为偶数所有后一部分为0即
$$S=S_1\oplus S_2\oplus S_3...\oplus S_n$$
如果S不为0则一定可以得到一个不为0的$S_i$。应为如果任意的$S_i$为0则S也会是0.
故如果是n为偶数则，Alice一定可以获胜。
如果n为奇数，则Alice去掉一个数字之后对于Bob为偶数，则Alice必输，除非当前为0
代码如下：

class Solution {
public:
    bool xorGame(vector<int>& nums) {
        int res=nums[0];
        if(!(nums.size()&1)) return true;
        else 
            {
                for(int i=1;i<nums.size();i++)
                    res^=nums[i];
                if(res==0) return true;
            }
        return false;
    }
};