iframe_container" src="https://prezi.com/p/embed/TNQTT3sKKWuxcklTxxnb/" width="560" height="315" allowfullscreen="allowfullscreen" webkitallowfullscreen="webkitallowfullscreen" mozallowfullscreen="mozallowfullscreen" allow="autoplay; fullscreen"></iframe></p>
<p>We started today with a loose end from <a class="inline_disabled" href="../17-pqheap.html" target="_blank" rel="noopener">Lecture 17</a> on minheaps and priority queues: a formal analysis of the runtime of the heapify algorithm.</p>
<p>Recall that h