题目

示例

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

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

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

思路

1.先对原数组升序排序

2.遍历每一个元素，看剩下元素的个数是否在(tmp, 当前元素] 之间，若在，直接返回剩下元素的个数，若不在，继续遍历。

3.这里的tmp是要动态变化的，初始值应设为0，后面遍历到无法作为答案返回的元素，就把tmp的值改为该元素的值作为判断区间的首元素。（这里的原理是前面遍历过的元素既然没有作为答案返回就证明后面剩下元素的个数一定比该元素值大，如果我们再从0开始判断，一定会包含前面某个元素，这时，就会出现误判， 如[3,6,7,7,0]，排完序是[0,3,6,7,7], 会发现遍历到3时后方元素还有4个不符合要求不返回，往后是6，如果我们判断区间为（0,6]那么剩下元素为3个在区间内，就会当做答案返回了）

题解

class Solution:
    def specialArray(self, nums: List[int]) -> int:
        nums = sorted(nums)
        n = len(nums)
        tmp = 0
        for i in range(n):
            # 判断区间
            if n - i in range(tmp+1, nums[i]+1):
                return n - i
            # 更新边界值
            tmp = nums[i]
        return -1