【二分法求解】局部最小值问题

局部最小值问题

一、 问题引入：

存在这样一个数组arr（元素相邻不相等），求这个数组的局部最小值 。

二、 局部最小值的定义

若一个数小于它左边的数并且小于它右边的数，那么这个数被称为局部最小值，即：arr[x-1] < arr[x] < arr[x+1]。
数组边界元素局部最小值定义为：
若arr[0] < arr[1]，则arr[0]为局部最小值；若arr[n-1] < arr[n-2]，则arr[n-1]为局部最小值。

三、 求解思路分析

对于边界数组元素而言，只需满足边界元素的局部最小值定义即可。
对于非边界数组元素而言，则需要进一步分析：
如果不满足边界条件即：arr[0] > arr[1] 并且 arr[n-1] > arr[n-2]，则必然会存在一个局部最小值在arr[1]~arr[n-2]之间。（因为如果两端的值不为局部最小值，无论中间的元素大小如何，则中间一定会存在一个局部最小值）由此可知，则可以使用二分法（分治策略）进行局部最小值的寻找。

四、 分治策略求解

根据上述分析可知，局部最小值必然存在，则只需要使用二分法进行mid的寻找即可。
分别创建两个指针变量L（初始值0）与R（初始值n-1），进行mid（值为(L+R)/2）的寻找：若arr[mid] < arr[mid-1]且arr[mid] < arr[mid+1]，则直接返回值即可；不满足条件则需考虑arr[mid]是否大于arr[mid-1]，若满足arr[mid] > arr[mid-1]，则需要在L与mid-1中间寻找，并把mid-1赋值为R；若不满足，则在mid+1与R中寻找即可，并把mid+1赋值给L。

五、 特殊情况考虑

在进行二分的过程中很有可能分成只有两个元素的情况，则这种的判定条件arr[mid] < arr[mid-1]且arr[mid] < arr[mid+1]则会出现越界的情况。
为避免这种情况，我们在进行迭代寻找的过程中，将循环跳出的条件改为L < R - 1，这样就可以保证最小的分割也是三个元素。

六、 代码实现

public class Code04_BSAwesome {
    //arr整体无序但满足相邻位置不相等
    public static int oneMinIndex(int[] arr) {
        if (arr == null || arr.length == 0) {
            return -1;
        }
        int N = arr.length;
        if (N == 1) {
            return 0;
        }
        if (arr[0] < arr[1]) {
            return 0;
        }
        if (arr[N - 1] < arr[N - 2]) {
            return N - 1;
        }
        //二分法
        int L = 0;
        int R = N - 1;
        //L~R范围需要三个数（不能两个数）
        while (L < R - 1) {
            int mid = (L + R) / 2;
            if (arr[mid] < arr[mid - 1] && arr[mid] < arr[mid + 1]) {
                return mid;
            } else {

                //1、L > mid  mid > R
                //2、L < mid  R > mid
                //3、mid > L  mid > R
                if (arr[mid] > arr[mid - 1]) {
                    R = mid - 1;
                } else {
                    L = mid + 1;
                }
            }

        }
        return arr[L] < arr[R] ? L : R;
    }

    //生成随机数组，且相邻数不相等
    public static int[] randomArray(int maxLen, int maxValue) {
        int len = (int) (Math.random() * maxLen);
        int[] arr = new int[len];
        if (len > 0) {
            arr[0] = (int) (Math.random() * maxValue);
            for (int i = 1; i < len; i++) {
                do {
                    arr[i] = (int) (Math.random() * maxValue);
                } while (arr[i] == arr[i - 1]);
            }
        }
        return arr;
    }

    //验证方法
    public static boolean check(int[] arr, int minIndex) {
        if (arr.length == 0) {
            return minIndex == -1;
        }
        int left = minIndex - 1;
        int right = minIndex + 1;
        //有难度
        boolean leftBigger = left >= 0 ? arr[left] > arr[minIndex] : true;
        boolean rightBigger = right < arr.length ? arr[right] > arr[minIndex] : true;
        return leftBigger && rightBigger;
    }

    //打印输出
    public static void printArray(int[] arr) {
        for (int num : arr) {
            System.out.print(num + " ");
        }
        System.out.println();
    }

    public static void main(String[] args) {
        int maxLen = 100;
        int maxValue = 20;
        int testTime = 1000000;
        System.out.println("测试开始");
        for (int i = 0; i < testTime; i++) {
            int[] arr = randomArray(maxLen, maxValue);
            int ans = oneMinIndex(arr);
            if (!check(arr, ans)) {
                printArray(arr);
                System.out.println(ans);
                break;
            }
        }
        System.out.println("测试结束");
    }
}