前提
数组是有序的(如果无序,我们也可以考虑排序,不过要注意排序的复杂度
术语
二分查找中使用的术语:
target —— 要查找的值
index —— 当前位置
l 和 r —— 左右指针
mid —— 左右指针的中点,用来确定我们应该向左查找还是向右查找的索引
思维框架
首先定义搜索区间为 [left, right],注意是左右都闭合,之后会用到这个点
你可以定义别的搜索区间形式,不过后面的代码也相应要调整,感兴趣的可以试试别的搜索区间。
由于定义的搜索区间为 [left, right],因此当 left <= right 的时候,搜索区间都不为空,此时我们都需要继续搜索。
也就是说终止搜索条件应该为 left <= right。举个例子容易明白一点。 比如对于区间 [4,4],其包含了一个元素 4,因此搜索区间不为空,需要继续搜索(试想 4 恰好是我们要找的
target,如果不继续搜索, 会错过正确答案)。而当搜索区间为 [left, right) 的时候,同样对于
[4,4],这个时候搜索区间却是空的,因为这样的一个区间不存在任何数字·。
二分法的一个中心大家一定牢牢记住。其他(比如序列有序,左右双指针)都是二分法的手和脚,都是表象,并不是本质,而折半才是二分法的灵魂。
二分查找的流程思路
- 先从数组的中间元素开始,如果中间元素正好是要查找的元素,则搜索过程结束;
- 如果目标元素大于中间元素,则在数组大于中间元素的那一半中查找,而且跟开始一样从中间元素开始比较。
- 如果目标元素小于中间元素,则在数组小于中间元素的那一半中查找,而且跟开始一样从中间元素开始比较。
- 如果在某一步骤数组为空,则代表找不到。
二分查找的具体代码实现
-
循环体内,我们不断计算 mid ,并将 nums[mid] 与 目标值比对。
-
如果 nums[mid] 等于目标值, 则提前返回 mid(只需要找到一个满足条件的即可) 如果 nums[mid] 小于目标值,
-
说明目标值在 mid 右侧,这个时候搜索区间可缩小为 [mid + 1, right] (mid 以及 mid 左侧的数字被我们排除在外)
-
如果 nums[mid] 大于目标值, 说明目标值在 mid 左侧,这个时候搜索区间可缩小为 [left, mid - 1] (mid以及
mid 右侧的数字被我们排除在外) -
循环结束都没有找到,则说明找不到,返回 -1 表示未找到
function binarySearch($nums,$target){
$left = 0;
$right= count($nums)-1;
while ($left <= $right){
$mid = floor($left+($right-$left)/2);
if ($nums[$mid] > $target){
$right = $mid - 1;
}
if ($nums[$mid] < $target){
$left = $mid + 1;
}
if ($nums[$mid] == $target){
return $mid;
}
}
return -1;
}
时间复杂度分析
- 平均时间复杂度: O ( l o g N ) O(logN) O(logN)
- 最坏时间复杂度: O ( l o g N ) O(logN) O(logN)
- 最优时间复杂度: O ( 1 ) O(1) O(1)