若两个数的异或等于其最大公约数,则也必等于其差绝对值
引理:i和j二进制表示位数相同。用反证法。如果不同,则g=i^j的位数和i的相同,并且大于j的位数,从而有g\u0026gt;j,这与g=gcd(i^j)\u0026lt;=j矛盾。下面证明。记g有k位,i和j有n位,则i和j前(n-k)位相同,因此(i-j)不会超过k位,也就是小于
。由于,g有k位,所以
,也就是说小于
且是g倍数的数只有g一个。由于(i-j)是g=gcd(i,j)的倍数,所以i-j=gcd(i,j)。证毕。
■网友
异或大于等于差(的绝对值)GCD 小于等于差(的绝对值);前提是两个数不相等故异或和 GCD 相等时,它们都等于差的绝对值。
■网友
只需证明
即可。证明:不妨设
,若在某个二进制位
有
,那么容易知道交换
的值后
不变,但此时
增加(最后两者相等)。Q.E.D.
所以原命题 【若两个数的异或等于其最大公约数,则也必等于其差绝对值】
推荐阅读
- 扔鸡蛋壳等于在扔钱,留在家里特别“值钱”,作用花钱都买不到
- |舒适不等于无趣 试驾新款东风日产天籁
- 戒烟|一天内抽多少支烟,是人体能承受的极限?医生给个数,要心里有底
- 哪个数据库,可以直接做数据透视图(navicat类的也可以)
- 汽车知识|月薪要多少才够养一辆十万的车?大约需要这个数
- 胃癌|胃有点不舒服,咋成了胃癌?忽视4种小病,等于给癌细胞“开路”
- 私家车|私家车一年最少跑多少才算合格?老司机:跑不到这个数把车卖了吧
- CPM 点击率(CTR)、损失率 和 LandingPage 的跳出率,这几个数值之间关系,一般网站这些数值取值区间是多少
- 求助。php无限极分类。递归。咋数出来。每一个分类下面的小分类个数啊。希望有个demo谢谢!
- 哪里能获取美股月度成交金额的数据,找了好几个数据库都只有成交量
