算法系列——二分查找算法及其变体总结

基础二分查找

基本二分查找的程序代码如下所示

		int left = 0;
        int right = nums.length - 1;
        int mid;
        //条件必须是 <=
        while (left <= right) {
   
            mid = (left + right) / 2;
            //target 在左边
            if (target < nums[mid])
                right = mid - 1;
                //target 在右边
            else if (target > nums[mid])
                left = mid + 1;
            else
                return mid;
        }
        return -1;

基础二分查找只能找到指定target在序列中的位置，假如target有重复值，二分查找只能返回其中某个target的位置，这个位置并不确定，主要跟target值的起始位置和重复序列的长度有关系。

二分查找变体

在基础二分查找的代码中,加入在while循环中不执行返回退出操作，判断条件做稍微改动，其实只是去掉了返回操作，只剩一个if-else判断。

	//target 在左边
    if (target < nums[mid])
        right = mid - 1;
    //target 在右边
    else
        left = mid + 1;

那么最终 left,right关系是 right+1=left.

举个栗子，例如 nums={ 1,2,3,3,3,3,4,5 } target=3
当 判断条件为if (target <= nums[mid]) ... else时，最终位置状态为

1,2(right),3(left),3,3,3, 4,5
right left的位置卡在target序列的左边界。
当判断条件为 if (target < nums[mid]) ... else时，最终位置状态为

1,2,3,3,3,3(right),4(left),5
right left的位置卡在target序列的右边界。
那么假如target不存在呢？比如 nums={1,2,4,5} target=3

当 判断条件为if (target <= nums[mid]) ... else时，最终位置状态为

1,2(right),4(left),5
当判断条件为 if (target < nums[mid]) ... else时，最终位置状态为

1,2(right),4(left),5

从以上的分析中可以看到，left,right 总是停留在target元素的附近，并且还有一定的规律。

其实根据不同的条件下left,right位置信息，我们可以利用二分查找还能能解决以下6个问题：

返回第一个=target的元素位置,此时判断符号<= 要返回left；
返回第一个>=target的元素位置,此时判断符号<= 要返回left；
返回第一个>target的元素位置，此时判断符号<要返回left；
返回最后一个=target的元素位置,此时判断符号<，要返回right；
返回最后一个<=target的元素位置,此时判断符号位<,返回right；
返回最后一个< target的元素位置,此时判断符号位<=,返回right。

以上问题都可以套用如下二分查找的结构：

····
	  //条件必须是 <=
        while (left <= right) {
   
           mid = left + (right-left) / 2;
            //target 在左半部分
            if (target ➀ nums[mid])