16 6 MAX-HEAPIFY(A,i) 10 0 1 I=LEFT(i) 2 r=RIGHT(i) 3 if1 A.heap-size and A[l]>Ali] 4 largest =I 5 else largest =i (b】 6 ifr A.heap-size and A[r]>A[largest] 7 largest =r 8 if largest≠i 16 9 exchange A[i]with A[largest] 10 MAX-HEAPIFY (A,largest) MAX-Heapify操作的pre/post--condition是什么？ Pre-condition:i的子女均已是某个大堆的根节点！ Post-condition:以i为根，构成一个大堆！MAX-Heapify操作的pre/post-condition是什么？ Pre-condition: i的子女均已是某个大堆的根节点！ Post-condition: 以i为根，构成一个大堆！