三等式
n % 2 == n & 1
n % 4 == n & 3
n % 8 == n & 7
不难发现其中的规律就是n % == n & (
-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 % == n & (
-1)。
-
模运算 n %
:
- 计算 n 除以
的余数。余数为 n 被
整除后的剩余部分。
- 计算 n 除以
-
按位与运算 n & (
-1):
-1的二进制表示是k个1,即
。与运算&只保留 n 的最低 k 位,其他高位被清零。
- 当我们进行模运算时,实际上就是在“截断”二进制数的高位,只保留低位。
对取模的结果与保留二进制表示中最低 k 位的值是等价的。
因此,这个运算的结果等同于模运算的结果。 - 对于这个定理n %
== n & (
-1),尽管左边已经因为二进制的局限而无法变动,但是右边
-1是否能换成其他更一般的数呢?答案是可以的。
周期性性质
模运算具有周期性,n & p 同样具有周期性,并且周期为 ,k为p的二进制位数。
注意,如果 n 对一个不是 的数取模,在二进制下是没有办法转化为位运算的,包括下面的内容,也基本围绕 n %
进行阐述。
四等价
a|b==a+ba^b==a+b
a|b==a^b
k&a+k&b==k&(a+b)
这四个等式全都互相等价,知一推三,这里不详细展开证明。
通俗的讲,两个数的位运算和加法相等,更深层次的,两个数的加法不在二进制位上产生进位,那么这两个数可以使位运算满足结合律,本质上是将加法的性质迁移到位运算上。两个数的相加如果在二进制位上产生进位,那么不管是|还是^运算,都会使信息丢失而不满足加法的结果。
通过n % == n & (
-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
n%8==0||n%8==2
- n&5==1
n%8==1||n%8==3
- n&5==4
n%8==4||n%8==6
- n&5==5
n%8==5||n%8==7
类似的,如果要构造出n%4==2||n%4==3这个条件,那么可以等价为n&2==1。