第k个格雷码为k xor (k＞＞1)的简单理解证明

Omigeq

已于 2022-08-02 22:56:01 修改

阅读量773

点赞数 8

分类专栏：离散数学文章标签：数学

于 2022-08-02 22:50:17 首次发布

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/Omigeq/article/details/126131458

版权

离散数学专栏收录该内容

2 篇文章 1 订阅

订阅专栏

蒟蒻今天刷到Codeforces的1163E，不会，看答案，要用到线性基和格雷码的构造法。
又去看了洛谷的P5657 [CSP-S2019] 格雷码，发现题解第一位的大神给出了一个极其巧妙的结论：第k个格雷码Gk = k xor (k>>1)（k从0数起），即 $G_{k}= k \oplus \left \lfloor \frac{k}{2} \right \rfloor= k \oplus (k>>1)$
大神原题解：
大神没有给出详细的证明，评论区也没看到证明，我在网上也找不到证明，于是自己证了一波（不会是前无古人吧，但我真的找不到其他人的证明了，百科上甚至没有这个结论，如果有前人的证明请告诉我，我信息检索能力不太行QWQ），并且给出一种可能的推出这个结论的思路（当然蒟蒻没有看到结论之前是想不出的QWQ）。

我们假设不知道这个结论，我们寻找一种结论来用k表示Gk。

首先考虑 $G_{k} \oplus G_{k+1}$ ，这个式子必须只有一位为1。

我们进行分类讨论：

① 如果k的最低位为0，则k+1最低位为1，没有产生进位，此时要使式子只有一位为1，将k和k+1异或即可， $G_{k} \oplus G_{k+1} = k \oplus (k+1) = 1$ 。

由这种情况我们可以假设 $G_{k} = k$ ，这在第一种情况成立，然而在第二种情况不成立。

② 如果k的最低位为1，则k+1最低位为0，此时发生了进位。

举个例子，

$k = (110100111)_{2}$

$k+1 = (110101000)_{2}$

则 $k \oplus (k+1) = (000001111)_{2}$

我们如何改进 $G_{k} = k$ 这个公式，使得这个公式既符合第一种情况又符合第二种情况呢？

只要把1111异或上0111就得到了1000。

我们容易发现 $k \oplus (k+1)>>1 = (000000111)_{2} = (k>>1) \oplus ((k+1)>>1)$

由异或运算的性质得到 $k \oplus (k+1) \oplus (k>>1) \oplus ((k+1)>>1) = k \oplus (k>>1) \oplus (k+1) \oplus ((k+1)>>1) = (000001000)_{2}$

观察容易知道我们若设 $G_{k}= k \oplus (k>>1)$ ，则符合第二种情况，同时也符合第一种情况。

这样就得到了这个符合全部情况的结论 $G_{k}= k \oplus \left \lfloor \frac{k}{2} \right \rfloor= k \oplus (k>>1)$

关注

8
点赞
踩
1

收藏

觉得还不错? 一键收藏
3
评论
复制链接

分享到 QQ

分享到新浪微博

扫一扫

专栏目录

评论 3

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。