二叉树（第一章）

一.树概念及结构

1.1树的概念

树是一种非线性的数据结构，它是由n（n>=0）个有限结点组成一个具有层次关系的集合。把它叫做树是因为它看起来像一棵倒挂的树，也就是说它是根朝上，而叶朝下的。

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

除根节点外，其余结点被分成M(M>0)个互不相交的集合T1、T2、……、Tm，其中每一个集合Ti(1<= i<= m)又是一棵结构与树类似的子树。每棵子树的根结点有且只有一个前驱，可以有0个或多个后继。

因此，树是递归定义的。每棵树（包括子树）都是由1个根节点和n个子树构成（n>=0）。

子树是不相交的，也就是说，树中不构成回路。这些构成回路的结构叫图。

1.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的祖先）（Q也是Q的祖先）

子孙：

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

森林：

    由m（m>0）棵互不相交的树的集合称为森林，并查集相关内容。

1.3树的表示

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

一些表示方法：

#define  N  5 //知道度的情况下

struct  TreeNode

{

    int  val;

    struct  TreeNode* subs[N];

}; //这样空间浪费比较严重

struct  TreeNode

{

    int  val;

    SeqList  _sl; //由顺序表来完成对子节点的链接

};

但这些都不够好，介绍一下孩子兄弟表示法。这是存储树最优秀的方法

typedef int DataType;

struct Node

{

    struct Node* _firstChild1;           // 第一个孩子结点

    struct Node* _pNextBrother;     // 指向其下一个兄弟结点

    DataType _data;                         // 结点中的数据域

};

一个节点有多少孩子都无所谓，父亲指向第一个孩子，剩下的孩子用兄弟（指的是亲兄弟）链接起来。

1.4 树在实际中的运用（表示文件系统的目录树结构）

这些结构了解一下就可以了，不是重点。

二.二叉树的概念及结构

2.1概念

二叉树就是度为2的树。

从上图可以看出：

1. 二叉树不存在度大于2的结点

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

注意：对于任意二叉树都由以下几种情况复合而成。

二叉树中有两种特殊的二叉树，分别是：

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

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

后面会通过完全二叉树实现堆的数据结构（同样和操作系统中的堆没有关系）。

下面介绍一下堆的简单特性（假设储存的是字符ABCEDFGHIJ，数字是数组中的下标）：

堆的逻辑结构是一个完全二叉树，物理结构则是一个数组。可以通过如下公式推导出父亲节点的左子树右子树。

父子间下标关系计算公式：

leftchild = parent*2 + 1;

rightchild = parent*2 + 2;

parent = (child-1)/2; //右孩子必定是偶数

2.2二叉树的性质

1. 若规定根节点的层数为1，则一棵非空二叉树的 第 i 层上最多有2^(i-1)个结点.

2. 若规定根节点的层数为1，则 深度为 h 的二叉树的最大结点数是2^h-1。（ 假设它为一个满四叉树，高度为h，则这个数的节点个数为(4^h - 1) / 3）

3. 对任何一棵非空二叉树, 如果度为 0 其叶结点个数为n0 , 度为 2 的分支结点个数为n2  , 则有 n0＝n2＋</