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
假设X中1的最高位为第k位,那么一定存在至少一个子游戏的SG值第k位有1,设这个子游戏的SG值为Y
那么我们可以把这个子游戏变为 Y Y xor X
可以知道 Y Y xor X<Y,因为会消去第k位上的1,k位之后不变,那么相当于减少了一个 2k1 2 k − 1 ,前 k1 k − 1 位不论如何变,最多增加 2k11 2 k − 1 − 1
根据SG函数的转移可以得知一定能转移到一个决策其SG值为 Y Y xor X
接下来游戏的SG值便变为0,而此时至少存在一个子游戏的SG值超过1
此条件下先手必胜

情况二:
有至少两个子游戏的SG值超过1,然后其余有奇数个1
我们设所有SG值超过1的子游戏的SG值的Nim和为 X X
那么游戏的SG值为X xor 1 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;
}
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值