If you use the first edition of the textbook, follow the reading material
in orange. If you use the second edition,
follow the reading material in brown.
pages 215-221 (Section 6.2.2-6.3.1)
pages 297-303 (Section 7.2.2-7.3.1)
Proof of Proposition 6.5/Proposition 7.5 in PostScript and PDF
Give pseudocode for insertItem of the implementation of a
priority queue with an (array-based) heap.