poj3480 John（用SJ定理解决Anti_SG游戏）

题目链接

分析：
题目限制和Nim游戏一样
但是拿到最后一个M&M的人输

这类特殊的游戏就叫做Anti_SG

Anti-SG游戏

1. 决策集合为空的操作者胜
2. 其余规则与SG游戏一致

这种游戏有一个特殊的解决工具：SJ定理
我们先来看一下SJ定理的内容

SJ定理

对于任意一个Anti-SG游戏，如果定义所有子游戏的SG值为0时游戏结束，先手必胜的条件：
1. 游戏的SG值为0且所有子游戏SG值均不超过1
2. 游戏的SG值不为0且至少一个子游戏SG值超过1

简单的证明

转载自—>

先证明第一个条件：
如果所有的SG值都不超过1，那么显然需要有偶数个1，即游戏的SG值为0
这样才能使先手必胜

再证明第二个条件：

情况一：
有至少两个子游戏SG值超过1，其余有偶数个1
那么游戏的SG值就为所有SG值超过1的子游戏的SG值的Nim和，设为$X$
假设X中1的最高位为第k位，那么一定存在至少一个子游戏的SG值第k位有1，设这个子游戏的SG值为$Y$
那么我们可以把这个子游戏变为$Y$ xor $X$
可以知道$Y$ xor $X<Y$，因为会消去第k位上的1，k位之后不变，那么相当于减少了一个$2^{k−1}$，前$k-1$位不论如何变，最多增加$2^{k−1}−1$
根据SG函数的转移可以得知一定能转移到一个决策其SG值为$Y$ xor $X$
接下来游戏的SG值便变为0，而此时至少存在一个子游戏的SG值超过1
此条件下先手必胜

情况二：
有至少两个子游戏的SG值超过1，然后其余有奇数个1
我们设所有SG值超过1的子游戏的SG值的Nim和为$X$
那么游戏的SG值为$X$ xor $1$
因为不为0，那么现在如果$X=0$，我们去掉一个1即可
于是变为游戏的SG值为0，而此时至少存在两个子游戏的SG值超过1
如果X不为0，那么最高位的1一定不在第一位
于是和1没有关系，像上面一样处理即可

情况三：
只有一个子游戏的SG值超过1，然后其余有偶数个1
显然我们可以拿将那个超过1的子游戏转移到一个决策使SG值为1，就能造成奇数个1

情况四：
如果只有一个子游戏的SG值超过1，然后其余有奇数个1
直接将那个超过1的子游戏转移到一个决策使SG值为0，就能造成奇数个1

这样证明了必胜态至少有一个后继状态为必败态
接下来需证明每一个必败态都只能转移到必胜态

先来证明第二个条件：
所有SG值不超过1，那么有奇数个1先手就必败，无论如何都只能转移到有偶数个1的情况
有奇数个1即游戏的SG值不为0

第一个条件：

情况一：
如果有至少两个子游戏的SG值超过1，那么无论如何都会转移到一个先手必胜局面（有至少一个SG值超过1，游戏的SG值不为0）
因为无法造成游戏的SG值继续为0

情况二：
如果只有一个子游戏的SG值超过1，这是不可能发生的
不可能存在一个局面只有一个子游戏SG值超过1但异或和为0的，一定有至少两个子游戏SG值超过1

证毕

#include<cstdio>
#include<cstring>
#include<iostream>

using namespace std;

int main()
{
    int T,n;
    scanf("%d",&T);
    while (T--)
    {
        scanf("%d",&n);
        int SG=0,x,p=0;
        for (int i=1;i<=n;i++) 
        {
            scanf("%d",&x);
            SG^=x;
            if (x>1) p=1;
        }
        if (SG) {
            if (p) printf("John\n");
            else printf("Brother\n");
        } else {
            if (!p) printf("John\n");
            else printf("Brother\n");
        }
    }
    return 0;
}