剑指 Offer 11 旋转数组的最小数字

把一个数组最开始的若干个元素搬到数组的末尾，我们称之为数组的旋转。

给你一个可能存在 重复 元素值的数组 numbers ，它原来是一个升序排列的数组，并按上述情形进行了一次旋转。请返回旋转数组的最小元素。例如，数组 [3,4,5,1,2] 为 [1,2,3,4,5] 的一次旋转，该数组的最小值为 1。

注意，数组 [a[0], a[1], a[2], ..., a[n-1]] 旋转一次 的结果为数组 [a[n-1], a[0], a[1], a[2], ..., a[n-2]] 。

示例 1：

输入：numbers = [3,4,5,1,2]

输出：1

示例 2：

输入：numbers = [2,2,2,0,1]

输出：0

提示：

n == numbers.length

1 <= n <= 5000

-5000 <= numbers[i] <= 5000

numbers 原来是一个升序排序的数组，并进行了 1 至 n 次旋转

在二分查找的过程中，最小值介于左边界low和右边界high之间，可以知道从左边界到最小值前一个元素，以及从最小值到右边界都是非递减的，而且左半边元素一定都大于等于右半边的元素。

将二分查找的中间值设为mid，将mid和high比较，有三种情况：

1. numbers[mid]>numbers[high]：说明mid在最小值的左半边，将左半边舍弃，mid+1作为新的左边界。

2. numbers[mid]>numbers[high]：说明mid在最小值的右半边，将右半边舍弃，mid作为新的右边界，因为mid可能是最小值。

3. numbers[mid]==numbers[high]：如下图所示，由于重复元素的存在，不能确定在左边还是右边，因此要从右边缩小范围，舍弃右边界即可。

class Solution {
    public int minArray(int[] numbers) {
        int low=0;
        int high=numbers.length-1;
        while(low<high){
            int mid=low+(high-low)/2;
           // int mid=(low+high)/2;
            if(numbers[mid]<numbers[high]){
                high=mid;
            }
            else if(numbers[mid]>numbers[high]){
                low=mid+1;
            }
            else{
                high--;
            }
        }
        return numbers[low];
    }
}

时间复杂度：平均时间复杂度为 O(logn)，其中 n 是数组 numbers 的长度。

空间复杂度：O(1)。