力扣每日一题：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

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

解题思路

  首先，理解题目的意思：Alice和Bob轮流从nums数组取一个值，取完值后如果剩下数字异或和等于0，取出值的那人失败。似乎有些拗口，其实可以这么理解：Alice和Bob取值前先判断nums数组所有数字的异或和是否为0，为零则另一个人输；否则尽可能地取出一个值，使得剩下数字异或和不为0。

关键：

• 为了胜利，Alice和Bob都尽可能取合适的值不使自己输。
• Alice先手，开始时如果异或和已经等于0，Alice胜利；因为Alice取值时先判断是否异或和为0，为零Alice已经胜利了。

  题目一分析，解题似乎很复杂，根据之前的经验，可能要利用前缀和然后一顿乱写发现错误，看了题解才恍然大悟。这个问题有点像下棋博弈，先手先赢的感觉，但是要考虑nums数组的个数n。n分为奇数和偶数：

（1）n为偶数，Alice开始取值，有两种情况：

• 当前数组元素异或和 等于0，Alice胜利。
• 异或和不为0，取出一个值，而后轮到Bob。根据相关的数学推导，如果之前数组元素异或和不等于0，可以找到一个值使得取出值后剩下的异或和不为0。

所以情况就变成了，Alice要么胜利，要么取出值然后Bob取值。直到只剩最后一个元素时，取值的人必然是Bob（因为n为偶数），这样Alice也是胜利的。所以，结论：n为偶数，谁先手谁赢。

（2）n为奇数，那么Alice先判断当前元素异或和是否等于0，等于0则Alice胜利；但是如果不等于0，那么Alice取值后Bob开始取值。这时候n为偶数，Bob开始取值，将会遇到和（1）一样的情况，那么根据之前的推导Bob必胜。

  最终结论：n为偶数，Alice赢；否则n为奇数，Alice判断当前元素是否异或和为0，为0则Alice胜利，反之Bob胜利。

解题代码

class Solution {
public:
    bool xorGame(vector<int>& nums) {

        //首先判断nums数组的个数是否为偶数，偶数必然是Alice赢
        if (nums.size() % 2 == 0)
            return true;

        //奇数的情况，Alice取走一个元素后，Bob面前只有偶数个元素，同理Bob赢
        //如果是奇数，当前元素的异或和都为0也算Alice赢
        int xorNum = 0;
        for (auto num : nums)
        {
            xorNum ^= num;
        }
        return xorNum == 0;
    }
};