【数据结构】树和二叉树

一、相关术语

1、树的定义

（1）树是n(n>=0)个结点的有限集。

（2）在任意一棵非空树中：

·有且仅有一个特定的称为根的结点。

·当n>1时，其余结点可分为m(m>1)个互不相交的有限集T1、T2....,Tm,其中每个集合本身又是树，并且称为根的子树。

（3）有序树、无序树：如果将树中结点的各子树看成从左至右是有次序的（即不能互换），则称该树为有序树，否则称为无序树。

（4）森林：m(m>=0)棵互不相交的树的集合。

2、树的性质

（1）任何非空树都只有一个根节点。

（2）除了根节点，每个节点只有一个双亲节点。

（3）如果一个树有N个节点，则有N-1条边。

（4）从根到每个节点只有一条路径。

3、树的抽象数据类型

（1）ADT Tree{

数据对象D：D是具有相同特性的数据元素。

数据关系R：若D为空集，则称为空树。若D仅含一个数据元素，则R为空集，否则R=（H），H是下列二元关系：

·InitTree(&T)：构造空树T。

·DestroyTree(&T)：销毁树T。

·CreateTree(&T,definition)：按defintion给出树T的定义。

4、树的5种表现形式：
（1）图形表示法

（2）嵌套集合表示法

（3）广义表表示法

（4）凹入表示法

（5）左孩子、右兄弟表示法

二、二叉树

1、定义：二叉树是一棵树，它的每个节点最多有两个节点，称为左子节点和右子节点。

2、逻辑结构：一对二（1：2）

3、基本特征：

（1）每个节点最多只有两棵子树（不存在度大于2的结点）；

（2）左子树和右子树次序不能颠倒。

（3）二叉树有五种形态。

注：具有3个结点的二叉树有5种形态，树有3种形态。

3、二叉树的抽象数据类型:

（1）数据集合：二叉树的结点集合，每个结点由数据元素和构造数据元素之间关系的指针组成。

（2）操作集合：
·创建二叉树：InitBiTree(T)

·撤销二叉树：DestroyBiTree(T)

·插入结点：InsertChild(T,p,LR,c)

·删除结点：DeleteChile(T,p,LR)

4、二叉树的性质：

（1）若二叉树的层次从1开始，二叉树的第i层最多有2^(i-1)个结点（i>=1）。

（2）高度为k的二叉树最多有2^k-1个结点（k>=1）。

（3）对任何一棵二叉树，如果其叶结点个数为n0，度为2的非叶结点个数为n2，则有n0=n1+1。

（4）具有n个结点的完全二叉树的高度为|_log2(n)_|+1。

（5）如果将一棵有n个结点的完全二叉树自顶向下，同一层自左向右连续给结点编号1，2，...，n，ranhou按此结点编号将树中各节点顺序地存放于一个一维数组中，并简称编号为i的结点为结点i（1<i<=n），则有以下关系成立：

·若i==1，则i无双亲，若i>1，则i的双亲为|_i/2_|

·若2*i<=n,则i的左孩子为2*i；否则，i无左孩子，必定是叶结点，二叉树中i>|_n/2_|的结点必定是叶结点；若2*i+1<=n,则i的右孩子为2*i+1，否则i无右孩子。

·若i为奇数且i不为1，则其左兄弟为i-1，否则无左兄弟。

·若i为偶数且不小于n，则其右兄弟为i+1，否则无右兄弟。

·i所在层次为|_log2(i)_|+1。

5、两种特殊的二叉树

（1）满二叉树：一棵深度为k且有2^k-1个结点的二叉树（每一层结点都达到最大值）。

（2）完全二叉树：若设二叉树的高度为k，除第k层外，其他各层（1~k-1）的结点数都达到最大个数，第k层从右向左连续缺若干结点，这就是完全二叉树。

·叶子结点只可能在“最下”2层上出现。

·对任一结点，若其右分支下子孙最大层次为l，则其左分支下子孙的最大层次必为l或l+1。

·完全二叉树度为1的结点的个数为1或0。

6、二叉树的存储结构

（1）顺序存储：（适合存放完全二叉树）

·用一维数组存放所有结点。

·用完全二叉树的思想对结点编号——作为结点的下标。

·为了能还原回树，要将树补全为完全二叉树。

（2）链式存储

·每个结点存放其左右孩子结点的指针——二叉链表。

·n个结点的二叉链表有n+1个空指针。