11. 旋转数组的最小数字

视频资料：
【二分查找 红蓝染色法-哔哩哔哩】 https://b23.tv/hOp1tOJ
【搜索旋转排序数组【基础算法精讲 05】-哔哩哔哩】 https://b23.tv/AnTPDwV
https://www.acwing.com/problem/content/video/20/

三种写法（积累）：

# lower_bound 返回最小的满足 nums[i] >= target 的 i
# 如果数组为空，或者所有数都 < target，则返回 len(nums)
# 要求 nums 是非递减的，即 nums[i] <= nums[i + 1]

# 闭区间写法
def lower_bound(nums: List[int], target: int) -> int:
    left, right = 0, len(nums) - 1  # 闭区间 [left, right]
    while left <= right:  # 区间不为空
        # 循环不变量：
        # nums[left-1] < target
        # nums[right+1] >= target
        mid = (left + right) // 2
        if nums[mid] < target:
            left = mid + 1  # 范围缩小到 [mid+1, right]
        else:
            right = mid - 1  # 范围缩小到 [left, mid-1]
    return left

# 左闭右开区间写法
def lower_bound2(nums: List[int], target: int) -> int:
    left = 0
    right = len(nums)  # 左闭右开区间 [left, right)
    while left < right:  # 区间不为空
        # 循环不变量：
        # nums[left-1] < target
        # nums[right] >= target
        mid = (left + right) // 2
        if nums[mid] < target:
            left = mid + 1  # 范围缩小到 [mid+1, right)
        else:
            right = mid  # 范围缩小到 [left, mid)
    return left  # 返回 left 还是 right 都行，因为循环结束后 left == right

# 开区间写法
def lower_bound3(nums: List[int], target: int) -> int:
    left, right = -1, len(nums)  # 开区间 (left, right)
    while left + 1 < right:  # 区间不为空
        mid = (left + right) // 2
        # 循环不变量：
        # nums[left] < target
        # nums[right] >= target
        if nums[mid] < target:
            left = mid  # 范围缩小到 (mid, right)
        else:
            right = mid  # 范围缩小到 (left, mid)
    return right

感悟：
二分核心在于找到分类属性，从而进行两种分类
山峰问题：
通过相邻值对比，区分出山顶左 和 山顶右，进而二分
旋转数组最小值：nums[0]作为一种分界线，区分出nums[0]的左 和 右。

---

comments: true
difficulty: 简单
edit_url: https://github.com/doocs/leetcode/edit/main/lcof/%E9%9D%A2%E8%AF%95%E9%A2%9811.%20%E6%97%8B%E8%BD%AC%E6%95%B0%E7%BB%84%E7%9A%84%E6%9C%80%E5%B0%8F%E6%95%B0%E5%AD%97/README.md

面试题 11. 旋转数组的最小数字

题目描述

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

给你一个可能存在 重复 元素值的数组 numbers ，它原来是一个升序排列的数组，并按上述情形进行了一次旋转。请返回旋转数组的最小元素。例如，数组 [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

注意：本题与主站 154 题相同：https://leetcode.cn/problems/find-minimum-in-rotated-sorted-array-ii/

解法

方法一：二分查找

二分查找的变种，需要考虑重复元素的情况。

nums[0]作为一种分界线，可区分出旋转数组的第一段 和 第二段。

• numbers[mid] <numbers[0]：说明nums[mid]落在第二段，且最小值一定在第二段左边，因此 $r=mid-1$；
• 其他：说明nums[mid]落在第一段，且最小值一定在第一段右边，因此 $l=mid+1$；

循环结束时，指针 $l$ 指向的一个元素,即为最小值。

时间复杂度 $(\log n)$，空间复杂度 $O(1)$。其中 $n$ 为数组长度。

Python3

class Solution:
    def minArray(self, nums: List[int]) -> int:
        if len(nums)==0:return -1
        
        # 存在重复元素-> 将第二段指针r 移动至 nums[r]<nums[0] -> 问题转化为 求第二段单调递增数组的最小值【二分】
        l,r=0,len(nums)-1
        while r>0 and nums[r]==nums[0]:r-=1
        if nums[r]>=nums[0]:return nums[0]  # 若删除之后，非严格单调递增(存在重复元素)
        
        #二分
        while l <= r:
            m = (l + r) >> 1
            if nums[m] < nums[0]: #说明nums[m]已经在第二段
                r = m-1
            else:
                l = m+1
        return nums[l]