经典问题:
在一个严格递增序列中A找到给定的数x的下标
令left,right为整个序列的下标区间,每次测试比较预查询的x与中间位置Amid的大小
1.若x == Amid 说明查找成功,返回mid
2.若x < Amid 说明x在mid的左侧,因此right = mid-1;
3.若x > Amid 说明x在mid的右侧,因此left = mid + 1;
循环的条件为left <= right
当然若A序列为递减,同理。
值得注意的是:若二分查找上界超过int类型范围的一半,并且预查询元素在序列靠后的位置,mid = (left+right)/2 很可能超过int而导致溢出。因此mid 可以写成 mid = left + (right-left)/2
进一步的问题:
若递增序列A中的元素允许重复,那么对于给定的预查询元素x,求出序列中第一个大于等于x元素的位置。
与之前的查找类似,不过在条件上有些许不同
1.若x == Amid 那么第一个大于等于x的元素的范围肯定在left,mid
2.若x > Amid 范围在mid+1,right
3.若x < Amid 范围在left,mid,这个得注意,可以举个例子3,5,8x = 4,Amid = 5,那么第一个大于等于x应该是5
该问题的循环条件是left < right 而不是left <= right,对于该问题想要返回第一个大于等于x的元素的位置,不需要判断元素x本身是否存在,因此只需left,right left==right时就会刚好夹出唯一的位置,因此条件为left <right
这里可以将数组an的输入为0,n,那么当x大于数组的所有元素0\~n-1,那么就输出n,表示没有该元素。