单调递增序列中找x或者x的后继
「在单调递增序列中找x 或者x的后继」,即在单调递增数列a[]中查找某个数x,如果数列中没有x,则找比它大的下一个数。前面所给出的bin_ search() 函数就是「在单调递增序列中找x或者x的后继」的模板代码。二分法有很多编码方法,这里给出的区间是左闭右开的编码,即[0, n)。也可以直接对[0,n- 1]区间二分,代码略有不同。
模板代码:
int bin_search(int *a, int n, int x){ //a[0]~a[n-1]是单调递增的
int left = 0, right = n; //注意:不是 n-1,此时是左闭右开的[0,n)
while (left < right) {
int mid = left + (right-left)/2; //int mid = (left + right) >> 1;
if (a[mid] >= x) right = mid;
else left = mid + 1;
} //终止于left = right
return left; //特殊情况:a[n-1] < x时,返回n
}
在单调递增序列中查找 x 或者 x 的前驱
接下来是「在单调递增序列中找 x 或者 x 的前驱」的模板代码。
int bin_search2(int *a, int n, int x){ //a[0]~a[n-1]是单调递增的
int left = 0, right = n;
while (left < right) {
int mid = left + (right-left + 1)/2 ;
if (a[mid] <= x) left = mid;
else right = mid - 1;
} //终止于left = right
return left;
}
●当a[mid] <= x时,说明x在mid的右边,新的搜索区间是右半部分,所以right不变,更新left = mid;
●当a[mid] > x时,说明x在mid的左边,新的搜索区间是左半部分,所以left不变,更新right = mid -1。
●同样可以分析出,当a[mid] > x时,不能写成right =mid,导致while()的死循环。