二叉堆(Heap)的学习

 定义：在一棵完全二叉树中，满足A[Parent[i]] <= A[i]（小根堆为例）。

性质1：Parent[i] = i/2; Left[i] = i*2; Right[i] = i*2+1;

性质2：高度为h的堆，元素对多 个，最少 个；

性质3：含n个元素的堆的高度为floor(lg n);

性质4：当用数组表示存储了n个元素的堆时，叶子结点的下标是floor(n/2)+1……n

操作：

1.       heapify(int k)

前提条件是其子结点满足堆的性质，则操作完成后，以该点给根的树也满足堆的性质：

void minheapify(int k) { int l, r, minest = k; while (1) { l = k << 1; if (l <= minsize && minarray[l] < minarray[minest]) minest = l; r = l+1; if (r <= minsize && minarray[r] < minarray[minest]) minest = r; if (minest !=k ) { exchange(minarray[k], minarray[minest]); k = minest; } else break; } }

2.       decrease(int k)

当一个元素的值减小时，应该往上冒泡去找适合自己的位置；增加元素可以理解为一个点的权值从+Infinite改到了当前值，所以也可以用这个操作；

void decreasekey(int k) { int t = minarray[k]; while (k > 1 && minarray[k>>1] > t) { minarray[k] = minarray[k>>1]; k>>=1; } minarray[k] = t; }

3.       extract():int

删除根结点，并返回权值大小

int popminarray() { int t = minarray[1]; minarray[1] = minarray[minsize--]; minheapify(1); return t; }

4.       increase(int k)

增加一个新的结点

 

void insertminarray(int num) { minarray[++minsize] = num; decreasekey(minsize); }

 

5.build(int size)

数组状态下以O(n)的复杂度建堆

void build(int size) { for (int i = size/2; i >= 1; i--) minheapify(i); }

 

基本就这些，把这些代码熟记于心后，就要具体问题具体处理了！