数组-二分查找算法
原文: 代码随想录-二分查找
输入: nums = [-1,0,3,5,9,12], target = 9
输出: 4
解释: 9 出现在 nums 中并且下标为 4
数组
数组是存放在连续内存空间上的相同类型数据的集合。
数组可以方便的通过下标索引的方式获取到下标下对应的数据。
注意:
- 数组下标都是从0开始的。
- 数组内存空间的地址是连续的
数组的在内存空间的地址是连续的,所以我们在删除或者增添元素的时候,就难免要移动其他元素的地址。
数组的元素是不能删的,只能覆盖。
思路
前提是数组为有序数组,同时数组中无重复元素,因为一旦有重复元素,使用二分查找法返回的元素下标可能不是唯一的,这些都是使用二分法的前提条件。
边界条件
例如到底是 while(left < right) 还是 while(left <= right),到底是right = middle呢,还是要right = middle - 1呢?
主要是因为对区间的定义没有想清楚,区间的定义就是不变量。要在二分查找的过程中,保持不变量,就是在while寻找中每一次边界的处理都要坚持根据区间的定义来操作,这就是循环不变量规则。
写二分法,区间的定义一般为两种,左闭右闭即[left, right],或者左闭右开即[left, right)。
详细代码
方法一
public class BinarySearch {
public static void main(String[] args) {
int nums[] = {-1, 0, 3, 5, 9, 12};
int target = 9;
System.out.println(search(nums, target));
}
private static int search(int[] nums, int target) {
int left = 0;
int right = nums.length - 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;
}
}
方法二
public class BinarySearch {
public static void main(String[] args) {
int nums[] = {-1, 0, 3, 5, 9, 12};
int target = 9;
System.out.println(search(nums, target));
}
private static int search(int[] nums, int target) {
int left = 0;
int right = nums.length; //定义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; //target 在左区间,所以[left, middle - 1]
} else if (nums[middle] < target) {
left = middle + 1; //target 在右区间,所以[middle + 1, right]
} else { //nums[middle] == target
return middle; //数组中找到目标值,直接返回下标
}
}
//未找到目标值
return -1;
}
}
总结
其实主要就是对区间的定义没有理解清楚,在循环中没有始终坚持根据查找区间的定义来做边界处理。
区间的定义就是不变量,那么在循环中坚持根据查找区间的定义来做边界处理,就是循环不变量规则。