二分查找实现(Jon Bentley:90%程序员无法正确实现)
作者:July
出处:结构之法算法之道
引言
Jon Bentley:90%以上的程序员无法正确无误的写出二分查找代码。也许很多人都早已
听说过这句话,但我还是想引用《编程珠玑》上的如下几段文字:
“二分查找可以解决(预排序数组的查找)问题:只要数组中包含T(即要查找的值),
那么通过不断缩小包含T 的范围,最终就可以找到它。一开始,范围覆盖整个数组。将数
组的中间项与T 进行比较,可以排除一半元素,范围缩小一半。就这样反复比较,反复缩
小范围,最终就会在数组中找到T,或者确定原以为T 所在的范围实际为空。对于包含N
个元素的表,整个查找过程大约要经过log(2)N 次比较。
多数程序员都觉得只要理解了上面的描述,写出代码就不难了;但事实并非如此。如果
你不认同这一点,最好的办法就是放下书本,自己动手写一写。试试吧。
我在贝尔实验室和IBM 的时候都出过这道考题。那些专业的程序员有几个小时的时间,
可以用他们选择的语言把上面的描述写出来;写出高级伪代码也可以。考试结束后,差不多
所有程序员都认为自己写出了正确的程序。于是,我们花了半个钟头来看他们编写的代码经
过测试用例验证的结果。几次课,一百多人的结果相差无几:90%的程序员写的程序中有
bug(我并不认为没有bug 的代码就正确)。
我很惊讶:在足够的时间内,只有大约10%的专业程序员可以把这个小程序写对。但
写不对这个小程序的还不止这些人:高德纳在《计算机程序设计的艺术第3 卷排序和查
找》第6.2.1 节的“历史与参考文献”部分指出,虽然早在1946 年就有人将二分查找的方法
公诸于世,但直到1962 年才有人写出没有bug 的二分查找程序。”——乔恩·本特利,《编
程珠玑(第1 版)》第35-36 页。
你能正确无误的写出二分查找代码么?不妨一试。
348
二分查找代码
二分查找的原理想必不用多解释了,不过有一点必须提醒读者的是,二分查找是针对的
排好序的数组。OK,纸上读来终觉浅,觉知此事要躬行。我先来写一份,下面是我写的一
份二分查找的实现(之前去某一家公司面试也曾被叫当场实现二分查找,不过结果可能跟你
一样,当时就未能完整无误写出),有任何问题或错误,恳请不吝指正:
//二分查找V0.1 实现版
//copyright@2011 July
//随时欢迎读者找bug,email:zhoulei0907@yahoo.cn。
//首先要把握下面几个要点:
//right=n-1 => while(left <= right) => right=middle-1;
//right=n => while(left < right) => right=middle;
//middle 的计算不能写在while 循环外,否则无法得到更新。
int binary_search(int array[],int n,int value)
{
int left=0;
int right=n-1;
//如果这里是int right = n 的话,那么下面有两处地方需要修改,以保证一一对应:
//1、下面循环的条件则是while(left < right)
//2、循环内当array[middle]>value 的时候,right = mid
while (left<=right) //循环条件,适时而变
{
int middle=left + ((right-left)>>1); //防止溢出,移位也更高效。同时,每次循环
都需要更新。
if (array[middle]>value)
{
right =middle-1; //right 赋值,适时而变
}
else if(array[middle]<value)
{
left=middle+1;
}
else
return middle;
//可能会有读者认为刚开始时就要判断相等,但毕竟数组中不相等的情况更多
//如果每次循环都判断一下是否相等,将耗费时间
}
return -1;
349
}
简单测试下,运行结果如下所示(当然,一次测试正确不代表程序便0 bug 了,且测试
深度远远不够):
测试
也许你之前已经把二分查找实现过很多次了,但现在不妨再次测试一下。关闭所有网页,
窗口,打开记事本,或者编辑器,或者直接在本文评论下,不参考上面我写的或其他任何人
的程序,给自己十分钟到N 个小时不等的时间,立即编写一个二分查找程序。独立一次性
正确写出来后,可以留下代码和邮箱地址,我给你传一份本blog 的博文集锦CHM 文件&&
十三个经典算法研究带标签+目录的PDF 文档(你也可以去我的资源下载处下载:
http://download.csdn.net/user/v_july_v)。
350
当然,能正确写出来不代表任何什么,不能正确写出来亦不代表什么,仅仅针对Jon
Bentley 的言论做一个简单的测试而已。下一章,请见第二十六章:基于给定的文档生成倒
排索引的编码与实践。谢谢。
总结
本文发表后,马上就有很多朋友自己尝试了。根据从朋友们在本文评论下留下的代码,
发现出错率最高的在以下这么几个地方:
1. 注释里已经说得很明白了,可还是会有不少朋友犯此类的错误:
1. //首先要把握下面几个要点:
2. //right=n-1 => while(left <= right) => right=middle-1;
3. //right=n => while(left < right) => right=middle;
4. //middle 的计算不能写在while 循环外,否则无法得到更新。
2. 还有一个最最常犯的错误是@土豆:
middle= (left+right)>>1; 这样的话left 与right 的值比较大的时候,其和可能溢出。
各位继续努力。
updated:各位,可以到此处0 积分下载本blog 最新博文集锦第6 期CHM 文件:
http://download.csdn.net/detail/v_july_v/4020172。

二分查找实现(Jon Bentley:90%程序员无法正确实现)的更多相关文章

  1. page61-将二分查找重写为一段面向对象的程序

    1 将二分查找重写为一段面向对象的程序 (用于在整数集合中进行查找的一种抽象数据类型) public class StaticSETofInts [API] StaticSETofInts(int[] ...

  2. 90%程序员都没有完全答对Cookie和Session的区别

    我在做面试官的时候,曾经问过很多朋友这个问题: Cookie 和 Session 有什么区别呢?大部分的面试者应该都可以说上一两句,比如:什么是 Cookie?什么是 Session?两者的区别等. ...

  3. 入职半年多,Guide哥总结了这些帮助你领先90%程序员的好习惯!

    大家好,我是 Guide 哥,这篇文章还是不分享技术文章了,我想简单聊聊一些程序员的好习惯. 其实自己写这篇文章还是很忐忑的,毕竟自己算不上一个优秀的程序员,但也不是那么差.大学学习编程 4 年,工作 ...

  4. 「mysql优化专题」90%程序员没听过的存储过程和存储函数教学(7)

    一.MYSQL储存过程简介(技术文): 储存过程是一个可编程的函数,它在数据库中创建并保存.它可以有SQL语句和一些特殊的控制结构组成.当希望在不同的应用程序或平台上执行相同的函数,或者封装特定功能时 ...

  5. 「mysql优化专题」90%程序员面试都用得上的索引优化手册(5)

    目录(技术文) 多关于索引,分为以下几点来讲解: 一.索引的概述(什么是索引,索引的优缺点) 二.索引的基本使用(创建索引) 三.索引的基本原理(面试重点) 四.索引的数据结构(B树,hash) 五. ...

  6. mysql优化专题」90%程序员都会忽略的增删改优化(2)

    补充知识点:操作数据语句优化的认识 通常情况下,当访问某张表的时候,读取者首先必须获取该表的锁,如果有写入操作到达,那么写入者一直等待读取者完成操作(查询开始之后就不能中断,因此允许读取者完成操作). ...

  7. 全世界只有我们Erlang程序员是正确的

    http://www.aqee.net/erlang-solving-the-wrong-problem/ 对某些程序来说是的,但对大多数程序来说不是.对大多数程序来说24个CPU中只有一个被利用.C ...

  8. 【15】-java实现二分查找

    二分查找在面试中经常被遇到,这个方法十分优雅 介绍 二分查找可以解决(预排序数组的查找)问题:只要数组中包含T(即要查找的值),那么通过不断缩小包含T的范围,最终就可以找到它.一开始,范围覆盖整个数组 ...

  9. Find Minimum in Rotated Sorted Array 典型二分查找

    https://oj.leetcode.com/problems/find-minimum-in-rotated-sorted-array/ Suppose a sorted array is rot ...

随机推荐

  1. C# 必应代码搜索

    微软宣布推出必应代码搜索服务,暂时只支持 C# 语言,日后将支持更多代码语言. Visual Studio 用户安装必应搜索插件之后可使用该服务来简化编程任务.Visual Studio 与 MSDN ...

  2. (翻译)从底层了解ASP.NET体系结构 [转]

    转自:http://www.cnblogs.com/rijing2004/archive/2007/09/14/howaspnetwork.html 前言 关于ASP.NET的底层的工作机制,最近园子 ...

  3. 【JSON】JSON字符串的操作(不断积累中)

    一.JS遍历JSON串 示例01 目标:返回的JSON串中,一个Key对应的Value是一个数组(若在Java程序中,是一个List). 现在要求获取每个数组中的第一个对象元素中的name属性的值. ...

  4. ASP.NET中Request.ApplicationPath、Request.FilePath、Request.Path、.Request.MapPath、Server.MapPath(转载)

    1.Request.ApplicationPath->当前应用的目录   Jsp中, ApplicationPath指的是当前的application(应用程序)的目录,ASP.NET中也是这个 ...

  5. Codeforces 627 A. XOR Equation (数学)

    题目链接:http://codeforces.com/problemset/problem/627/A 题意: 告诉你s 和 x,a + b = s    a xor b = x   a, b > ...

  6. php,Allowed memory size of 8388608 bytes exhausted (tried to allocate 1298358 bytes)

    修改apache上传文件大小限制 PHP上传文件大小限制解决方法: 第一: 在php.ini里面查看如下行: upload_max_filesize = 8M    post_max_size = 1 ...

  7. mongodb索引操作

    创建索引 db.table.ensureIndex({name:1}) 创建联合索引 db.table.ensureIndex({"table.name":1,"tabl ...

  8. Map排序——按key排序,按value排序

    注:转载请注明原文地址:http://www.cnblogs.com/ygj0930/p/5959279.html 上一篇博文谈到了集合类的自定义排序方式,那么进一步扩展开来,与集合同等重要的Map有 ...

  9. 【OpenGL】glFinish()和glFlush()函数详解-[转]

    通常情况下,OpenGL指令不是立即执行的.它们首先被送到指令缓冲区,然后才被送到硬件执行.glFinish和glFlush都是强制将命令缓冲区的内容提交给硬件执行. 一.glFinish()函数   ...

  10. java中final的用法

    final从字面翻译来看,有最后的,最终的;  决定性的;  不可更改的等含义,在java里面主要还是“不可改变的”这层意思,不可改变或者不想改变的final主要用在类.方法.数据这三个方面. 一.f ...