旋转数组中的最小数字（特殊二分法）

把一个数组最开始的若干个元素搬到数组的末尾，我们称之为数组的旋转。 输入一个非减排序的数组的一个旋转，输出旋转数组的最小元素。 例如数组{3,4,5,1,2}为{1,2,3,4,5}的一个旋转，该数组的最小值为1。 NOTE：给出的所有元素都大于0，若数组大小为0，请返回0。

这道题是特殊的二分法，在二分法的途中需要根据情况来判断，array[mid] 和array[high]两者大小的不同，进行不同的操作

import java.util.ArrayList;
public class Solution {
    public int minNumberInRotateArray(int [] array) {
        int low = 0 ; int high = array.length - 1;  
        while(low < high){
            int mid =  (high + low) / 2; 
            //      
            if(array[mid] > array[high]){
                low = mid + 1;
            }else if(array[mid] == array[high]){
                high = high - 1;
            }else{
                high = mid;
            }  
        }
        //return array[high];结果也是对的
        return array[low];
    }
}

分析过程

low到high是值可能在的区间
需要考虑三种情况：

• array[mid] > array[high]:出现这种情况的array类似[3,4,5,6,0,1,2]，此时最小数字一定在mid的右边。
  • low = mid + 1（可以一次过滤掉很多值，之前的low到mid区间的值就会被过滤掉）
• array[mid] == array[high]:出现这种情况的array类似 [1,0,1,1,1] 或者[1,1,1,0,1]，此时最小数字不好判断在mid左边还是右边,这时只好一个一个试
  • high = high - 1 （区间一步一步缩小）
• array[mid] < array[high]:出现这种情况的array类似[2,2,3,4,5,6,6],此时最小数字一定就是array[mid]或者在mid的左边。因为右边必然都是递增的。
  • high = mid （为了只有两个数的情形不报错，范围缩小地慢一点）
  • 注意这里有个坑：如果待查询的范围最后只剩两个数，那么mid 一定会指向下标靠前的数字
    比如 array = [4,6]，array[low] = 4 ;array[mid] = 4 ; array[high] = 6 ;如果high = mid - 1，就会产生错误（high=-1会指针越界）， 因此high = mid，但情形(1)中low = mid + 1就不会错误

二分法最后两步是先出现low=high的情况的，然后才会出现low>high
在找特定值的时候输出的都是array[mid]=target,二分法的最后一次比较一定是low=high=mid的时候，在找最小值的时候肯定是最后一次比较，所以最后输出high或者low都是可以的