剑指offer：Python 旋转数组中的最小数字 最详细的思路分析

题目描述

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

思路过程

先理解题意

• 非减排序数组：就是递增顺序排列的数组，其中可以有重复的元素，如：[1,1,2,2,3,4,6]
• 数组{3,4,5,1,2}为{1,2,3,4,5}旋转，因为将{1,2,3,4,5}最开始的1,2 搬到了结尾形成
• 看到题，应该能想到，可以直接用遍历的方式求出，但是却没有用到题目给的条件，并且遍历的时间复杂度为O(n)=n

def find_min(li):
    min_num = 0
    for i in range(len(li)):
        if min_num < li[i] and min_num != 0:
            min_num = min_num
        else:
            return li[i]


if __name__ == '__main__':
    li = [0, 1, 1, 2, 2, 3, 4, 6]
    print(find_min(li))

从二分法查找中获取思路

• 如何判断一个数是最小？ 因为是非减递增数列，如果某个值比它两边的值都小的话，尤其是它比左边的数小，那它就是最小的一个数
• 用二分法来判断，最小的数到底是出现在中值的左边，还是中值的右边？有两种思路：
  （1）第一种：比较绝对值 |rotateArray[mid]-left| 和 |rotateArray[mid]-right| 的大小；
  如果 |rotateArray[mid]-left| < |rotateArray[mid]-right| 那么最小值就出现在右边；原因是，因为作差后，如果更大，就说明和中间值比较，会出现两种情况：要么是和比较小的值比较了，那么按照递增来看，它右边的数应该比它大，如果比它小就说明出现了移动后的数（断层）；要么是和比较大的数比较了，大的数出现在了左边，所以后边必然是移动后的，也就是有（断层）；如下图示例：上下两个列表，上面的最小值出现在中值的右边；下面的最小值出现在中值的左边
  
  （2）第二种思路：因为是非减递增数列，找到中值后，如果中值小于最右边的值：rotateArray[mid]<rotateArray[right] ，那么说明最小值出现在中值的左边，因为 中值小于最右边，说明是正常的递增顺序，中值右边没有发生移动，那么最小值必然是在左边；如果中值大于最右边的值：rotateArray[mid] > rotateArray[right] 说明中值右边的数，是从最开始移动过去的，所以最小值必然是出现在中值的右边的！上图中，上面的列表和下面的列表就能说明情况！

Python实现

# 按照第二种思路实现

def find_num(rotateArray):
    if not rotateArray: # 传入的数组为空
        return 0
    left = 0
    right = len(rotateArray) - 1
    while left <= right: # 二分法查找，注意是可以等于的
        middle = (left + right) >> 1 # 找到中间的位置 //2 也可以
        if rotateArray[middle] < rotateArray[middle - 1]: # 比它左边的数小，则找到了
            return rotateArray[middle]
        elif rotateArray[middle] < rotateArray[right]: # 中值比最右边的小，说明最小值在中值左侧
            right = middle - 1
        else: # 中值比最右边的大，说明最小值在中值右侧
            left = middle + 1
    return 0


rotateArray = [7, 8, 2, 2, 3, 4, 6]
# rotateArray = [3, 4, 5, 1, 2]
print(find_num(rotateArray))