bzoj1022: [SHOI2008]小约翰的游戏John

题目链接
反Nim游戏。
先上结论：一个状态为必胜态，当且仅当所有堆的石子个数为$1$，且Nim和为$0$ 或 至少有一堆的石子个数大于$1$，且Nim和不为$0$。
证明如下：显然所有堆石子个数都为$1$且石子对数为偶数时先手必胜，而只有一堆石子个数不为$1$时，Nim和不为$0$，可以将该堆拿完或拿到只剩一个石子的状态从而使对手处于必败状态。其余情况下，Nim和为0时只能转移至Nim和不为0且至少有一堆石子个数大于$1$的情况，从而无法取得游戏的胜利。

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;
 
const int N = 55;
 
char buf;
inline int read() {
    int rst = 0;
    do buf = getchar(); while (! isdigit(buf));
    while (isdigit(buf)) rst = rst*10 + buf - '0', buf = getchar();
    return rst;
}
 
int T, n, nim, tmp;
bool flag;
 
inline bool judge() {
    while (n--) {
        tmp = read();
        if (tmp^1) flag = true;
        nim ^= tmp;
    }
    if (flag) return nim;
    else return !nim;
}
 
int main() {
    T = read();
    while (T--) {
        n = read(); nim = 0; flag = false;
        if (judge()) puts("John");
        else puts("Brother");
    } return 0;
}