
Heap Layout and Operations
The binary heap as a complete binary tree stored in an array: 1-based and 0-based index maps, leaf range and height, insertion with sift-up and delete-min with sift-down traced swap by swap, the heap property test (with the corrected inequality), where the maximum of a min-heap can be, and the cost of every heap operation. Every array and count is produced by a verification script.


