算法导论第六章思考题参考答案(11)

Problem 6-1

a.他们没有。考虑数组A = <3,2,1,4,5>。如果我们运行Build-Max-Heap，我们会得到<5,4,1,3,2>。然而，如果我们运行Build-Max-Heap'，我们将得到<5,4,1,2,3>。
b.每个插入步骤最多需要O(lg(n))，因为我们做了n次，所以我们得到了O(nlg (n))的运行时间界限。

Problem 6-2 

a.说明如何访问父节点和子节点就足够了。在d-ary数组中，PARENT(i) = , CHILD(k, i) = ，其中CHILD(k, i)给出i索引节点的第k个子节点。
b.由n个元素组成的d-ary堆的高度为的1。
c.下面是一个针对d-ary堆的HEAP-EXTRACT-MAX实现。还给出了DMAX-HEAPIFY的实现，它是d元堆的MAX-HEAPIFY的模拟。HEAP-EXTRACT-MAX由常数时间操作组成，然后调用DMAX-HEAPIFY。这个递归调用自身的次数受到d元堆的高度的限制，所以运行时间是。注意CHILD函数应该是第(a)部分描述的那个。 

d.这个INSERT实现的运行时间为，因为while循环最多运行与d元数组高度相同的次数。请注意，当我们调用PARENT时，我们指的是(a)部分中定义的PARENT。 

e.这与2元堆的HEAP-INCREASE-KEY的实现相同，但PARENT函数解释为第(a)部分。运行时间为，因为while循环最多运行与d元数组高度相同的次数。 

Problem 6-3

a. 

b.对于每一个i, j, Y[1,1]≤Y [i, 1]≤Y [i, j]。所以，如果Y[1,1] =∞，我们知道对于每一个i, j，Y [i, j] =∞，这意味着不存在任何元素。如果Y是满的，则不存在标记为∞的元素，特别是元素Y [m, n]不标记为∞。

c. Extract-Min(Y,i,j)，从Y得到的young tableau Y'中提取最小值。请注意，在运行此算法时，可能会对Y进行多次越界访问，将其定义为返回∞。禁止在禁区内进行任何存储操作。由于可以调用的i + j的最大值是n + m，并且每次调用这个数量必须增加1，因此我们知道运行时以n + m为界。

d.因为i + j在每一步都是递减的，从n + m开始，以2为界，我们知道这个程序的运行时间是O(n + m)。

e. 通过调用第d部分中的算法，将n^2个元素放入Young Tableau中。然后，调用c部分n2中的算法，得到按递增顺序排列的数字。这两种操作的时间都不超过2n∈O(n)，并且执行了n^2次，因此，总运行时间为O(n^3)。

f.找到(Y,key)。让Check(y,key,i,j)表示如果Y[i, j] = key则返回true，否则什么都不做。