二叉树的顺序结构
普通的二叉树是不适合用数组来存储的,因为可能会存在大量的空间浪费。而完全二叉树更适合使用顺序结构存储。现实中我们通常把堆(一种二叉树)使用顺序结构的数组来存储,需要注意的是这里的堆和操作系统虚拟进程地址空间中的堆是两回事,一个是数据结构,一个是操作系统中管理内存的一块区域分段。
堆的概念及结构
在堆的概念中,我们要知道它分为大堆和小堆两种:
大堆:树中父亲都大于等于孩子。
小堆:树中父亲都小于等于孩子。
堆的性质:
1. 堆中某个节点的值总是不大于或不小于其父节点的值
2. 堆总是一棵完全二叉树
这里要注意:堆不一定是有序的!
为什么这里我们能用数组来表示一个完全二叉树呢?
我们来看下面的这个图:
我们把这颗完全二叉树,按从上到下,从左到右,按数组的下标来标记:
根据二叉树的性质,我们可以知道:
leftchild=parent * 2+1,
rightchild=parent * 2+2,
parent=(child-1)/2,
这样我们知道了父亲的下标,就能得到孩子的下标,知道孩子的下标,就能得到父亲的下标。所以,我们就可以用数组来控制树了。
堆的实现
接下来,我们就开始怎么实现一个堆。
堆的结构
typedef int HPDataType;
typedef struct Heap
{
HPDataType* arr;
size_t size;
size_t capacity;
}HP;
这里,我们用数组的方式来存储。大家要这样理解:它在物理上是数组,但在逻辑上是个完全二叉树。就像鱼香肉丝,它里面没有鱼,但我们能尝到鱼的味道。
堆的插入
我们在这里以小堆来举例:
1.先插入一个数据到堆的末尾,即最后一个孩子之后。
2.插入之后,如果堆的性质遭到破坏,将新插入的结点顺着其父亲往上调整到合适的位置即可。
在这里,我们先插入一个10,它只会影响它的祖先:
所以我们要根据这个10,来推导它的父亲,做向上调整,让它还是一个堆。
根据parent=(child-1)/2,parent=(10-1)/2,parent=4,下标为4的数是28就是它的父亲,因为我们是小堆,父亲要小于等于孩子,28>10,不满足堆的性质,要交换。
然后再算出它的父亲来比较,此时parent=(4-1)/2,parent=1,下标为1的数是18>10,不满足堆的性质,要交换。
再算出它的父亲来比较,parent=(1-1)/2,parent=0,此时15>10,交换。
此时child为0,child为0时,就全部调整完,循环结束。
可能有同学会问:为什么不用parent来当循环条件的判断。
因为,当child为0,parent应该是小于0才是循环结束的条件,但是,parent=(0-1)/2,parent还是为0,不会小于0,如果parent=0就结束,会少一次的判断情况。
代码如下:
我们可以发现,它向上调整的次数最大就是它的高度。
根据h=log(N+1),所以,它的时间复杂度就为O(logN)
堆的删除
我来举个例子:
怎么删除呢?可能会有人说直接将堆顶删除,但这是不对的:
大家们会发现,堆的结构被破坏了,父子间的关系全乱了。
那我们该用什么方式来解决这个问题呢?
解决方法:
1.第一个数(根位置)跟最后一个数进行交换
2.删除最后一个数据
3.向下调整
向上调整,只会影响它的祖先,但向下调整不行,那我们该如何向下调整?
1.找出左右孩子小的那个
2.跟父亲比较,如果比父亲小,交换
3.在从交换的孩子位置继续往下调整
注意:向下调整算法有一个前提:左右子树必须是一个堆,才能调整。
举个例子:
从这里我们可以看出,当没有孩子时就结束。
代码如下:
在这里,我们要特别注意的就是要判断右孩子是否存在,如果不加条件判断,可能会造成越界访问。
还有一些HeapInit,HeapDestroy, HeapEmpty, HeapSize, HeapTop函数比较简单,大家自己实现吧!
总结:
如果大家觉得这篇文章有帮助,希望大家能够多多支持,谢谢大家!