剑指offer刷题记录8--旋转数组的最小数字

该系列博客内容主要是《剑指Offer》中的经典题目，结合在刷题过程中见到的一些精彩的解题过程，从而在这里记录下来。代码以Python3实现。
题目分析
该题最容易想到的解法是暴力解法，即遍历整个数组，找到其中最小的数即可。这种思路的复杂度是O(n)，没有用到旋转数组的特性。
我们注意到，数组在旋转后可以划分为两个排序的数组，且前面子数组的元素都大于或者等于后面子数组的元素（因为数组是递增的）。而且最小的元素恰好是这两个子数组的分界线，这样在排序的数组中我们可以用二分查找法实现（O(logn)）。

# 二分（减治思想）
class Solution:
	def minArray(self, numbers: List[int]) -> int:
		#先判断该数组的长度
		size = len(numbers)
		if size ==0:
			return 0
		# 定义数组左右边界的索引值
		left = 0
		right = size -1
		# 进入循环
		while left < right：#循环执行的条件
			mid = (right+left)>>1 #右移一位，相当于除以2，但是右移速度快，若使用(right+left)/2，则很容易出现溢出的问题
			#判断中位数与边界值的关系
			if numbers[mid] > numbers[right]: # 说明mid以及mid的左边一定不是最小的数
			# 缩小边界，下一轮的搜索区间为[mid+1,right]
			left = mid + 1
		# 上面判断失败，则进行elif,当mid与right的数相等的时候，此时将右边的数舍弃，不影响结果
		 # 这里需要注意的是，给出的数组可能不是严格的单调递增
		 elif numbers[mid] == numbers[right]:
		 	right = right - 1
		 else:
		 	# numbers[mid] < numbers[right]
		 	# 说明mid的右边一定不是最小数，mid本身有可能是
		 	right = mid

	return numbers[left]

在这里需要特别注意的是，数组并没有说明是严格的单调递增，因此需要考虑到如下的这个情况：

再者，需要考虑到溢出的情况，因为int类型由它定义的变量的数值范围是有限的。

参考链接1