二分查找法
题目:给定一个 n 个元素有序的(升序) 整型数组 nums 和一个目标值 target ,写一个函数搜索 nums 中的 target,如果目标值存在返回下标,否则返回 -1。
示例 1:
输入: nums = [-1,0,3,5,9,12], target = 9
输出: 4
解释: 9 出现在 nums 中并且下标为 4
示例 2:
输入: nums = [-1,0,3,5,9,12], target = 2
输出: -1
解释: 2 不存在 nums 中因此返回 -1
提示:
- 你可以假设 nums 中的所有元素是不重复的。
- n 将在 [1, 10000]之间。
- nums 的每个元素都将在 [-9999, 9999]之间。
1.思路
①使用二分查找法前提条件
二分查找法的前提是数组是有序数组,且无重复元素,因为一旦有重复元素,二分查找法返回的元素不是唯一的。
②二分查找法容易出现的问题
二分查找法逻辑很简单,但是区间很容易出问题。 比如到底是是 while(left < right)
还是while(left<=right)
,到底是right=middle
,还是要right=middle-1
。
③循环不变量原则
循环不变量原则就是在while寻找中每一次边界的处理都要坚持根据区间的定义来操作。 写二分法,区间定义一般有两种,左闭右闭[left,right],或者左闭右开[left,right)。
2.左闭右闭
我们定义target在一个左闭右闭的区间,即 [left,right]。区间的定义决定了二分法如何写,所以有如下两点:
- while(left<=right)要使用<=,因为left==right是有意义的,所以使用<=
- if (nums[middle] > target) right 要赋值为 middle - 1,因为当前这个nums[middle]一定不是target,那么接下来要查找的左区间结束下标位置就是 middle - 1
class Solution {
public:
int search(vector<int>& nums, int target) {
int left = 0;
int right = nums.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 { // nums[middle] == target
return middle; // 数组中找到目标值,直接返回下标
}
}
// 未找到目标值
return -1;
}
};
middle=left+(right-left)/2;是为了防止溢出,因为(left+right)加起来的值可能超出int类型范围,但(right-left)一定比right小,不会超出int类型范围,因此求中间值时,要用left+(right-left)/2。
3.左闭右开
如果说定义 target 是在一个在左闭右开的区间里,也就是 [left, right) ,那么二分法的边界处理方式则截然不同。
有如下两点:
- while (left < right),这里使用 < ,因为left == right在区间[left, right)是没有意义的
- if (nums[middle] > target) right 更新为 middle,因为当前nums[middle]不等于target,去左区间继续寻找,而寻找区间是左闭右开区间,所以right更新为middle,即:下一个查询区间不会去比较nums[middle]
在数组:1,2,3,4,7,9,10中查找元素2,如图所示:(注意和方法一的区别)
根据代码随想录整理:https://programmercarl.com/0704.%E4%BA%8C%E5%88%86%E6%9F%A5%E6%89%BE.html#_704-%E4%BA%8C%E5%88%86%E6%9F%A5%E6%89%BE