[博弈] BZOJ1022: [SHOI2008]小约翰的游戏John

题意

小约翰经常和他的哥哥玩一个非常有趣的游戏：桌子上有n堆石子，小约翰和他的哥哥轮流取石子，每个人取的时候，可以随意选择一堆石子，在这堆石子中取走任意多的石子，但不能一粒石子也不取，我们规定取到最后一粒石子的人算输。小约翰相当固执，他坚持认为先取的人有很大的优势，所以他总是先取石子，而他的哥哥就聪明多了，他从来没有在游戏中犯过错误。小约翰一怒之前请你来做他的参谋。自然，你应该先写一个程序，预测一下谁将获得游戏的胜利。

题解

经典的Anti-Nim游戏，网上随便一搜就可以找到很多资料。
直接贴结论好了：
首先当所有数都为1的情况要特殊考虑。(之后就会知道为什么了)
对于有数不为一的情况，我们需要关注的就是所有数的异或值。
若异或值等于0则后手必胜，否则先手必败。
为什么呢？
对于某个局面(a1,a2,…,an)，若a1 xor a2 xor… an!=0，一定存在某个合法的移动，将ai改变成ai’后满足a1 xor a2 xor …xor ai’ xor… xor an=0，不妨设a1 xor a2 xor…xor an=k，显然一定存在某个ai，它的二进制表示在k的最高位上是1。这时ai xor k< ai一定成立。则我们可以将ai改变成ai xor k即可。
对于某个局面(a1,a2,…,an)，若a1 xor a2 xor …xor an=0，则不管怎么取，之后的异或值都不为0。
也就是说，当初始局面异或值为0时，后手有控场能力。具体来说，先每次都把0的状态留给对手，0->非0->0->非0不断变化，当现在发现现在的非0状态的所有数中只有一个非1，其他都是1时，显然就可以赢得胜利了。（这样的状态一定是非0状态，也就是说这个状态不会留给对手）
当初始局面为非0时，先手只需要先把它变成0状态留给对手，这样就赢了。

#include<cstdio>
#include<algorithm>
using namespace std;
int _test,n;
int main(){
    freopen("bzoj1022.in","r",stdin);
    freopen("bzoj1022.out","w",stdout);
    scanf("%d",&_test); 
    while(_test--){
        scanf("%d",&n); int Xor=0; bool pd=false;
        for(int i=1;i<=n;i++){
            int x; scanf("%d",&x); 
            Xor^=x; pd|=(x!=1);
        }
        if(pd){
            if(Xor) printf("John\n"); else printf("Brother\n");
        } else{
            if(Xor) printf("Brother\n"); else printf("John\n");
        }
    }
    return 0;
}