二分法解旋转数组的最小数字

旋转数组的最小数字

题目描述

把一个数组最开始的若干个元素搬到数组的末尾，我们称之为数组的旋转。输入一个递增排序的数组的一个旋转，输出旋转数组的最小元素。例如，数组 [3,4,5,1,2] 为 [1,2,3,4,5] 的一个旋转，该数组的最小值为1。

示例 1：

输入：[3,4,5,1,2]
输出：1
示例 2：

输入：[2,2,2,0,1]
输出：0

解题思路

找数组中最小的数字，我们很容易想到下面的做法：

• 初始化一个index等于numbers[0]，即数组第一个元素
• 通过遍历，如果index大于数组中除第一个元素外的其他元素，就使index等于那个小的元素，直到找到最小的元素
• 遍历结束，返回index（最小的数字）

代码如下：

class Solution {
    public int minArray(int[] numbers) {
        int index = numbers[0];//初始化index等于numbers[0]，即数组第一个元素
        for(int i = 0;i < numbers.length; i++)
        {
            if(index > numbers[i])
            //通过遍历，如果index大于数组中除第一个元素外的其他元素，就使index等于那个小的元素，直到找到最小的元素
            index = numbers[i];
        }
        return index;//返回最小的数字
    }
}

但是，这种做法的时间复杂度和空间复杂度分别为O(n)和O(1)，而且没有利用到该旋转数组是“一个递增排序的数组的一个旋转”的特点，很明显这种做法并不是最优解。

二分查找

这道题我们可以利用该旋转数组是“一个递增排序的数组的一个旋转”的特点，考虑使用 二分法 解决，其可将遍历法的 线性级别 时间复杂度降低至 对数级别 。

解题过程：

• 设置 i*, j* 指针分别指向 numbers 数组左右两端，m = (i + j) / 2为每次二分的中点；
• 当 numbers[m] > numbers[j] 时： 最小数 x 一定在 [m+1,j] 闭区间内，因此执行 i = m + 1；
• 当 numbers[m] < numbers[j] 时： 最小数 x 一定在 [i,m] 闭区间内，因此执行 j = m ；
• 当 numbers[m] == numbers[j] 时： 无法判断 m 在哪个排序数组中，即无法判断最小数 x 在 [i,m] 还是 [m+1,j] 区间中。这时执行 j = j - 1 缩小判断范围。
• 当 i = j 时跳出二分循环，并返回 numbers[i] 即可。

复杂度分析：

• 时间复杂度 O(log2N) ：在特例情况下（例如 [1,1,1,1]），会退化到 O(N)。
• 空间复杂度 O(1) ： i, j, m 指针使用常数大小的额外空间。

代码：

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