AtCoder Regular Contest 131 C - Zero XOR（思维）

Zero XOR

这题关键是推出一个结论：如果元素个数是奇数则先手必胜。首先，假设所有元素的异或和为 $x$ ，那么其实题目中说的剩余元素异或和为 $0$ 也就等价于选出数字异或和为 $x$ 。那么假设现在所有异或和为 $x$ 的选择有 $(a_1,a_2,a_3),(a_1,a_4),(a_1,a_2,a_3,a_4,a_5)$ ，先手肯定不选 $a_1,a_4$ ，因为这样必输，那么假设先手选 $a_5$ ，那么后手无论选什么，先手都能再选一个元素使得当前选择的三个数字不属于上面三个集合中的任意一个子集，比如后手选了 $a_1$ ，那么先手再选 $a_4$ ，则比赛必定得选完所有元素才会结束，则先手必胜。所以总结一下就是先手总是会存在一种方式使得所有元素选完，所以 $n$ 为奇数先手必胜。

那么如果有了上面那个结论再考虑 $n$ 为偶数就简单了。 $n$ 若为偶数，那么先手操作一次则变成奇数，也就是变成上述那个状态，那么如果先手第一步没直接赢的话就必输了，所以只有数组中存在 $x$ 的时候先手赢，否则就必输。

#include <bits/stdc++.h>

using namespace std;

const int N = 4e5 + 10;

int n, a[N];

int main() {
#ifndef ONLINE_JUDGE
    freopen("in.txt", "r", stdin);
    freopen("out.txt", "w", stdout);
#endif
    scanf("%d", &n);
    int x = 0;
    for (int i = 1; i <= n; ++i) {
        scanf("%d", &a[i]);
        x ^= a[i];
    }
    if (n & 1) {
        puts("Win");
    }
    else {
        bool win = false;
        for (int i = 1; i <= n; ++i) {
            if (a[i] == x) {
                win = true;
                break;       
            }
        }
        if (win) {
            puts("Win");
        }
        else {
            puts("Lose");
        }
    }
}