问题

求两个整型变量的和,不能使用四则运算,但可以使用位运算。

思路

以二进制形式,考虑两个整数相加:

a = 01101001b

b = 11100111b

s =  ????????

一个常见的结论是:

我们在进行二进制加法的时候(类比十进制加法),若无进位,则直接写上结果;若有进位,则写一个进位标志,作为累计,在高位计算时加入。

也就是说,结果是由截断二进制位和及其进位标志相加而得的

思考:两个数的和 == 截断二进制位和+进位和,这种转化分解是否可行?

证明:讨论两个1bit相加出现的全部情况,一共有四种。

  1. 0 + 0 = 0 + 00
  2. 0 + 1 = 1 + 00
  3. 1 + 0 = 1 + 00
  4. 1 + 1 = 0 + 10

等式左边为一位相加,右边为截断结果s和进位c相加,可以看出,等式成立,因此这种转化方式可行

将等式记为:

a + b = s + c

我们来寻求a、b和s、c的关系。

很容易证明:

  • s=a^b,^表示异或,即a、b不同时返回0,相同时返回1。
  • c=(a&b)<<1,&表示与,即a、b都为1时返回1,否则返回0;<<表示二进制左移,<<1即乘以2。

这样,转化关系式就得出了:

a + b = a ^ b + (a & b) << 1

但是,在转化关系求出后,还存在一个问题:既然存在转化关系,就有递归调用(迭代),那递归的出口是什么?

如果可以求出递归出口,那么这个方法就完美了。

这相当于问:

a 和 b 有没有终止条件(或者说极限)?

我们假设a和b都是n位二进制数(补码表示,这样a和b的正负性不影响结果),令c=a+b。

初始时,用二进制表示,a = a[n-1] a[n-2] … a[1] a[0],b = b[n-1] b[n-2] … b[1] b[0],c = c[n-1] c[n-2] … c[1] c[0]。

第一次迭代。a=a^b;b=(a&b)<<1。b必为偶数,这样b[0]就是0,又由于a+b=c,故a[0]=c[0]-b[0]=c[0]。

结果为:

a = a[n-1] a[n-2] … a[2] a[1] c[0]

b = b[n-1] b[n-2] … b[2] b[1] 0

第二次迭代。对于a和b最后一位,运算后结果保持不变,所以问题就归结为a[n-1]~a[1]和b[n-1]~b[1]间的迭代。

结果为:

a = a[n-1] a[n-2] … a[2] c[1] c[0]

b = b[n-1] b[n-2] … b[2] 0 0

……

第n次迭代。递推可得:

a = c[n-1] c[n-2] … c[1] c[0]

b = 0 0 … 0 0

所以,a=c,b=0,这就是收敛条件,即递归出口。证毕。

我们还可以得出其他结论:

  1. 迭代次数的上界是n,超过n,立即收敛。
  2. 假如b的二进制表示的前缀0有许多,那么收敛速度将大大增加。
  3. 在迭代过程中,a呈指数增加,b呈指数减少,比率近似于2。
  4. 假如a和b当中有负数,结果也是正确的,因为位运算是纯二进制运算(补码表示)。

实现

function sum(a,b)
{
return b?sum(a^b,(a&b)<<1):a;
}

