7-4 快速排序中的堆栈深度
7.1节中的QUICKSORT算法包含有两个对自身递归调用。在调用PARTITION后,左边的子数组和右边的子数组分别被递归排序。
QUICKSORT中第二次递归调用并不是必须的;可以用迭代控制结构来代替它。这种技术称作尾递归,对多数的编译程序都加以了采用。
考虑下面合格快速排序的版本,它模拟了尾递归:
QUICKSORT'(A, p, r)
1 while p < r
2 do ▸ Partition and sort left subarray.
3 q ← PARTITION(A, p, r)
4 QUICKSORT'(A, p, q - 1)
5 p ← q + 1
a)论证QUICKSORT'(A, 1, length[A])能正确地对数组A进行排序。
b)请给出一种在含有n个元素的输入数组上QUICKSORT'的栈深度为Θ(n)的情况。
c)修改QUICKSORT'的代码,使其最坏情况下栈深度为Θ(lgn),保持算法的O(nlgn)期望运行时间不变。
分析与解答:
a)QUICKSORT'对A[p...r]进行排序时,先PARTITION,然后对左边的子数组进行排序,接下来对右边的子数组也采取同样的操作
0----4----3-----------2------------------------