在有序(小->大)数组中找与x相等的元素:lb指第一个元素下标,ub指最后一个元素下标。[lb,ub]之间的所有数都是“待确认”的数。循环继续条件为l<=r。
在有序(小->大)数组中找check为true的最大元素:lb指向目前已知check为true的最大元素,rb指向目前已知check为false的最小元素。(lb,rb)开区间中的所有元素为待check状态。循环继续条件为r-l>1。
在第二种用法中,所有元素从左到右分为三个部:check为true的,待check的,check为false的。l和r分别指向第一第二部分的、第二第三部分的分界线。
代码为第一种用途的二分搜索:
public int binarySearch(int a[], int k, int lb, int ub) {
//递归实现
int mid = -1;
if(lb <= ub) {
mid = (ub + lb) / 2;
if(a[mid] == k) {
return mid;
}else if(a[mid] < k) {
return binarySearch(a, k, mid+1, ub);
}else return binarySearch(a, k, lb, mid-1);
}
return -1;
}
public int binarySearch2(int a[], int k, int n) {
int mid,ub=0,lb=n-1;
while(lb<=ub) {
mid = (lb + ub) / 2;
if(a[mid] == k) return mid;
else if(a[mid] < k) {
lb = mid+1;
}else ub = mid-1;
}
return -1;
}