位运算chapter6：模拟模运算和底层规律--从三等式到四等价

雅丶傲天凝影

已于 2024-08-02 00:02:16 修改

阅读量648

点赞数 21

分类专栏：位运算文章标签： c++ 算法开发语言

于 2024-08-01 23:59:15 首次发布

本文链接：https://blog.csdn.net/2301_79691274/article/details/140858518

版权

位运算专栏收录该内容

10 篇文章 0 订阅

订阅专栏

三等式

n % 2 == n & 1
n % 4 == n & 3
n % 8 == n & 7

不难发现其中的规律就是n % $2^k$ == n & ( $2^k$ -1)
下面以14%8为例简易分析

分析与证明

我们可以通过具体例子14 % 8来验证上述规律，并进一步分析其内在的原理。

例子：14 % 8 和 14 & 7

计算14 % 8:
- 根据模运算的定义，14 % 8等于14除以8的余数。
- 14除以8得到商为1，余数为6，因此14 % 8 = 6。
二进制表示:

14的二进制表示是：1110

8的二进制表示是：1000

7的二进制表示是：0111
计算14 & 7:
```
1110
0111
----
0110
```
因此，14 & 7 = 6。
- 按位与运算时，只保留同时为1的位，其他位为0。

从这个例子可以看到，14 % 8和14 & 7的结果相同，均为6。

一般情况分析

对于任意整数，我们要证明 n % $2^k$ == n & ( $2^k$ -1)。

模运算 n % $2^k$ :
- 计算 n 除以 $2^k$ 的余数。余数为 n 被 $2^k$ 整除后的剩余部分。
按位与运算 n & ( $2^k$ -1):
- $2^k$ -1的二进制表示是k个1，即 ${\overset{k}{\overbrace{111...111}}}$ 。与运算&只保留 n 的最低 k 位，其他高位被清零。

当我们进行模运算时，实际上就是在“截断”二进制数的高位，只保留低位。
对 $2^k$ 取模的结果与保留二进制表示中最低 k 位的值是等价的。
因此，这个运算的结果等同于模运算的结果。
对于这个定理n % $2^k$ == n & ( $2^k$ -1)，尽管左边已经因为二进制的局限而无法变动，但是右边 $2^k$ -1是否能换成其他更一般的数呢？答案是可以的。

周期性性质

模运算具有周期性，n & p 同样具有周期性，并且周期为 $2^k$ ，k为p的二进制位数。

注意，如果 n 对一个不是 $2^k$ 的数取模，在二进制下是没有办法转化为位运算的，包括下面的内容，也基本围绕 n % $2^k$ 进行阐述。

四等价

a|b==a+b $\Leftrightarrow$ a^b==a+b $\Leftrightarrow$ a|b==a^b $\Leftrightarrow$ k&a+k&b==k&(a+b)

这四个等式全都互相等价，知一推三，这里不详细展开证明。
通俗的讲，两个数的位运算和加法相等，更深层次的，两个数的加法不在二进制位上产生进位，那么这两个数可以使位运算满足结合律，本质上是将加法的性质迁移到位运算上。两个数的相加如果在二进制位上产生进位，那么不管是|还是^运算，都会使信息丢失而不满足加法的结果。

通过n % $2^k$ == n & ( $2^k$ -1)这个恒等式，可以将n%8==1||n%8==3转变为n&7==1&&n&7==3，但是这样的描述好像有些累赘了，有没有更简便的写法呢？有。就是n&5==1。

根据周期性和四等价的底层关系，可以得出n&1+n&4==n&5，那么，k&5同样是具有周期为8的循环的，其中，k&4是以0,0,0,0,4,4,4,4为一个周期的，k&1是以0,1为一个周期的，在这两者叠加之下，模等于1和模等于3在&5下就被特化成了'1'。

另一种角度，更底层的，5的二进制表达式是101，其中第二位为0，那么在&5面前，1和3的结果是一样的，因为第二位的信息会被抹除。也可以利用n&5来构造其他和模8有关的条件：

n&5==0 $\Leftrightarrow$ n%8==0||n%8==2
n&5==1 $\Leftrightarrow$ n%8==1||n%8==3
n&5==4 $\Leftrightarrow$ n%8==4||n%8==6
n&5==5 $\Leftrightarrow$ n%8==5||n%8==7

类似的，如果要构造出n%4==2||n%4==3这个条件，那么可以等价为n&2==1。

雅丶傲天凝影

关注

21
点赞
踩
20

收藏

觉得还不错? 一键收藏
0
评论
位运算chapter6：模拟模运算和底层规律--从三等式到四等价

根据周期性和四等价的底层关系，可以得出n&1+n&4==n&5，那么，k&5同样是具有周期为8的循环的，其中，k&4是以0,0,0,0,4,4,4,4为一个周期的，k&1是以0,1为一个周期的，在这两者叠加之下，模等于1和模等于3在&5下就被特化成了'1'。-1)这个恒等式，可以将n%8==1||n%8==3转变为n&7==1&&n&7==3，但是这样的描述好像有些累赘了，有没有更简便的写法呢？类似的，如果要构造出n%4==2||n%4==3这个条件，那么可以等价为n&2==1。，k为p的二进制位数。
复制链接

扫一扫