bzoj1022题解
【题意分析】
最简单的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题解的更多相关文章
- 【BZOJ1022】小约翰的游戏(博弈论)
[BZOJ1022]小约翰的游戏(博弈论) 题面 BZOJ 题解 \(Anti-SG\)游戏的模板题目. #include<iostream> #include<cstdio> ...
- 2016 华南师大ACM校赛 SCNUCPC 非官方题解
我要举报本次校赛出题人的消极出题!!! 官方题解请戳:http://3.scnuacm2015.sinaapp.com/?p=89(其实就是一堆代码没有题解) A. 树链剖分数据结构板题 题目大意:我 ...
- noip2016十连测题解
以下代码为了阅读方便,省去以下头文件: #include <iostream> #include <stdio.h> #include <math.h> #incl ...
- BZOJ-2561-最小生成树 题解(最小割)
2561: 最小生成树(题解) Time Limit: 10 Sec Memory Limit: 128 MBSubmit: 1628 Solved: 786 传送门:http://www.lyd ...
- Codeforces Round #353 (Div. 2) ABCDE 题解 python
Problems # Name A Infinite Sequence standard input/output 1 s, 256 MB x3509 B Restoring P ...
- 哈尔滨理工大学ACM全国邀请赛(网络同步赛)题解
题目链接 提交连接:http://acm-software.hrbust.edu.cn/problemset.php?page=5 1470-1482 只做出来四道比较水的题目,还需要加强中等题的训练 ...
- 2016ACM青岛区域赛题解
A.Relic Discovery_hdu5982 Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 65536/65536 K (Jav ...
- poj1399 hoj1037 Direct Visibility 题解 (宽搜)
http://poj.org/problem?id=1399 http://acm.hit.edu.cn/hoj/problem/view?id=1037 题意: 在一个最多200*200的minec ...
- 网络流n题 题解
学会了网络流,就经常闲的没事儿刷网络流--于是乎来一发题解. 1. COGS2093 花园的守护之神 题意:给定一个带权无向图,问至少删除多少条边才能使得s-t最短路的长度变长. 用Dijkstra或 ...
随机推荐
- php 学习一 变量的定义
//php有如下几种数据类型 // false true boolean类型 //integer int 整数 //float 浮点数就是小数 //string 字符串 //string null 空 ...
- rest framework 之前
在开始rest framework之前,我们先来了解一下什么是restful rest 是一种软件架构风格,Representational state Transfer 它从资源的角度去看整个网络, ...
- css盒模型宽高混合计算calc
例如: .element{ width:calc(expression); } 兼容性:在IE9+.FF4.0+.Chrome19+.Safari6+都得到了较好支持,但是在移动端的支持不是很好. 其 ...
- vue中使用v-if判断数组长度是出现length报错
在vue中使用v-if判断数组的长度时出现报错 <el-collapse-item :key="index" v-if="data.childrens.length ...
- React笔记03——React实现TodoList
1 什么是JSX语法? 原生JS中,要向页面中挂载html标签,标签一定是被引号''包起来的:document.getElementById('root').append('<div>he ...
- 基于mybatis-plus的代码生成
基于mybatis-plus的代码生成 前言 随着敏捷开发模式的推广,伴着日益增长的需求,日常工作中我们越来越注重效率和便捷性.今天我们就来探讨下如何自动生成代码,准确地说是如何依赖数据库生成我们的e ...
- AcWing 156. 矩阵 (哈希二维转一维查询)打卡
给定一个M行N列的01矩阵(只包含数字0或1的矩阵),再执行Q次询问,每次询问给出一个A行B列的01矩阵,求该矩阵是否在原矩阵中出现过. 输入格式 第一行四个整数M,N,A,B. 接下来一个M行N列的 ...
- Linux特殊权限设置以及使用
Linux文件权限特殊权限(s-s-t) 什么是suid权限 SUID是可执行文件的特殊文件权限,使其他用户能够以文件所有者的有效权限运行文件. 代替执行权限的正常x代替用户的s(指示SUID )特权 ...
- Openstack组件部署 — Netwotking service组件介绍与网络基本概念
目录 目录 前文列表 Openstack Networking serivce 基本的Neutron概念 Neutron的抽象对象 网络networks 子网subnets 路由器routers 端口 ...
- Python脚本轻松实现批量图片重命名
************************************************************************** 摘要:网上爬取的图片名字很混乱,格式也比较多,需要 ...