特殊数组的二分查找算法解析

问题如下:

已知存在一个按非降序排列的整数数组 nums ，数组中的值不必互不相同。

在传递给函数之前，nums 在预先未知的某个下标 k（0 <= k < nums.length）上进行了 旋转 ，使数组变为 [nums[k], nums[k+1], ..., nums[n-1], nums[0], nums[1], ..., nums[k-1]]（下标 从 0 开始 计数）。例如， [0,1,2,4,4,4,5,6,6,7] 在下标 5 处经旋转后可能变为 [4,5,6,6,7,0,1,2,4,4] 。

给你 旋转后 的数组 nums 和一个整数 target ，请你编写一个函数来判断给定的目标值是否存在于数组中。如果 nums 中存在这个目标值 target ，则返回 true ，否则返回 false 。

你必须尽可能减少整个操作步骤.

代码块及注释如下:

class Solution {
public:
    bool search(vector<int>& nums, int target) {
        int n=nums.size();
        if(n==0){
            return false;
        }
        if(n==1) return (nums[0]==target);
        //二分查找法定义的两个指针
        int left=0,right=n-1;
        while(left<right){
            //条件为二分查找法的经典条件
            int mid=(left+right)/2;
            if(nums[mid]==target) return true;
            //考虑一种特殊情况,此时无法确定选择哪一个区间,但是中间值也不是所要求的结果于是可以通过l++,r--的方式缩小区间范围,来重新确定两个区间的指针且因为left与right值与mid值一致,因此如果值本来就在[left,right]区间内,区间缩小之后值仍然会在区间内;
            if(nums[left]==nums[mid]&&nums[mid]==nums[right]){
                left++;
                right--;
            }else if(nums[left]<=nums[mid]){
                //表示左侧的区间满足非递减的要求
                if(nums[left]<=target && target<nums[mid]){
                    //表示此时target的值位于此有序的左区间内于是缩小区间为左区间的范围
                    right=mid-1;
                }else{
                    //表示此时如果target存在于数组nums中也一定只能在右侧区间内于是更新区间大小为右侧区间
                    left=mid+1;
                }
            }else{
                //表示此时左侧区间不满足非递减的要求,此时由旋转的效果得右侧区间一定满足非递减的要求
                //于是先在右区间内寻找
                if(target>nums[mid] && target<=nums[right]){
                    left=mid+1;
                }else{
                    //如果此时nums数组中存在数target也一定只能在左侧区间内于是更新区间为左侧区间
                    right=mid-1;
                }
            }
        }
        if(left==right) return (nums[left]==target);
        return false;//遍历完整个数组都没有找到要求的数target则数组nums中一定不存在该数故返回false
    }
};

思想以及代码语句解释如下:

首先定义left=0,right=nums.size()-1,二分查找法的循环判定条件均为(left<right),之后先求mid=(left+right)/2;求target是否==nums[mid]等于直接返回true,之后判定nums[right]==nums[mid]&&nums[mid]==nums[left]是否相等,如果相等无法缩短区间,只能改变left--,right++且mid不变如果原来target就在[left,right]中,则区间缩小后target仍在新的[left,right]中,如果为nums[left]<=nums[mid],表示此时左侧区间是有序的因此在左侧区间内判断target>=nums[left]&&target<nums[mid]是否成立,如果是更新区间为左侧区间(right=mid-1),否则(即不在有序的左侧区间内,如果还在nums内则只可能在右区间内因此更新区间大小为右侧区间left=mid+1).否则(表示左侧区间不是有序的),相反的右侧区间则一定是有序的,因此利用target在右侧区间内判断值是否在其内target>nums[mid] && target<=nums[right],如果在更新区间为右侧区间(left=mid+1),否则(即不在有序的右侧区间内,如果还在nums内则只可能在左区间内因此更新区间大小为左侧区间right=mid-1),此循环结束后,还要判断当left==right时的特殊情况,此时如果nums[left]==target也表示数组nums中存在目标值target,因此返回true,否则,表示遍历完了整个数组,都没有返回true,即target不在数组nums内,返回false!

至此代码解释完毕！

注意此题的特殊性,即给定的数组,不是全部有序,而是部分有序的情况(即左右侧只有一侧是有序的)因此判定target是否在某一侧的情况,是要针对其中有序的一侧进行,如果不在有序的一侧,内就更新整个数组重新变为新的部分有序的情况(即另一侧不是有序的情况),变成与初始相同的情况,其余的情况与之前总结的二分查找法的思想基本一致！