二分查找（BinarySearch）

尽管二分查找的基本思想相对简单，但细节可以令人难以招架 ... — 高德纳

---

---

一、常见问题：

  当年，乔恩·本特利将二分搜索问题布置给专业编程课的学生时，百分之90的学生在花费数小时后还是无法给出正确的解答，主要因为这些错误程序在面对边界值的时候无法运行，或返回错误结果。
  1988年开展的一项研究显示，20本教科书里只有5本正确实现了二分搜索。不仅如此，本特利自己1986年出版的《编程珠玑》一书中的二分搜索算法存在整数溢出的问题，二十多年来无人发现。Java语言的库所实现的二分搜索算法中同样的溢出问题存在了九年多才被修复。
  前辈们遇到问题，我们如今在编写二分查找时同样也可能相遇，前辈们都这么久没有发现，所以我们不必叹气，撸起袖子，一起来看看吧！

整数溢出问题

在计算中间值的时候，当两个超级大的整数相加，势必会超过整数的最大值，即越界。

	//整数溢出案例，输出结果-512695411
	int nA = 3333333333333333333;
	int nB = 8888888888888888888;
	std::cout << nA + nB << std::endl;

Babe，如何解决呢？数学问题，化加为减即可！！！

	(a+b)/2 = a+(b-a)/2;
	//怎么来的？？？如下
	a+(b-a)/2 = a+b/2-a/2 = (a+b)/2;

区间选取问题

Babe，跟着代码的逻辑走一趟吧。

int BinarySearch(int nTarget, int nArray[], int nSize)
{
	//首先我们要明确确定，我们查找的区间最开始是就是整个数组，所以可以确定
	//nL为数组起始序号0；nMid为二分之左右序号和；nR为数组终止序号(nArraySize-1)；
	int nL = 0;		
	int nMid = 0;
	int nR = nSize - 1;

	while (nL <= nR)
	{	
		//化加为减
		nMid = nL + (nR - nL) / 2;
		
		//当目标值大于中间值，查找区间   [nMid+1,nR]
		//当目标值小于于中间值，查找区间 [nL,nMid-1]
		//当目标值等于中间值，就是找到了
		if (nTarget > nArray[nMid]) nL = nMid + 1;	
		else if (nTarget < nArray[nMid]) nR = nMid - 1;	
		else return nMid;		
	}

	//没找到
	return -1;
}

二、完整例子

//normal
int BinarySearch(int nTarget, int nArray[], int nSize)
{
	if (!nArray || !(nSize > 0))
		return -1;

	int nL = 0;
	int nMid = 0;
	int nR = nSize - 1;

	while (nL <= nR)
	{
		nMid = nL + (nR - nL) / 2;

		if (nTarget > nArray[nMid]) nL = nMid + 1;
		else if (nTarget < nArray[nMid]) nR = nMid - 1;
		else return nMid;		
	}

	return -1;
}

//recursion
int BinarySearchRecursion( int nTarget, int nArray[], int nLow, int nHigh )
{
	if (nLow > nHigh)
		return -1;

	int nMid = nLow + (nHigh - nLow) / 2;

	if (nTarget > nArray[nMid])
		return BinarySearchRecursion(nTarget, nArray, nMid + 1, nHigh);
	else if (nTarget < nArray[nMid])
		return BinarySearchRecursion(nTarget, nArray, nLow, nMid - 1);
	else 
		return nMid;

	return -1;
}