找到一个数字K，以使Array包含至少K个大于或等于K的数字

给定一个数组Array，要求找到一个数字K，使得Array中至少包含K个大于或等于K的数字。

解决思路

通过题目可知，我们需要寻找一个数字K，使得Array中包含至少K个大于或等于K的数字。那么我们可以对Array进行排序，从大到小排列，然后从左到右遍历数组，找到第一个满足条件的K，即当前位置大于等于K。

如果遍历完整个数组仍找不到满足条件的K值，则返回-1。

代码实现

def find_K(arr):
    arr.sort(reverse=True)
    for i in range(len(arr)):
        if arr[i] >= i+1:
            return i+1
    return -1

测试样例

我们可以使用以下测试样例来检验程序是否正确：

assert find_K([1, 2, 3, 5, 6]) == 3
assert find_K([2, 2, 2, 2, 2]) == -1
assert find_K([0, 0, 0, 3, 3]) == 3
assert find_K([1, 1, 1, 1, 1]) == 1

时间复杂度

对数组进行排序的时间复杂度是nlogn，遍历数组的时间复杂度是O(n)，因此总时间复杂度是O(nlogn)。

空间复杂度

空间复杂度取决于排序算法的实现，一般是O(logn)或O(n)。