二分法的两种常用模板

单调递增序列中找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()的死循环。