二分法寻找局部最小值下标

问题

定义局部最小的概念。arr长度为1时，arr[0]是局部最小。
arr的长度为N(N>1)时，如果arr[0] < arr[1]，那么arr[0]是局部最小；
如果arr[N-1]<arr[N-2],那么arr[N-1]是局部最小；
如果0<i<N-1，既有arr[i] < arr[i-1]，又有arr[i] < arr[i + 1]，
那么arr[i]是局部最小。

给定无序数组arr,已知arr中任意两个相邻的数都不相等，
只需要返回arr中任意一个局部最小出现的位置即可，
如果不存在这个位置就输出-1。

分析这个问题，当arr中任意两个相邻的数都不相等的时候，
不管arr的具体形式是什么，其局部最小都是一定存在的，
也就是说其实这个问题根本不会出现返回-1的情况。

代码

#include <iostream>

int SearchLocalMin(int array[], int length);

int main()
{
    int n;
    std::cin >> n;
    int array[n];
    for (int index = 0; index < n; index++)
    {
        std::cin >> array[index];
    }
    std::cout << SearchLocalMin(array, n) << std::endl;
    return 0;
}

int SearchLocalMin(int array[], int length)
{
    if (length == 1 || array[0] < array[1])
    {
        return 0;
    }
    else if (array[length - 1] < array[length - 2])
    {
        return length - 1;
    }
    else
    {
        int left = 0;
        int right = length - 1;
        int middle;
        while (left <= right)
        {
            middle = left + ((right - left) >> 1);
            if (array[middle] < array[middle - 1] && array[middle] < array[middle + 1])
            {
                return middle;
            }
            else if (array[middle] > array[middle - 1])
            {
                right = middle;
            }
            else
            {
                left = middle;
            }
        }
    }
}