半有序数组的最值查找（二分法）

1. 旋转数组的最小值

剑指offer 11

题目描述：
数组的旋转，就是把一个数组开始的若干个元素搬到数组的末尾。输入一个有序数组的旋转数组，求出其最小值的高效算法。

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

思路

其中横轴表示数组元素的下标，纵轴表示数组元素的值。图中标出了最小值的位置，是我们需要旋转的目标。
我们考虑数组中的最后一个元素 x：在最小值右侧的元素，它们的值一定都小于等于 x；而在最小值左侧的元素，它们的值一定都大于等于 x。因此，我们可以根据这一条性质，通过二分查找的方法找出最小值。
在二分查找的每一步中，左边界为low，右边界为high，区间的中点为 mid，最小值就在该区间内。我们将中轴元素 num[mid]与右边界元素 num[high] 进行比较，可能会有以下的三种情况：
第一种情况是num[mid] < num[high]。如下图所示，这说明 中间节点mid 是最小值右侧的元素，因此我们可以忽略二分查找区间的右半部分。
第二种情况是num[mid] > num[high]。如下图所示，这说明 中间节点mid 是最小值左侧的元素，因此我们可以忽略二分查找区间的左半部分。
第三种情况是num[mid] = num[high]。如下图所示，由于重复元素的存在，我们并不能确定 mid究竟在最小值的左侧还是右侧，因此我们不能莽撞地忽略某一部分的元素。我们唯一可以知道的是，由于它们的值相同，所以无论 num[high] 是不是最小值，都有一个它的「替代品」num[mid]，因此我们可以忽略二分查找区间的右端点。

class Solution {
    public int minArray(int[] numbers) {
       //利用二分查找法，可画图帮助理解
       int low = 0;
       int high = numbers.length - 1;
       
       while(low < high) {
           int mid = (low + high) / 2;
           //若中间节点值小于最后一个值，则mid位于min右侧
           if(numbers[mid] < numbers[high]){
               high = mid;
           }
           //若中间节点大于最后一个值，则mid位于min左侧
           else if(numbers[mid] > numbers[high]){
               low = mid + 1;
           }
           //若等于，则不确定最小值在哪侧，所以只能将high减1，向前移一位
           else {
               high -= 1;
           }
       }
    return numbers[low];
    }
}
//1.low,high重新赋值时加1 或 不加1 或 减1的问题（）
//2.但对于比较时相等的情况

2. 山脉数组的峰顶索引

力扣 852

题目描述：
符合下列属性的数组 arr 称为 山脉数组 ：
arr.length >= 3
存在 i（0 < i < arr.length - 1）使得：
arr[0] < arr[1] < … arr[i-1] < arr[i]
arr[i] > arr[i+1] > … > arr[arr.length - 1]
返回转折点arr[i]的下标i。

思路：
这是个山脉数组，也就是”凸数组“，前半段是上升的，后半段是下降的；故可以通过比较相邻两个元素（索引为mid和mid+1）的大小来确定mid属于哪个阶段，进而判断max在mid的哪侧。

class Solution {
    public int peakIndexInMountainArray(int[] arr) {
        int low = 0;
        int high = arr.length - 1;
        while(low < high){
            int mid = (low + high) / 2;
            //山脉数组，则前半段为上升，后半段为下降，可以比较两个相邻元素的大小而判断上升段还下降段
            if( arr[mid] < arr[mid + 1]){//上升段
                //low = mid + 1;
                low = mid;
            }
            //题目中没有等于的情况
            else {
                //high = mid;
                high = mid - 1;
            }
        }
        return low;
    }
}