递归算法(三)——不借助四则运算实现加法的更多相关文章

  1. 剑指Offer(书):不用四则运算做加法

    题目:写一个函数,求两个整数之和,不得使用四则运算位运算. package com.gjjun.jzoffer; /** * 写一个函数,求两个整数之和,不得使用四则运算 * * @author gj ...

  2. Opengl_入门学习分享和记录_03_渲染管线(三)借助顶点数组对象VAO提高绑定属性效率

    目前我们已经知道了,如果想要顶点着色器解释理解我们的输入数据,就必须要按照以下繁琐的步骤:第一步:将输入的数据复制一份到缓冲区,供OpenGL使用.而这块新出现的区域由VBO管理和表示.(若有多个输入 ...

  3. 大数四则运算之加法运算--------C语言版(未考虑负数)

    /* 声明两个字符数组,用于存储大数,声明两个整数型数组便于计算,将字符数组中的元素转换为对应整数存于整数数组中,将低位放在整数数组低位,便于对齐计算 判断是否有进位,计算结果高位先输出,从数组后往前 ...

  4. JavaScript中交换两个变量的值得三种做法(代码实现)

    javascript在编程时经常会涉及到如何交换两个变量的值,例如常见的冒泡排序,快速排序等:下面我讲根据自己近期所学总结几种常见的交换两个变量值的方法: 方法一:借助第三方变量交换两个变量的值 va ...

  5. [剑指Offer]65-不用加减乘除做加法

    题目 写一个函数,求两个整数之和,要求在函数体内不得使用+.-.*./四则运算符号. 题解 用位运算模拟加法的三步: 无进位加法:异或运算. 进位:与运算再左移一位. 直到进位为0结束. 代码 pub ...

  6. Sql三种分页方法

    --分页三种方法--第一种 ROW_NUMBER() OVER( ORDER BY OrgID) AS indexs 大于pagesize*pageindex,少于等于pagesize*(pagein ...

  7. spring学习总结——装配Bean学习三(xml装配bean)

    通过XML装配bean Spring现在有了强大的自动化配置和基于Java的配置,XML不应该再是你的第一选择了.不过,鉴于已经存在那么多基于XML的Spring配置,所以理解如何在Spring中使用 ...

  8. Java实现小学四则运算练习系统(UI)

    github项目地址 :https://github.com/feser-xuan/Arithmetic_test3_UI 小伙伴的博客链接:http://www.cnblogs.com/fukang ...

  9. github下载源码的三种方式

      从github上下载源码的三种方式 CreationTime--2018年6月7日15点21分 Author:Marydon 1.情景展示 2.实现方式 方式一:直接点击"Downloa ...

随机推荐

  1. 解决windows 10关机自动重启的问题

    自从windows 10推出来没多久,就给台式机安装了.可是,有点悲剧的是:每次关机,都会自动重启(restart). 之后也在网上找了一些解决方式,但还是没用.前天通过搜索”Windows 10 c ...

  2. Xunsearch迅搜(基于 xapian+scws 的开源中文搜索引擎)安装与简单使用

    今天鼓捣了xunsearch,感觉官方指南写得挺详细,于是按照指南一步一步走,但是感觉越看越凌乱,像看API一样,新手看得特费劲,网上也少有新手教程,于是略过今天的歪路,记录一下我的安装步骤. Xun ...

  3. enum使用

    新建一个.h文件 typedef enum { type1 = 1, type2 = 2 };

  4. [WIN32]Win7软件部署清单

    工具类 DreamWeaver8 网页 XAMPP 集成的服务器/数据库 EPP4 PHP IDE JDK7 Sublime Text 2 VMWare 虚拟机 Notepad++ FoxitRead ...

  5. Mssql Server如何修改列名

    exec sp_rename '表明.原列名','新列名','column';

  6. 方法过滤器,分布式缓存 Memcached实现Session解决方案

    控制器-〉方法过滤器-〉controller-> 方法 所以通过建立controller基类的方法进行方法过滤,所有控制器先执行基类的OnActionExecuting 方法. using Sp ...

  7. ubuntu 如何 su 到 root(作为 root 用户操作)

    ubuntu 安装后,root用户默认被锁定,不允许登录,也不允许"su"到 root.对于桌面用户来说,这样安全性更高一些,但对于服务器可以设置成"允许 su 到roo ...

  8. LeetCode----66. Plus One(Java)

    package plusOne66; /* Given a non-negative number represented as an array of digits, plus one to the ...

  9. 【转】Repository has not been enabled to accept revision propchanges

    转载地址:http://lg-zhou.blog.163.com/blog/static/178068920111179341041/ 使用SVN提交版本信息时,注释内容写的不全.通过右键Tortoi ...

  10. listivew 动态刷新单个item

    使用ViewHolder来刷新某项数据,而不用每次都全部刷新数据. 继承BaseAdapter,新建ViewHolder类. public class TestListAdapter extends  ...