【算法】二分查找

声明：本文经过他人博客进行整合，仅为学习笔记，不作它用。

二分查找

使用条件

• 用于查找的内容逻辑上来说是需要有序的
• 查找的数量只能是一个，不能是多个

方法原理

• 保证数组是有序的
• 选择数组中间的数字和需要查找的目标值比较
• 如果相等，则直接返回答案
• 如果不相等
  • 如果中间的数字大于目标值，则中间数字向右的所有数字都大于目标值，全部排除
  • 如果中间的数字小于目标值，则中间数字向左的所有数字都小于目标值，全部排除

对于数组奇偶长度的处理

当数组的长度为奇数的时候：
此时数组array[n]，n为偶数。
则中间值的索引值即为index = n/2，实际上其是数组内第n/2+1个数，为奇数。
此后按照方法原理的思路求解即可

示例如下：
设数组array[6]：1，5，9，11，23，29，31
如果需要查找的数字为29
则中间值的索引值index为6/2=3，对应的数为11
因为29大于11，所以左边的所有数字（包括中间值）全部排除
当数组的长度为偶数的时候：
此时数组array[n]，n为奇数
现在数学上我们设中间值的索引值为index = (n-1)/2
在代码里头还是index = n/2（如果不定义为浮点数的话）
如果按照上述方法求中间值的索引值，则一定会出现中间值左边的数的数量一定比右边的数的数量小1.

但是这种情况并不影响对中间数字和目标数字大小关系的判断，因此还是按照方法原理的思路求解。

关键在于：
中间的数字到底应不应该放进下一次的查找中。

边界问题

边界问题应该处理好以下两个问题：

• 循环中left和right的关系：到底是left <= right还是left < right
• 迭代过程中middle和right的关系，到底是right = middle - 1还是right = middle

第一种写法：左闭右闭

每次查找的区间在[left, right]之间，即定义target在[left, right]区间。所以有如下两点：

• 循环条件要使用while(left <= right)，因为当 (left == right) 这种情况发生的时候，得到的结果是有意义的。即当left == right时，由于区间是左闭右闭，当两端的值相同时，这两个值在定义上都可以取到，此时这个区间里就只有a == left == right这样一个值，是合法的。
• if(nums[middle] > target)， right要赋值为 middle - 1，因为当前的nums[middle]一定不是target，需要丢弃这个位置上的数，因此接下来的查找范围为 [left, middle - 1]
• if(nums[middle] < target) 则接下来的查找范围是 [middle + 1,right]

代码如下：

int search(int nums[], int size, int target) //nums是数组，size是数组的大小，target是需要查找的值
{
    int left = 0;
    int right = size - 1;	// 定义了target在左闭右闭的区间内，[left, right]
    while (left <= right) {	//当left == right时，区间[left, right]仍然有效
        int middle = left + ((right - left) / 2);//等同于 (left + right) / 2，防止溢出
        if (nums[middle] > target) {
            right = middle - 1;	//target在左区间，所以[left, middle - 1]
        } else if (nums[middle] < target) {
            left = middle + 1;	//target在右区间，所以[middle + 1, right]
        } else {	//既不在左边，也不在右边，那就是找到答案了
            return middle;
        }
    }
    //没有找到目标值
    return -1;
}

第二种方法：左闭右开

每次查找的区间在[left, right)之间，故有以下两点：

• 循环条件使用while(left < right)，由于当left == right时，区间左闭右开，如果两端的值相等，左边可以取到，而右边取不到，这样与定义矛盾，是不合法的。所以不可以取到等号。
• if (nums[middle] > target), right = middle, 因为当前的nums[middle]是大于 target 的，不符合条件而不能取到middle，刚好区间上的定义就取不到right，所以right赋值为middle。
• if (nums[middle] < target)，因为区间左端为闭，则 left = middle + 1

代码如下：

int search(int nums[], int size, int target)
{
	int left = 0;
	int right = size; //定义target在左闭右开的区间里，即[left, right)
	while (left < right) {	//因为left = right的时候，在[left, right)区间上无意义
		int middle = left + ((right - left) / 2);
		if (nums[middle] > target) {
			right = middle; //target 在左区间，在[left, middle)中 
		} else if (nums[middle] < target) {
			left = middle + 1;
		} else {
			return middle;
		}
	} 
    // 没找到就返回-1
	return -1;
}

学习博客

【二分查找】详细图解