【题意分析】

  最简单的Anti-Nim博弈模型。

【解题思路】

  引理:SJ定理

对于一个Anti-Nim游戏,只要有以下两条条件之一,先手必胜:

1.游戏的总SG函数为0且任意子游戏的SG函数不超过1;

2.游戏的总SG函数不为0且至少存在一个子游戏的SG函数超过1。

证明:

定义xorsum(x)(Q)为满足布尔表达式Q的所有元素x的异或和。

设游戏总SG函数为X,子游戏的SG函数序列为L,分四种情况:

(1)X=0且∀n≤1(n∈L)(必胜态)

(2)X=0且存在n∈L使n>1(必败态)

(3)X≠0且∀n≤1(n∈L)(必败态)

(4)X≠0且存在n∈L使n>1(必胜态)

对于情况(1),

  ∵X=0,∀n≤1

  ∴∑n=0(mod 2)即有偶数个1

  此时双方只能有唯一的走法,模拟即可知先手必胜。

对于情况(2),

  ∵X=0,存在n∈L使n>1

  ∴∑[n≤1]=0(mod 2)且xorsum(n)=0(n∈L,n>1)

  ∴∑[n>1]≥2即L至少有两个大于1的元素

  故此状态经过一次操作后必定转移到必胜态(4),即必败。

对于情况(3),同理于情况(1),但结果状态是必败。

对于情况(4),

  当存在唯一的n∈L使n>1时,总能转移成必败态(3);

  当存在至少两个n∈L使n>1时,

    设X的最高位为t=2k(k∈N),必定存在一个n∈L,使n and t=1,易知(n xor t)<n,可将n变为(n xor t),而剩下子游戏的总SG函数亦为(t xor n),故可以转化为必败态(2);

  综上,(4)为必胜态。

证毕。

  直接应用SJ定理即可,复杂度O(TN)。

【参考代码】

 #include <cstdio>
#define REP(i,low,high) for(register int i=(low);i<=(high);++i)
using namespace std;
static int T,n; int a[];
int main()
{
for(scanf("%d",&T);T--;)
{
scanf("%d",&n); int sum=; bool over=;
REP(i,,n)
{
int t; scanf("%d",&t),sum^=t,over|=t>;
}
puts(bool(sum)==over?"John":"Brother");
}
return ;
}

bzoj1022题解的更多相关文章

  1. 【BZOJ1022】小约翰的游戏(博弈论)

    [BZOJ1022]小约翰的游戏(博弈论) 题面 BZOJ 题解 \(Anti-SG\)游戏的模板题目. #include<iostream> #include<cstdio> ...

  2. 2016 华南师大ACM校赛 SCNUCPC 非官方题解

    我要举报本次校赛出题人的消极出题!!! 官方题解请戳:http://3.scnuacm2015.sinaapp.com/?p=89(其实就是一堆代码没有题解) A. 树链剖分数据结构板题 题目大意:我 ...

  3. noip2016十连测题解

    以下代码为了阅读方便,省去以下头文件: #include <iostream> #include <stdio.h> #include <math.h> #incl ...

  4. BZOJ-2561-最小生成树 题解(最小割)

    2561: 最小生成树(题解) Time Limit: 10 Sec  Memory Limit: 128 MBSubmit: 1628  Solved: 786 传送门:http://www.lyd ...

  5. Codeforces Round #353 (Div. 2) ABCDE 题解 python

    Problems     # Name     A Infinite Sequence standard input/output 1 s, 256 MB    x3509 B Restoring P ...

  6. 哈尔滨理工大学ACM全国邀请赛(网络同步赛)题解

    题目链接 提交连接:http://acm-software.hrbust.edu.cn/problemset.php?page=5 1470-1482 只做出来四道比较水的题目,还需要加强中等题的训练 ...

  7. 2016ACM青岛区域赛题解

    A.Relic Discovery_hdu5982 Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 65536/65536 K (Jav ...

  8. poj1399 hoj1037 Direct Visibility 题解 (宽搜)

    http://poj.org/problem?id=1399 http://acm.hit.edu.cn/hoj/problem/view?id=1037 题意: 在一个最多200*200的minec ...

  9. 网络流n题 题解

    学会了网络流,就经常闲的没事儿刷网络流--于是乎来一发题解. 1. COGS2093 花园的守护之神 题意:给定一个带权无向图,问至少删除多少条边才能使得s-t最短路的长度变长. 用Dijkstra或 ...

随机推荐

  1. vue 使用Better-Scroll

    注意点 1. 外层容器wrapper要设置高度,并且overflow:hidden. 2. wrapper里面的需要一个div包裹所有内容 3. 样式成功 4.  以上就是可以滚动的情况,wrappe ...

  2. PowerPoint for Mac 中的键盘快捷方式汇总

    PowerPoint for Mac 中的键盘快捷方式介绍给大家,使用PowerPoint for Mac可以创建新颖别致的演示文稿通过漂亮的设计.丰富的动画.电影动作.3D 模型和图标传达你的想法. ...

  3. magento 多域名多店

    在magento1.4中请参考官网 :http://www.magentocommerce.com/knowledge-base/entry/tutorial-multi-site-multi-dom ...

  4. 赋能时空云计算,阿里云数据库时空引擎Ganos上线

    随着移动互联网.位置感知技术.对地观测技术的快速发展,时空信息已从传统GIS行业渗透到大众应用及各行各业.从静态POI(兴趣点)到APP位置信息,从导航电子地图到车辆行驶轨迹,从卫星影像到三维城市建模 ...

  5. Ruby——输入&输出

    Ruby的输入和输出操作.输入是程序从键盘.文件或者其他程序读取数据.输出是程序产生数据.可以输出到屏幕.文件或者其他程序. Ruby中的一些类有些方法会执行输入&输出操作.例如Kernel. ...

  6. PHP ftp_nlist() 函数

    「大理石平台维修」大理石平台维修完后需要怎么处理? 定义和用法 ftp_nlist() 函数返回 FTP 服务器上指定目录的文件列表. 如果成功,则返回指定目录下的文件名组成的数组.如果失败,则返回 ...

  7. Android中的Toast重复显示的问题

    Toast是Android中用来显示信息的一种机制,和Dialog不一样的是,Toast是没有焦点,而且Toast显示的时间有限,过一定的时间就会自动消失. Toast一般用来提示用户的误操作.但是如 ...

  8. AcWing 199. 余数之和 (除法分块)打卡

    给出正整数n和k,计算j(n, k)=k mod 1 + k mod 2 + k mod 3 + … + k mod n的值. 例如j(5, 3)=3 mod 1 + 3 mod 2 + 3 mod ...

  9. Thymeleaf 模板布局三种区别

  10. 上传漏洞-js验证

    关于文件上传漏洞,想必玩web安全的同学们都有接触,之前本站也发布过一篇文章介绍文件上传漏洞的各种绕过方法,但是只是有文档却没有演示代码, 最近给公司一客户培训,就照文档中的绕过写出了相应的代码,方便 ...