二叉堆是一棵完全二叉树,这个性质保证二叉堆可以用一个简单数组(Array)表示。
根元素放在 Array[ 1 ] 处(Array[ 0] 不使用)。
对数组中任一位置i上的元素,其左二子在位置2i上,右儿子在左儿子后的单元 2i+1 上,它的父亲则在位置 ⌊ i/2 ⌋ 上。
堆序性质
堆中任意节点小于它的所有后裔(最小元素在跟上)。
insert
- 在下一个可用位置创建一个空穴(假设插入元素 X);
- 如果X可以放在空穴而不破坏堆序性质,插入完成;
- 如果堆序性质被破坏,则把空穴的父节点上的元素移入空穴,即空穴上滤一步;
- 重复3,直到找到可以放X的空穴位置。
- 删除根处元素,留下一个空穴;
- 将最后一个元素X填入此空穴,如果满足堆序性质则完成(一般不可能);
- 如果堆序性质被破坏,将空穴两个儿子较小者移入空穴,即空穴下滤一步;
- 重复3,直到找到可以放X的位置。