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. 1不合法,最小合法的奇数为 3,当该数为 3 时,显然成立。
  2. 假设小于奇数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的更多相关文章

  1. 洛谷P2148 [SDOI2009]E&D(博弈论)

    洛谷题目传送门 先安利蒟蒻仍在施工的博弈论总结 首先根据题目,石子被两两分组了,于是根据SG定理,我们只要求出每一组的SG值再全部异或起来就好啦. 把每一对数看成一个ICG,首先,我们尝试构造游戏的状 ...

  2. 洛谷P2148 E&D——打表

    题目:https://www.luogu.org/problemnew/show/P2148 先打表找个规律: #include<iostream> #include<cstdio& ...

  3. 洛谷P2115 Sabotage G 题解

    题目 [USACO14MAR]Sabotage G 题解 本蒟蒻又来了,这道题可以用二分答案来解决.我们可以设答案最小平均产奶量为 \(x \ (x \in[1,10000])\) .然后二分搜索 \ ...

  4. 洛谷 [USACO17OPEN]Bovine Genomics G奶牛基因组(金) ———— 1道骗人的二分+trie树(其实是差分算法)

    题目 :Bovine Genomics G奶牛基因组 传送门: 洛谷P3667 题目描述 Farmer John owns NN cows with spots and NN cows without ...

  5. 不失一般性和快捷性地判定决策单调(洛谷P1912 [NOI2009]诗人小G)(动态规划,决策单调性,单调队列)

    洛谷题目传送门 闲话 看完洛谷larryzhong巨佬的题解,蒟蒻一脸懵逼 如果哪年NOI(放心我这样的蒟蒻是去不了的)又来个决策单调性优化DP,那蒟蒻是不是会看都看不出来直接爆\(0\)?! 还是要 ...

  6. BZOJ1563/洛谷P1912 诗人小G 【四边形不等式优化dp】

    题目链接 洛谷P1912[原题,需输出方案] BZOJ1563[无SPJ,只需输出结果] 题解 四边形不等式 什么是四边形不等式? 一个定义域在整数上的函数\(val(i,j)\),满足对\(\for ...

  7. 【题解】洛谷P3119 Grass Cownoisseur G

    题面:洛谷P3119 Grass Cownoisseur G 本人最近在熟悉Tarjan的题,刷了几道蓝题后,我飘了 趾高气扬地点开这道紫题,我一瞅: 哎呦!这不是分层图吗? 突然就更飘了~~~ 用时 ...

  8. 洛谷 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 ...

  9. 洛谷P1710 地铁涨价

    P1710 地铁涨价 51通过 339提交 题目提供者洛谷OnlineJudge 标签O2优化云端评测2 难度提高+/省选- 提交  讨论  题解 最新讨论 求教:为什么只有40分 数组大小一定要开够 ...

随机推荐

  1. (转)linux自动备份oracle数据库并上传到备份服务器 脚本实现

    实际项目中,备份数据是不可缺少的一步,完成数据的自动备份减少个人的工作量,是我们的目标.之前很少写过脚本,不过这些简单的操作还是可以做到的!话不多说,开始具体介绍:oracle版本:10.2.0操作系 ...

  2. Kafka-broker配置说明

    配置文件在config/server.properties 下面的一些配置可能是你需要进行修改的. broker.id 整数,建议根据ip区分 log.dirs kafka存放消息文件的路径, 默认/ ...

  3. select *from where 和select *from jion on 语句的差别

    https://zhidao.baidu.com/question/541791438.html select 学号 a,成绩 a,姓名 b from 成绩表 a,学生表 b where a.学号=b ...

  4. DaemonSet 案例分析

    本节详细分析两个 k8s 自己的 DaemonSet:kube-flannel-ds 和 kube-proxy . kube-flannel-ds 下面我们通过分析 kube-flannel-ds 来 ...

  5. shell脚本,怎么实现每次新开一个shell都输出一个提示语?

    [root@localhost wyb]# cat test.sh echo -e "\033[32mhello,This is wangyuebo's shell\033[0m" ...

  6. vba练习资料

    链接:https://pan.baidu.com/s/1E0e58rZ_3QCCorWNM-ehSA 提取码:jluf

  7. 【实用工具】Teleport Pro爬取整个网站镜像到本地

    1. 使用Teleport Pro可以完全或部分下载一个网站上的内容,在硬盘上创建一个与原网站完全相同的镜象,使用户能够离线浏览 Teleport Pro的安装以及基本使用 在菜单栏Project下得 ...

  8. 刚毕业去面试Python工程师,这几道题太难了,Python面试题No11

    写在前面 本想停一段时间这个系列,但是好多朋友给我发信息说让我继续整理下去,so,继续吧~ 第1题: docstring是什么? docstring是一种文档字符串,用于解释构造的作用.我们在函数.类 ...

  9. (转)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) ...

  10. Vector模板类----构造与析构

    /* 基于C++平台*/ typedef int rank; //用int来定义 “秩” 这种概念 #define DEFAULT_CAPACIITY 3 //默认初始容量,实际应用中可以取更大的值 ...