洛谷 [P2148] E&G
SG函数的应用
首先每一组都是独立的,所以我们可以求出每一组的SG值异或出来。
那么怎么求每一组的SG值呢,网上的题解都是打表找规律,但其实这个规律是可以证明的
先看规律:
x为奇数,y为奇数:SG=0
x为偶数,y为偶数:SG=SG(x/2 , y/2)+1
x为奇数,y为偶数:SG=SG((x+1)/2 , y/2)+1
x为偶数,y为奇数:SG=SG(x/2 , (y+1)/2)+1
即寻找如下最小的k使得 $ i - 1 < 2 ^ k (mod 2 ^ (k + 1))$
证明如下:
引理一:
当去掉一堆后,剩下的一堆为奇数时,这些后继的的 mex 值为 0,
用数学归纳法证明:
- 1不合法,最小合法的奇数为 3,当该数为 3 时,显然成立。
- 假设小于奇数n的奇数均满足此性质,因为一个奇数 n 一定能切仅能分解成一个奇数和一个偶数的后继,这个后继因为其中有一个奇数,所以该后继的后继一定有 0,所以这个后继的 SG 值一定大于 0,所以n的 SG 值一定为 0
由引理一可以得出当剩下的一堆为偶数时,该状态的 SG 值一定不为 0
当两个数均为奇数时,SG 为 0,规律一得证
当两个数一奇一偶时, SG 一定不为 0 ,且只有剩下偶数堆时对 SG 值才有贡献。
引理二:
当去掉一堆后,剩下的一堆为偶数 n 时,这些后继的 mex 值为 SG(n/2) + 1 , 2 的后继的 mex 为 1
数学归纳法证明:
一个偶数 n 一定能分解成两个奇数,所以后继中一定有 0 (引理一)
一个大于 2 的偶数 n 一定能分解成两个偶数,且分解出的偶数的集合为{2, 4, ……, n - 2}
。。。翻车了
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;
int SG(int n,int m)
{
if(n&1&&m&1)return 0;
if(!(n&1)&&!(m&1))return SG(n>>1,m>>1)+1;
if(!(n&1)&&m&1)return SG(n>>1,(m+1)>>1)+1;
if(n&1&&!(m&1))return SG((n+1)>>1,m>>1)+1;
}
int main()
{
int T;
scanf("%d",&T);
while(T--)
{
int n,ans=0;
scanf("%d",&n);
for(int i=1;i<=(n>>1);i++)
{
int x,y;
scanf("%d%d",&x,&y);
ans^=SG(x,y);
}
if(ans)puts("YES");
else puts("NO");
}
}
洛谷 [P2148] E&G的更多相关文章
- 洛谷P2148 [SDOI2009]E&D(博弈论)
洛谷题目传送门 先安利蒟蒻仍在施工的博弈论总结 首先根据题目,石子被两两分组了,于是根据SG定理,我们只要求出每一组的SG值再全部异或起来就好啦. 把每一对数看成一个ICG,首先,我们尝试构造游戏的状 ...
- 洛谷P2148 E&D——打表
题目:https://www.luogu.org/problemnew/show/P2148 先打表找个规律: #include<iostream> #include<cstdio& ...
- 洛谷P2115 Sabotage G 题解
题目 [USACO14MAR]Sabotage G 题解 本蒟蒻又来了,这道题可以用二分答案来解决.我们可以设答案最小平均产奶量为 \(x \ (x \in[1,10000])\) .然后二分搜索 \ ...
- 洛谷 [USACO17OPEN]Bovine Genomics G奶牛基因组(金) ———— 1道骗人的二分+trie树(其实是差分算法)
题目 :Bovine Genomics G奶牛基因组 传送门: 洛谷P3667 题目描述 Farmer John owns NN cows with spots and NN cows without ...
- 不失一般性和快捷性地判定决策单调(洛谷P1912 [NOI2009]诗人小G)(动态规划,决策单调性,单调队列)
洛谷题目传送门 闲话 看完洛谷larryzhong巨佬的题解,蒟蒻一脸懵逼 如果哪年NOI(放心我这样的蒟蒻是去不了的)又来个决策单调性优化DP,那蒟蒻是不是会看都看不出来直接爆\(0\)?! 还是要 ...
- BZOJ1563/洛谷P1912 诗人小G 【四边形不等式优化dp】
题目链接 洛谷P1912[原题,需输出方案] BZOJ1563[无SPJ,只需输出结果] 题解 四边形不等式 什么是四边形不等式? 一个定义域在整数上的函数\(val(i,j)\),满足对\(\for ...
- 【题解】洛谷P3119 Grass Cownoisseur G
题面:洛谷P3119 Grass Cownoisseur G 本人最近在熟悉Tarjan的题,刷了几道蓝题后,我飘了 趾高气扬地点开这道紫题,我一瞅: 哎呦!这不是分层图吗? 突然就更飘了~~~ 用时 ...
- 洛谷 P3659 [USACO17FEB]Why Did the Cow Cross the Road I G
//神题目(题目一开始就理解错了)... 题目描述 Why did the cow cross the road? Well, one reason is that Farmer John's far ...
- 洛谷P1710 地铁涨价
P1710 地铁涨价 51通过 339提交 题目提供者洛谷OnlineJudge 标签O2优化云端评测2 难度提高+/省选- 提交 讨论 题解 最新讨论 求教:为什么只有40分 数组大小一定要开够 ...
随机推荐
- (转)linux自动备份oracle数据库并上传到备份服务器 脚本实现
实际项目中,备份数据是不可缺少的一步,完成数据的自动备份减少个人的工作量,是我们的目标.之前很少写过脚本,不过这些简单的操作还是可以做到的!话不多说,开始具体介绍:oracle版本:10.2.0操作系 ...
- Kafka-broker配置说明
配置文件在config/server.properties 下面的一些配置可能是你需要进行修改的. broker.id 整数,建议根据ip区分 log.dirs kafka存放消息文件的路径, 默认/ ...
- select *from where 和select *from jion on 语句的差别
https://zhidao.baidu.com/question/541791438.html select 学号 a,成绩 a,姓名 b from 成绩表 a,学生表 b where a.学号=b ...
- DaemonSet 案例分析
本节详细分析两个 k8s 自己的 DaemonSet:kube-flannel-ds 和 kube-proxy . kube-flannel-ds 下面我们通过分析 kube-flannel-ds 来 ...
- shell脚本,怎么实现每次新开一个shell都输出一个提示语?
[root@localhost wyb]# cat test.sh echo -e "\033[32mhello,This is wangyuebo's shell\033[0m" ...
- vba练习资料
链接:https://pan.baidu.com/s/1E0e58rZ_3QCCorWNM-ehSA 提取码:jluf
- 【实用工具】Teleport Pro爬取整个网站镜像到本地
1. 使用Teleport Pro可以完全或部分下载一个网站上的内容,在硬盘上创建一个与原网站完全相同的镜象,使用户能够离线浏览 Teleport Pro的安装以及基本使用 在菜单栏Project下得 ...
- 刚毕业去面试Python工程师,这几道题太难了,Python面试题No11
写在前面 本想停一段时间这个系列,但是好多朋友给我发信息说让我继续整理下去,so,继续吧~ 第1题: docstring是什么? docstring是一种文档字符串,用于解释构造的作用.我们在函数.类 ...
- (转)git clone: error: RPC failed; result=18, HTTP code = 200 解决办法
git clone: error: RPC failed; result=18, HTTP code = 200 解决办法 分类: git2013-09-01 17:03 10753人阅读 评论(2) ...
- Vector模板类----构造与析构
/* 基于C++平台*/ typedef int rank; //用int来定义 “秩” 这种概念 #define DEFAULT_CAPACIITY 3 //默认初始容量,实际应用中可以取更大的值 ...