Title
在未排序的数组中找到第 k 个最大的元素。请注意,你需要找的是数组排序后的第 k 个最大的元素,而不是第 k 个不同的元素。
示例 1:
输入: [3,2,1,5,6,4] 和 k = 2
输出: 5
示例 2:
输入: [3,2,3,1,2,4,5,5,6] 和 k = 4
输出: 4
说明:
你可以假设 k 总是有效的,且 1 ≤ k ≤ 数组的长度。
基于快速排序的选择方法
Solve
先对原数组排序,再返回倒数第k个位置,这样平均时间复杂度是O(nlogn)。
我们来回顾一下快速排序,对数组array[l…r]的快速排序过程是:
分解:将数组array[l…r]划分成两个子数组array[l…q-1]、array[q+1…r],使得a[l…q-1]中的每个元素小于等于a[q],且a[q]小于等于a[q+1…r]中的每个元素。
解决:通过递归调用快速排序,对子数组array[l…q-1]、array[q+1…r]进行排序。
合并:因为子数组都是原址排序,所以不需要进行合并操作,a[l…r]已经有序。
由此可以发现每次经过划分操作后,一定可以确定一个元素的最终位置,即x的最终位置为q,并且保证a[l…q-1]中的每个元素小于等于a[q],且a[q]小于等于array[q+1…r]中的每个元素。
所以只要某次划分的q为倒数第k个下标的时候,就已经找到了答案,我们只关心这一点,至于array[l…q-1]、array[q+1…r]是否是有序的无需关心。
因此我们可以改进快速排序算法来解决这个问题:在分解的过程当中,我们会对子数组进行划分,如果划分得到的 q 正好就是我们需要的下标,就直接返回 a[q];否则,如果 q 比目标下标小,就递归右子区间,否则递归左子区间。
这样就可以把原来递归两个区间变成只递归一个区间,提高了时间效率。这就是「快速选择」算法。
我们知道快速排序的性能和「划分」出的子数组的长度密切相关。直观地理解如果每次规模为 n 的问题我们都划分成 1 和 n - 1,每次递归的时候又向 n - 1 的集合中递归,这种情况是最坏的,时间代价是 O(n 2)。
我们可以引入随机化来加速这个过程,它的时间代价的期望是 O(n),证明过程可以参考「《算法导论》9.2:期望为线性的选择算法」。
Code
def findKthLargest_QuickSelection(self, nums: List[int], k: int) -> int:
def quickSelect(a: List[int], l: int, r: int, k: int):
q = randomPartition(a, l, r)
return a[q] if q == k else quickSelect(a, q + 1, r, k) if q < k else quickSelect(a, l, q - 1, k)
def partition(a: List[int], l: int, r: int):
x, i = a[r], l - 1
for j in range(l, r):
if a[j] <= x:
i += 1
a[i], a[j] = a[j], a[i]
a[i + 1], a[r] = a[r], a[i + 1]
return i + 1
def randomPartition(a: List[int], l: int, r: int):
i = random.randint(l, r)
a[i], a[r] = a[r], a[i]
return partition(a, l, r)
return quickSelect(nums, 0, len(nums) - 1, len(nums) - k)
复杂度分析
时间复杂度:O(n),如上文所述,证明过程可以参考「《算法导论》9.2:期望为线性的选择算法」。
空间复杂度:O(logn),递归使用栈空间的空间代价的期望为 O(logn)。
基于堆排序的选择方法
Solve
可以建立一个小根堆,做k-1次删除操作后堆顶元素就是我们要找的答案。
在很多语言中,都有优先队列或堆的容器可以直接使用,但在面试中,面试官更倾向于让面试者自己实现一个堆,搞懂「建堆」、「调整」和「删除」的过程。
取nums前k个元素建立大小为k的最小堆,剩余k+1到N个元素依次和堆顶比较,如果比堆顶大,则替换当前堆顶,并维护最小堆,最终最小堆里是前k大的元素,堆顶为前k大的元素中最小的元素。
Code
def findKthLargest_MinimumHeap(self, nums: List[int], k: int) -> int:
def shift(i, k):
flag = 0
while (i * 2 + 1) < k and flag == 0:
t = i
if nums[i] > nums[2 * i + 1]:
t = 2 * i + 1
if (i * 2 + 2) < k and nums[t] > nums[2 * i + 2]:
t = 2 * i + 2
if t == i:
flag = 1
else:
nums[i], nums[t] = nums[t], nums[i]
i = t
for i in range(k // 2, -1, -1):
shift(i, k)
for i in range(k, len(nums)):
if nums[0] < nums[i]:
nums[0] = nums[i]
shift(0, k)
return nums[0]
复杂度分析
时间复杂度:O(nlogn),建堆的时间代价是 O(n),删除的总代价是 O(klogn),因为 k<n,故渐进时间复杂为 O(n+klogn)=O(nlogn)。
空间复杂度:O(logn),即递归使用栈空间的空间代价。