9.2-1
如果数组的长度是0,那么调用的randomized-select函数的第二个和第三个参数是相同的。如果调用发生在程序的第8行,即p=q-1,
那么有k=q-p+1=0.而题目中的i表示要找数组中第i小的元素,那么i一定大于等于0,而程序进行到第8行的条件是i<k=0,不成立。
同理可以证明如果是在第九行调用的话i会大于k,同样不成立,所以程序不会递归调用长度为空的数组。
9.2-3
def randomized_select(A,p,r,i):
while true:
if p==r:
return A[p]
q=randomized_partition(A,p,r)
k=q-p+1
if i==k:
return A[q]
if i<k:
r=q
else :
p=q
i=i-k
9.2-4
当输入数组从大到小排列时时间复杂度最高,即9,8,7,6,5,4,3,2,1,0时。