![](https://img-blog.csdnimg.cn/20201014180756927.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
离散数学
Omigeq
这个作者很懒,什么都没留下…
展开
-
第k个格雷码为k xor (k>>1)的简单理解证明
大神没有给出详细的证明,评论区也没看到证明,我在网上也找不到证明,于是自己证了一波(不会是前无古人吧,但我真的找不到其他人的证明了,百科上甚至没有这个结论,如果有前人的证明请告诉我,我信息检索能力不太行QWQ),并且给出一种可能的推出这个结论的思路(当然蒟蒻没有看到结论之前是想不出的QWQ)。如果k的最低位为0,则k+1最低位为1,没有产生进位,此时要使式子只有一位为1,将k和k+1异或即可,我们假设不知道这个结论,我们寻找一种结论来用k表示Gk。如果k的最低位为1,则k+1最低位为0,此时发生了进位。..原创 2022-08-02 22:50:17 · 659 阅读 · 3 评论 -
利用矩阵判断二元关系的传递性的简易方法
有任何问题欢迎指出。参考教材:离散数学及其应用Discrete Mathematics and its Applycations the Eighth Edition by Kenneth H.Rosen原创 2021-11-09 12:34:45 · 1788 阅读 · 0 评论