非常没有内容的一节。
数据结构的堆和内存管理的堆没有什么联系。据考证可能是由于早期Lisp采用堆结构来管理堆内存而引申出来的。
堆的基本操作正比于堆的高度$\Theta(logn)$
二叉堆的构造不唯一，二叉堆含序的信息实际上很少。
对于同一个数列的不同二叉堆构造，存在什么断言吗？是否存在某种特殊堆，加强了条件从而也有更好的性质？可以看看偏序图（Hasse diagram）的相关性质？
考虑各个数都不同：最小数在根节点；最大数应当没有子节点，因而应该在倒一/倒二层；次大数应当至多一个子节点，且子节点只能是最大数，因而应当在倒一/倒二/倒三层…这些推断是很弱的。