Description

关键点1：旋转数组的特性

由于原数组是严格升序的，所以旋转 1 次和旋转多次的结果是类似的：最终数组要么是一个完整的升序数组（即未旋转时的原数组），要么是两个升序数组的组合。 这两个升序数组的组合形式是：[较大的升序段 + 较小的升序段]，其中较小的升序段的第一个元素就是整个数组的最小值。

关键点2：本题二分查找的核心思路：区间内的都是还没有确定是否小于 nums[len-1] 的数的下标，既然 right=mid，说明 right 已经确定清楚了，自然就不能在区间内了

使用二分查找，每次通过比较中值 nums[mid] 与 nums[right] 来判断中值 mid 属于哪个升序段：

• 如果 nums[mid] < nums[right]：说明 mid 位于右升序段（即较小的升序段），mid 可能是最小值，因此将 right 更新为 mid。
• 否则（nums[mid] > nums[right]）：说明 mid 位于左升序段（即较大的升序段），此时最小值一定在 mid 右侧，因此将 left 更新为 mid + 1
• 当 left == right 时，说明找到了最小值，直接返回 nums[left] 即可。所以循环不变的条件是：while(left < right)而不是while(left <= right)。区间收缩到剩下一个元素时停止。

关键点3：为什么不用 mid 和最左边的值比较？

因为这是一个旋转之后的递增序列：

• 用 mid 和 left 比较时：mid > left，无法确定最小值在 mid 的左边还是右边。
• 用 mid 和 right 比较时：
• 如果 mid > right，说明最小值在 mid 的右边（不包含 mid，因为 right 比 mid 小）。
• 如果 mid <= right，说明右边是有序的（或者干脆只有一段递增区间，旋转回来了），且最小值就是 mid 或在 mid 的左边（包含 mid）。