`
peizhiinfo
  • 浏览: 1428639 次
文章分类
社区版块
存档分类
最新评论

深入剖析位运算

 
阅读更多

什么是位运算呢?

程序中的所有数都是在计算机内存中都是以二进制的形式储存的。说白了,就是在内存中直接对整数进行操作。由于位运算直接对内存数据进行操作,不需要转成十进制,因此处理速度非常快。下面将讲解一下如何用位运算优化你的程序。

各种位运算的使用
=== 1. &运算===
&运算通常用于二进制取位操作,例如一个数& 1的结果就是取二进制的最末位。这可以用来判断一个整数的奇偶,二进制的最末位为0表示该数为偶数,最末位为1表示该数为奇数.

=== 2. |运算===
|运算通常用于二进制特定位上的无条件赋值,例如一个数|1的结果就是把二进制最末位强行变成1。如果需要把二进制最末位变成0,对这个数| 1之后再减一就可以了,其实际意义就是把这个数强行变成最接近的偶数。

=== 3.^运算===
^运算通常用于对二进制的特定一位进行取反操作,因为异或可以这样定义:0和1异或0都不变,异或1则取反。
^运算的逆运算是它本身,也就是说两次异或同一个数最后结果不变,即(a ^ b) ^ b = a。xor运算可以用于简单的加密。
下面我们看另外一个东西。定义两个符号#和@,这两个符号互为逆运算,也就是说(x # y) @ y = x。现在依次执行下面三条命令,结果是什么?
x <- x # y
y <- x @ y
x <- x @ y
执行了第一句后x变成了x # y。那么第二句实质就是y <- x # y @ y,由于#和@互为逆运算,那么此时的y变成了原来的x。第三句中x实际上被赋值为(x # y) @ x,如果#运算具有交换律,那么赋值后x就变成最初的y了。这三句话的结果是,x和y的位置互换了。
加法和减法互为逆运算,并且加法满足交换律。把#换成+,把@换成-,我们可以写出一个不需要临时变量的swap过程。


好了,刚才不是说^的逆运算是它本身吗?于是我们就有了一个看起来非常诡异的swap过程。


=== 4. ~运算===

~运算的定义是把内存中的0和1全部取反。使用~运算时要格外小心,你需要注意整数类型有没有符号。如果~的对象是无符号整数(不能表示负数),那么得到的值就是它与该类型上界的差,因为无符号类型的数是用$0000到$FFFF依次表示的。下面的两个程序(仅语言不同)均返回65435。


如果~的对象是有符号的整数,情况就不一样了,稍后我们会在“整数类型的储存”小节中提到。

=== 5. <<运算===
a << b就表示把a转为二进制后左移b位(在后面添b个0)。例如100的二进制为1100100,而110010000转成十进制是400,那么100 << 2 = 400。可以看出,a shl b的值实际上就是a乘以2的b次方,因为在二进制数后添一个0就相当于该数乘以2。
通常认为a << 1比a * 2更快,因为前者是更底层一些的操作。因此程序中乘以2的操作请尽量用左移一位来代替。
定义一些常量可能会用到<<运算。你可以方便地用1 << 16 – 1来表示65535。很多算法和数据结构要求数据规模必须是2的幂,此时可以用shl来定义Max_N等常量。

=== 6. >>运算===
和<<相似,a >> b表示二进制右移b位(去掉末b位),相当于a除以2的b次方(取整)。我们也经常用>> 1来代替div 2,比如二分查找、堆的插入操作等等。想办法用>>代替除法运算可以使程序效率大大提高。最大公约数的二进制算法用除以2操作来代替慢得出奇的mod运算,效率可以提高60%。

位运算的简单应用
有时我们的程序需要一个规模不大的Hash表来记录状态。比如,做数独时我们需要27个Hash表来统计每一行、每一列和每一个小九宫格里已经有哪些数了。此时,我们可以用27个小于2^9的整数进行记录。例如,一个只填了2和5的小九宫格就用数字18表示(二进制为000010010),而某一行的状态为511则表示这一行已经填满。需要改变状态时我们不需要把这个数转成二进制修改后再转回去,而是直接进行位操作。在搜索时,把状态表示成整数可以更好地进行判重等操作。这道题是在搜索中使用位运算加速的经典例子。以后我们会看到更多的例子。
下面列举了一些常见的二进制位的变换操作。

功能 |示例 |位运算
———————-+—————————+——————–
去掉最后一位| (101101->10110) | x shr 1
在最后加一个0 | (101101->1011010) | x shl 1
在最后加一个1 | (101101->1011011) | x shl 1+1
把最后一位变成1 | (101100->101101)| x or 1
把最后一位变成0 | (101101->101100)| x or 1-1
最后一位取反| (101101->101100)| x xor 1
把右数第k位变成1 | (101001->101101,k=3) | x or (1 shl (k-1))
把右数第k位变成0 | (101101->101001,k=3) | x and not (1 shl (k-1))
右数第k位取反 | (101001->101101,k=3) | x xor (1 shl (k-1))
取末三位 | (1101101->101) | x and 7
取末k位 | (1101101->1101,k=5) | x and (1 shl k-1)
取右数第k位 | (1101101->1,k=4) | x shr (k-1) and 1
把末k位变成1 | (101001->101111,k=4) | x or (1 shl k-1)
末k位取反 | (101001->100110,k=4) | x xor (1 shl k-1)
把右边连续的1变成0| (100101111->100100000)| x and (x+1)
把右起第一个0变成1| (100101111->100111111)| x or (x+1)
把右边连续的0变成1| (11011000->11011111) | x or (x-1)
取右边连续的1 | (100101111->1111) | (x xor (x+1)) shr 1
去掉右起第一个1的左边| (100101000->1000) | x and(x xor (x-1))

最后这一个在树状数组中会用到。

整数类型的储存
我们前面所说的位运算都没有涉及负数,都假设这些运算是在unsigned/word类型(只能表示正数的整型)上进行操作。但计算机如何处理有正负符号的整数类型呢?下面两个程序都是考察16位整数的储存方式

程序的输出均为0 1 -2 -1 32767 -32768。其中前两个数是内存值最小的时候,中间两个数则是内存值最大的时候,最后输出的两个数是正数与负数的分界处。由此你可以清楚地看到计算机是如何储存一个整数的:计算机用$0000到$7FFF依次表示0到32767的数,剩下的$8000到$FFFF依次表示-32768到-1的数。32位有符号整数的储存方式也是类似的。稍加注意你会发现,二进制的第一位是用来表示正负号的,0表示正,1表示负。这里有一个问题:0本来既不是正数,也不是负数,但它占用了$0000的位置,因此有符号的整数类型范围中正数个数比负数少一个。对一个有符号的数进行not运算后,最高位的变化将导致正负颠倒,并且数的绝对值会差1。也就是说,not a实际上等于-a-1。这种整数储存方式叫做“补码”。

二进制中的1有奇数个还是偶数个()

我们可以用下面的代码来计算一个32位整数的二进制中1的个数的奇偶性,当输入数据的二进制表示里有偶数个数字1时程序输出0,有奇数个则输出1。例如,1314520的二进制101000000111011011000中有9个1,则x=1314520时程序输出1。

为了说明上面这段代码的原理,我们还是拿1314520出来说事。1314520的二进制为101000000111011011000,第一次异或操作的结果如下:

00000000000101000000111011011000
XOR0000000000010100000011101101100
—————————————
00000000000111100000100110110100

得到的结果是一个新的二进制数,其中右起第i位上的数表示原数中第i和i+1位上有奇数个1还是偶数个1。比如,最右边那个0表示原数末两位有偶数个1,右起第3位上的1就表示原数的这个位置和前一个位置中有奇数个1。对这个数进行第二次异或的结果如下:

00000000000111100000100110110100
XOR 000000000001111000001001101101
—————————————
00000000000110011000101111011001

结果里的每个1表示原数的该位置及其前面三个位置中共有奇数个1,每个0就表示原数对应的四个位置上共偶数个1。一直做到第五次异或结束后,得到的二进制数的最末位就表示整个32位数里有多少个1,这就是我们最终想要的答案。

计算二进制中的1的个数

同样假设x是一个32位整数。经过下面五次赋值后,x的值就是原数的二进制表示中数字1的个数。



为了便于解说,我们下面仅说明这个程序是如何对一个8位整数进行处理的。我们拿数字211来开刀。211的二进制为11010011。

+—+—+—+—+—+—+—+—+
| 1 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | <—原数
+—+—+—+—+—+—+—+—+
|1 0|0 1|0 0|1 0| <—第一次运算后
+——-+——-+——-+——-+
|0 0 1 1|0 0 1 0| <—第二次运算后
+—————+—————+
|0 0 0 0 0 1 0 1| <—第三次运算后,得数为5
+——————————-+

整个程序是一个分治的思想。第一次我们把每相邻的两位加起来,得到每两位里1的个数,比如前两位10就表示原数的前两位有2个1。第二次我们继续两两相加,10+01=11,00+10=10,得到的结果是00110010,它表示原数前4位有3个1,末4位有2个1。最后一次我们把0011和0010加起来,得到的就是整个二进制中1的个数。程序中巧妙地使用取位和右移,比如第二行中$33333333的二进制为00110011001100….,用它和x做&运算就相当于以2为单位间隔取数。>>的作用就是让加法运算的相同数位对齐。

二分查找32位整数的前导0个数
程序思想是二分查找

只用位运算来取绝对值

假设x为32位整数,则x xor (not (x shr 31) + 1) + x shr 31的结果是x的绝对值
x shr 31是二进制的最高位,它用来表示x的符号。如果它为0(x为正),则not (x shr 31) + 1等于$00000000,异或任何数结果都不变;如果最高位为1(x为负),则not (x shr 31) + 1等于$FFFFFFFF,x异或它相当于所有数位取反,异或完后再加一。

二进制逆序



它的原理和刚才求二进制中1的个数那个例题是大致相同的。程序首先交换每相邻两位上的数,以后把互相交换过的数看成一个整体,继续进行以2位为单位、以4位为单位的左右对换操作。我们再次用8位整数211来演示程序执行过程:
+—+—+—+—+—+—+—+—+
| 1 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | <—原数
+—+—+—+—+—+—+—+—+
|1 1|1 0|0 0|1 1| <—第一次运算后
+——-+——-+——-+——-+

|1 0 1 1|1 1 0 0| <—第二次运算后
+—————+—————+
|1 1 0 0 1 0 1 1| <—第三次运算后
+——————————-+


分享到:
评论

相关推荐

    深入剖析浮点存储及其运算规则

    深入剖析浮点存储及其运算规则 在数学运算当中经常会涉及到判断两个数是否相等的情况 对于整数很好处理 A==B这样的一个语句就可以解决全部的问题 但是对于浮点数是不同的

    计算机数据处理的运算速度影响因素探讨

    深入剖析计算机数据处理的运算速度的影响因素,包括中央处理器、计算机内存、计算机硬盘等方面,得出了中央处理器、计算机内存、计算机硬盘是影响计算机数据处理的运算速度的主要因素的结论,建议全面优化,以提高...

    基于RSA算法的加密与解密系统研发全套论文

    本文从RSA加密算法入手,对算法进行深入剖析,在必要处给出了理论证明。对于原算法中密钥生成部分的一些细节进行了小的改动,使得用户在使用时更加智能。对于RSA加密过程必须的大整数的存储以及相关加、减、乘、除、...

    调研报告《网络安全》

    随着计算机技术的发展,在计算机上处理业务已由基于单机的数学运算、文件处理,基于简单连结的内部网络的内部业务处理、办公自动化等...本文将对计算机信息网络安全存在的问题进行深入剖析,并提出相应的安全防范措施

    java深入解析

    56 话题11 强大相径庭——相除与求余在Java中的具体表现 61 话题12 移形换位——移位运算的真实剖析 75 话题13 鞭辟近里——条件运算符(?:)的类型深入 81 话题14 井然有序——运算顺序的详细挖掘 86 话题15 ...

    打造高性能Java应用需掌握的5大知识

    对java性能比较关心的同学大概都知道这本书,性能这个东西可能是很多同学在日常写java code的时候很少去关心的,但是在我们写code的过程中确又时时离不开对程序性能的影响,小到我们使用位运算来实现算术运算,大到...

    精通matlab7光盘内容分享-精通matlab7源程序.rar

    主要讲述matlab的基本使用,分别为:基础入门、matlab桌面、数组及其操作、多维数组及其操作、数据类型概述和数值类型、结构体和元胞数组、字符串、关系运算和逻辑运算、程序控制流、函数、m文件调试和剖析、目录...

    宋劲彬的嵌入式C语言一站式编程

    1.1. 按位与、或、异或、取反运算 1.2. 移位运算 1.3. 掩码 1.4. 异或运算的一些特性 2. 其它运算符 2.1. 复合赋值运算符 2.2. 条件运算符 2.3. 逗号运算符 2.4. sizeof运算符与typedef类型声明 3. Side Effect与...

    史上最全韩顺平传智播客PHP就业班视频,10月份全集

    9-26 5 javascript算术运算符及位运算 9-26 6 javascript三大流程控制 9-27 1 课程回顾 9-27 2 循环控制 金字塔的输出 9-27 3 循环控制 js的调试方法 9-27 4 函的数定义分类及使用 9-27 5 函数的调用 递归及深入使用...

    史上最全传智播客PHP就业班视频课,8月份视频

    9-26 5 javascript算术运算符及位运算 9-26 6 javascript三大流程控制 9-27 1 课程回顾 9-27 2 循环控制 金字塔的输出 9-27 3 循环控制 js的调试方法 9-27 4 函的数定义分类及使用 9-27 5 函数的调用 递归及深入使用...

    (全)传智播客PHP就业班视频完整课程

    9-26 5 javascript算术运算符及位运算 9-26 6 javascript三大流程控制 9-27 1 课程回顾 9-27 2 循环控制 金字塔的输出 9-27 3 循环控制 js的调试方法 9-27 4 函的数定义分类及使用 9-27 5 函数的调用 递归及深入使用...

    韩顺平PHP JS JQUERY 所有视频下载种子 货真价实

    9-26 5 javascript算术运算符及位运算 9-26 6 javascript三大流程控制 9-27 1 课程回顾 9-27 2 循环控制 金字塔的输出 9-27 3 循环控制 js的调试方法 9-27 4 函的数定义分类及使用 9-27 5 函数的调用 递归及深入使用...

    史上最全韩顺平传智播客PHP就业班视频,9月份全集

    9-26 5 javascript算术运算符及位运算 9-26 6 javascript三大流程控制 9-27 1 课程回顾 9-27 2 循环控制 金字塔的输出 9-27 3 循环控制 js的调试方法 9-27 4 函的数定义分类及使用 9-27 5 函数的调用 递归及深入使用...

    双馈式\双馈型风力发电变流器及其控制

    压源和电压频率下垂特性对电网运行特性进行模拟的方法,降低了仿真运算量,提高了仿真效率" 2.利用了双馈电机的/T0型等效电路对其运行控制机理进行了分析,在此基础上对双馈电机 的定子磁链定向矢量控制策略和电网虚拟...

    C语言入门经典(第4版)--源代码及课后练习答案

    1.5 剖析一个简单的程序 6 1.5.1 注释 6 1.5.2 预处理指令 7 1.5.3 定义main()函数 7 1.5.4 关键字 8 1.5.5 函数体 8 1.5.6 输出信息 9 1.5.7 参数 10 1.5.8 控制符 10 1.6 用C语言开发程序 12 1.6.1 ...

    《实例解读模拟电子技术完全学习与应用》电子书下载地址

    《实例解读模拟电子技术完全学习与应用(配教学视频)》通过丰富多彩的应用实例,由浅入深地剖析模拟电子电路各方面的知识。例如,通过电子地动仪的介绍带领读者进入电子学的殿堂,通过USB充电器和电池保护器介绍有关...

    IOI国家集训队论文集1999-2019

    + [数位问题](#数位问题) + [动态统计](#动态统计) + [博弈](#博弈) + [母函数](#母函数) + [拟阵](#拟阵) + [线性规划](#线性规划) + [置换群](#置换群) + [问答交互](#问答交互) + [猜数问题](#猜数问题)...

    Oracle SQL高级编程(资深Oracle专家力作,OakTable团队推荐)--随书源代码

    同时是一位演讲家及Oracle ACE。  JARED STILL 从1994年就开始使用Oracle。他认为对于SQL的学习是永无止境的,相信每一个查询Oracle数据库的人都需要精通SQL语言,才能写出高效的查询。他参与本书的编写就是为了...

    代码优化:有效使用内存.part3

    本书系统深入地介绍了各种代码优化编程技术。全书分为4章。第1章集中介绍如何确定程序中消耗CPU时钟最多的热点代码的所谓程序剖析技术以及典型部分工具的实用知识。第2,3章分别全面介绍RAM了系统与高速缓存子系统的...

Global site tag (gtag.js) - Google Analytics