Objectives:-know Max-Heapify algorithm, Build-Max-Heap Algorithm-know how to prove a correctness of algorithms using loop invariants-know how to build decision trees Assignment Description: Illustrate the operation of MAX-HEAPIFY(A, 2) on the array A = {...