一. 二叉树的定义
- 二叉树是另一种树形结构,它的特点是每个结点至多只有两棵子树(即二叉树中不存在度大于2的结点),并且二叉树的子树有左右之分,其次序不能任意颠倒。
- 二叉树或为空,或是由一个根结点加上两棵分别称为左子树和右子树的,互不相交的二叉树组成。
- 由于左子树和右子树也是二叉树,则由二叉树的定义,他们也可以是空树。
二. 二叉树的性质
性质1
在二叉树的第i层上至多有2的i-1次方个结点(i>=1)。
性质2
高度为k的二叉树最多有2的k次方-1个结点(h>=1)。
性质3
对任何一棵二叉树,如果其叶结点有n0个,度为2的非叶节点有n2个,则有 n0 = n2 +1。
性质4
具有n(n>=0)个结点的完全二叉树的高度为:
关于符号的说明:
性质5
如将一棵有n个结点的完全二叉树自顶而下,同一层自左向右连续给结点编号:1,2…,n,则有以下关系:
满二叉树和完全二叉树
三. 二叉树的存储结构
顺序存储结构
#define MAX_TREE_SIZE 100 //二叉树的最大结点数
typedef TRlemType SqBiTree[MAX_TREE_SIZE]; //0号单元存储根结点
SqBiTree bt;
顺序存储一棵二叉树时,就是用一组连续的存储单元存放二叉树中的结点。即将完全二叉树上编号为i的结点元素存储在一维数组中下标为i-1的分量中。
#代表不存在此结点。
链式存储结构
在最坏的情况下,一个深度为k的右单支结点中,需要长度为2的k次方-1的一维数组,大大的浪费了空间。
因此可以采用链式存储结构。
对于一般的二叉树,有二叉链表表示,三叉链表表示。
二叉链表表示
三叉链表表示
二叉树链表表示的示例
容易证得,在含有n个结点的二叉链表中:
- 有2n个指针域
- 有n+1个空链域
- 非空指针域有n-1个