二叉树定义、性质

二叉树

二叉树：一个有穷的结点集合
这个集合可以为空
若不为空。则它是由根节点和称为其左子树$T_L$和右子树$T_R$的两个不相交的二叉树组成

二叉树的几个重要性质
一个二叉树第i层的最大结点数为：$2^{i-1}$，i≥1
深度为k的二叉树有最大结点总数为：$2^k$-1，k≥1
对任何非空二叉树T，若$n_0$表示叶结点的个数、$n-2$是度为2的非叶结点个数，那么两者满足关系$n_0$=$n_2$+1。

二叉树抽象数据类型定义
类型名称：二叉树
数据对象集：一个有穷的结点集合
若不为空，则由根结点和其左、右二叉子树组成

操作集：BT∈Bin Tree，Item ∈ ElementType
重要操作有：
1、Boolean IsEmpty（Bin Tree BT）：判别BT是否为空
2、void Traversal（Bin Tree BT）：遍历，按某顺序访问每个结点
3、Bin Tree Create Bin Tree （）：创建一个二叉树

常用的遍历方法
void PreOrderTraversal（Bin Tree BT): 先序——根、左子树、右子树
void InOrderTraversal(Bin Tree BT): 中序——左子树、根、右子树
void PostOrderTraversal(Bin Tree BT): 后序——左子树、右子树、根
void LevelOrderTraversal(Bin Tree BT): 层次遍历，从上到下、从左到右