二叉树（一）

一、树的概念及结构

1.树的概念

树是一种非线性的数据结构，它是由n（n>=0）个有限结点组成一个具有层次关系的集合。

有一个特殊的结点，称为根节点，根节点没有前驱结点；

除根结点外，其余节点被分成M（M>0）个互不相交的集合，其中每个集合又是一棵结构与树类似的子树，每棵子树的根结点有且只有一个前驱，可以有0个或多个后继指针；

因此树是递归定义的。

任何一棵树=根+N棵子树（N>=0）

注意：树形结构中，子树之间不能有交集，否则就不是树形结构。

2.树的相关概念

结点的度：一个结点含有的子树的个数称为该结点的度，如上图：A的为6。

叶结点或终端结点：度为0的结点称为叶结点，如上图:B、C、H、I...等结点为叶结点。

非终端结点或分支结点：度不为0的结点，如上图：D、E、F、G..等结点为分支结点。

双亲结点或父结点：若一个结点含有子结点，则这个结点称为其子结点的父结点，如上图：A是B的父结点。

孩子结点或子结点：一个结点含有的子树的根结点称为该结点的子结点，如上图：B是A的孩子结点。

兄弟结点：具有相同父结点的结点互称为兄弟结点，如上图：B、C是兄弟结点。（亲兄弟）

树的度：一棵树中，最大的结点的度称为树的度，如上图：树的度为6。

结点的层次：从根开始定义起，根为第1层，根的子结点为第2层，以此类推。

树的高度或深度：树中结点的最大层次，如上图：树的高度为4。

堂兄弟结点：双亲在同一层的结点互为堂兄弟，如上图：H、I互为兄弟结点。

结点的祖先：从根到该结点所经分支上的所有结点，如上图：A是所有结点的祖先。

子孙：以某结点为根的子树中任一结点都称为该结点的子孙，如上图：所有结点都是A的子孙。

森林:由shiyim(m>0)棵互不相交的树的集合称为森林。

3.树的表示

树结构相对线性表就比较复杂了，要存储表示起来比较麻烦，既要保存值域，也要保存结点和结点之间的关系。实际中树有很多种表示方式如，：双亲表示法、孩子表示法、孩子双亲表示法以及孩子兄弟表示法等。我们这里就简单的了解其中最常用的孩子兄弟表示法。

//左孩子右兄弟表示法
typedef int DataType;
struct Node
{
 struct Node* leftChild;
 struct Node* rightBrother;
 DataType data;
};

 无论一个父亲结点有多少孩子，child指向左边开始的第一个孩子。

二、二叉树概念及结构

 1.二叉树的概念

一棵二叉树是结点的有限集合，该集合：①为空；②由一个根结点加上两棵分别称为左子树和右子树的二叉树组成。

①二叉树不存在度大于2的结点；

②二叉树的子树有左右之分，次序不能颠倒，因此二叉树是有序树。

注意：对于任意二叉树都是一下几种情况复合而成：

2.特殊的二叉树

①满二叉树：一个二叉树，如果每一个层的结点数都达到最大值，则这个二叉树就是满二叉树。也就是说，如果一个二又树的层数为K，且结点总数是2^k-1，则它就是满二叉树。

②完全二叉树：完全二叉树是效率很高的数据结构，完全二叉树是由满二叉树而引出来的。对于深度为K7的，有n个结点的二又树，当且仅当其每一个结点都与深度为K的满二叉树中编号从1至n的结点一一对应时称之为完全二叉树。 要注意的是满二叉树是一种特殊的完全二叉树。

3.二叉树的存储结构

二叉树一般可以用两种结构存储：顺序结构和链式结构。

①顺序存储

顺序结构存储就是使用数组来存储，一般使用数组只适合表示完全二叉树，因为不是完全二叉树会有空间的浪费。而现实中使用中只有堆才会使用数组来存储。二叉树顺序存储在物理上是一个数组，在逻辑上是一颗二叉树。

②链式存储

二叉树的链式存储结构是指用链表来表示一棵二叉树，即用链来指示元素的逻辑关系。 通常的方法是链表中每个结点由三个域组成，数据域和左右指针域，左右指针分别用来给出该结点左孩子和右孩子所在的链结点的存储地址 。链式结构又分为二叉链和三叉链（高阶数据结构如红黑树会用到）。

typedef int BTDataType;
// 二叉链
struct BinaryTreeNode
{
 struct BinTreeNode* left;  // 指向当前结点左孩子
 struct BinTreeNode* right; // 指向当前结点右孩子
 BTDataType data;           // 当前结点值域
}

// 三叉链
struct BinaryTreeNode
{
 struct BinTreeNode* parent; // 指向当前结点的双亲
 struct BinTreeNode* left;   // 指向当前结点左孩子
 struct BinTreeNode* right;  // 指向当前结点右孩子
 BTDataType data;            // 当前结点值域
}；