【LeetCode】1608. 特殊数组的特征值

题目

1608. 特殊数组的特征值

题目描述

给你一个非负整数数组 nums 。如果存在一个数 x ，使得 nums 中恰好有 x 个元素 大于或者等于 x ，那么就称 nums 是一个 特殊数组 ，而 x 是该数组的 特征值 。

注意： x 不必 是 nums 的中的元素。

如果数组 nums 是一个 特殊数组 ，请返回它的特征值 x 。否则，返回 -1 。可以证明的是，如果 nums 是特殊数组，那么其特征值 x 是 唯一的 。

解题思路

首先，题目限制了范围0~1000。其次，x是数组中存在大于等于x的数。最后，x不一定在数组中出现。

来，分析这个题，最粗暴的就拿0~1000，在数组中挨个过一遍就能找到。如果挨个过一遍可以的话，是不是可以考虑一下，将这个范围缩小一些。

继续，要缩小左侧值，对于0，会有可能吗？貌似不可能x存在大于等于x，针对于0，怎么存在0大于等于0的数，那是不是只能是空数组；那继续看1呢？如果针对于[0,0,0,2,0]，这不是1仍然是满足条件的呢？好像是，那就表明最侧值是动不了的了。

那就看看右侧值呢？仍以[0,0,0,2,0]为例，只管的看，这个数字不可能为100，毕竟要存在x个这样的数，所以这个数最大只能是数组的长度(n)，也就是5，继续看条件，大于等于x，当前例子中最大的值是2，也就是说答案是不可能大于2的，否则怎么会存在呢？因此，最大值应该为right=Math.min(Math.max(nums), n)。

现在我们确定了查找的范围1~right。在这个范围找到一个满足条件的数且这个范围有序。怎么更快呢？二分啊。条件如下：

• mid满足条件，结束。
• mid>count，表明mid选择的太小了，应该去右边找找，为什么呢？因为只有找更大的数，才能降低大于等于mid的个数
• mid<count，与大于正好对立。

代码逻辑

/**
 * @author woniu
 * @date 2022/5/28 20:01
 **/
public class SpecialArray {

    /**
     * 这个值只能存在于1 ~ 100之间，其中右点为数组中的最大值或者数组的长度
     * 比如说：[3,5], 最大值是5，数组长度是2，题目要求x是必须存在x个大于等于该值的，必然不可能大于2.
     * [0,4,1,3,4,1], 最大值是4，长度是6，如果满足题目要求的值为5或者6，那怎么可能数组的最大值是4呢？因此，最大值只能在4以内。
     * @param nums
     * @return
     */
    public int specialArray(int[] nums) {
        int left = 1;
        int max = 0;
        for (int num : nums) {
            max = Math.max(max, num);
        }
        int right = Math.max(max, nums.length);
        while (left <= right) {
            int mid = (left + right) / 2;
            int count = 0;
            for (int num : nums) {
                if (num >= mid) {
                    count++;
                }
            }
            if (count == mid) {
                return mid;
            } else if (count > mid) {
                left = mid + 1;
            } else {
                right = mid - 1;
            }
        }
        return -1;
    }
}