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. Kubernetes介绍与特性

    1.Kubernetes 是什么 简单的来说,k8s可以理解为,一个容器平台,一个微服务平台,便携式云平台,我们那可以很快速的搭建一个服务,快速的运行起来 2.Kubernetes特性

  2. CPP-基础:C++中为什么需要一个头文件,一个cpp文件

    把文件分成头文件和源文件完全是为了方便扩展和组织程序 这么说吧 我们可能会自定义很多函数 而这些函数分别会在不同的地方被调用 甚至有些时候我们需要把一堆函数打包起来一起调用 比如#include &q ...

  3. 洛谷五月月赛【LGR-047】划水记

    虽然月赛有些爆炸,但我永远资瓷洛谷! 因为去接水,所以迟到了十几分钟,然后洛谷首页就打不开了-- 通过洛谷题库间接打开了比赛,看了看\(TA\),WTF?博弈论?再仔细读了读题,嗯,判断奇偶性,不过要 ...

  4. redhat7.3建两个网桥导致mac地址不一致解决办法

    将网卡配置文件中加入下面一行参数 NM_CONTROLLED=no

  5. java在线聊天项目 swt可视化窗口Design 好友列表窗口

    熟练使用各种布局方式 FlowLayout 流布局 left center right等 BorderLayout 边框布局 east west sorth north center Absolute ...

  6. P2261 bzoj1257 [CQOI2007]余数求和

    一道数论分块首先这类的求和写一下公式∑n%i=∑n-i*(n/i)= ∑n-∑i*(n/i) 前面的好求所以 ans=nk+∑k*(k/i);于是进行分块这里总结一下只要出现除法∑就进行分块由阿尔贝和 ...

  7. Linux配置使用SSH Key登录并禁用root密码登录(替换同理)

    Linux系统大多说都支持OpenSSH,生成公钥.私钥的最好用ssh-keygen命令,如果用putty自带的PUTTYGEN.EXE生成会不兼容OpenSSH,从而会导致登录时出现server r ...

  8. MySQL学习点滴

    MySQL学习点滴 --分区表 概述: 分区功能并不是在存储引擎层完成的,因此很多存储引擎包括InnoDB, MyISAM, NDB等都支持分区功能.但也并不是所有的存储引擎都支持分区.在使用分区前, ...

  9. Java使用Robot完成QQ轰炸机

    效果 网上吵架吵不过别人怎么办?女朋友让你从1数到10000怎么办?想恶搞朋友怎么办?QQ轰炸机你值得拥有!(注:为了更好的学习编程,敲的练手项目,仅作学习使用) 自定义发送内容,自定义发送条数,&q ...

  10. jmx_exportter+prometheus+grafana监控hadoop

    0.介绍(摘录自https://www.hi-linux.com/posts/25047.html) 什么是Prometheus? Prometheus是由SoundCloud开发的开源监控报警系统和 ...