数据结构——二叉树

一. 树概念及结构

1.1 树的概念

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

• 有一个特殊的结点，称为根结点，根节点没有前驱结点
• 除根节点外，其余结点被分成M(M>0)个互不相交的集合T1、T2、……、Tm，其中每一个集合Ti(1<= i <= m)又是一棵结构与树类似的子树。每棵子树的根结点有且只有一个前驱，可以有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的子孙

 森林：由m（m>0）棵互不相交的树的集合称为森林

1.3 树的表示

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

孩子兄弟表示法：
 这里类似链表的定义，该结构体中定义三个成员变量，第一个结构体指针指向该节点的第一个孩子节点，第二个结构体指针指向下一个兄弟节点，第三个数据类型变量用来存放数据

typedef int DataType;
struct Node
{
	struct Node* _firstChild1; // 第一个孩子结点
	struct Node* _pNextBrother; // 指向其下一个兄弟结点
	DataType _data; // 结点中的数据域
};

父母双亲表示法：
 这里类似顺序表的定义，但是要定义两个结构体，第一个定义节点结构，第二个定义树结构
 节点结构中包含了两个成员变量，第一个整型类型的变量来存储父亲结点在数组中的位置下标，第二个数据类型变量用来存放数据

typedef int Datatype;
typedef struct Node {
	int parent;//父亲位置域
	Datatype data;//数据域
}Node;

 树结构中包含了三个成员变量，第一个为节点类型的数组，用来依次存储节点，第二个为整型类型的变量来存储根节点的位置，第三个为整型类型的变量用来存储已存入数组的节点的个数

#define MAX_TREE_SIZE 100
typedef struct {
	Node nodes[MAX_TREE_SIZE];
	int r; //根结点的位置
	int n;//结点个数
}PTree;

1.4 树在实际中的运用

 文件系统本质上就是一个树形的结构

二叉树概念及结构

2.1 概念

 一棵二叉树是结点的一个有限集合，该集合:

• 或者为空 (空树)
• 由一个根节点加上两棵别称为左子树和右子树的二叉树组成

  二叉树的特点：

• 二叉树不存在度大于2的结点
• 二叉树的子树有左右之分，次序不能颠倒，因此二叉树是有序树

2.2 现实中的二叉树

2.3 特殊的二叉树

1. 满二叉树：一个二叉树，如果每一个层的结点数都达到最大值，则这个二叉树就是满二叉树。也就是说，如果一个二叉树的层数为K，且结点总数是 2^k - 1，则它就是满二叉树
2. 完全二叉树：完全二叉树是效率很高的数据结构，完全二叉树是由满二叉树而引出来的。对于深度为K的，有n个结点的二叉树，当且仅当其每一个结点都与深度为K的满二叉树中编号从1至n的结点一一对应时称之为完全二叉树。要注意的是满二叉树是一种特殊的完全二叉树（前 K-1 层是满的，从左到右连续，最后一次不一定满），完全二叉树的取值范围：[ 2^(K-1) ，2^(K)-1 ]

2.4 二叉树的性质

1. 若规定根节点的层数为1，则一棵非空二叉树的第i层上最多有 2^(i-1) 个节点
2. 若规定根节点的层数为1，则深度为h的二叉树的最大结点数是 2^(h) - 1
3. 对任何一棵二叉树, 如果度为0其叶结点个数为 n0，度为2的分支结点个数为 n2 ，则有 n0 = n2 + 1（当只存在一个根时，n0=1，n2=0，且每增加一个n2，都会增加一个n0 叶子节点）
4. 若规定根节点的层数为1，具有n个结点的满二叉树的深度，h = log2(n+1)
5. 对于具有n个结点的完全二叉树，如果按照从上至下从左至右的数组顺序对所有节点从0开始编号，则对于序号为i的结点有：

   1. 若i>0，i位置节点的双亲序号：(i-1)/2；i=0，i为根节点编号，无双亲节点
   2. 若2i+1<n，左孩子序号：2i+1，2i+1>=n否则无左孩子
   3. 若2i+2<n，右孩子序号：2i+2，2i+2>=n否则无右孩子

练习题：

1.某二叉树共有 399 个结点，其中有 199 个度为 2 的结点，则该二叉树中的叶子结点数为（）
A 不存在这样的二叉树
B 200
C 198
D 199

 选A，n0=n2+1，n2=199，所以 n0=200

2.下列数据结构中，不适合采用顺序存储结构的是（）
A 非完全二叉树
B 堆
C 队列
D 栈

 选A，因为非完全二叉树会造成空间上的浪费

3.在具有 2n 个结点的完全二叉树中，叶子结点个数为（）
A n
B n+1
C n-1
D n/2

 选A，n0+n1+n2=2n，且 n0=n2+1，所以 2n0+n1=2n+1，在完全二叉树中 n1：1/0，这里的 n1=1，所以 n0=n

4.一棵完全二叉树的节点数位为531个，那么这棵树的高度为（）
A 11
B 10
C 8
D 12

 选B，完全二叉树的取值范围：[ 2^(K-1) ，2^(K)-1 ]，带入后，只有B符合

5.一个具有767个节点的完全二叉树，其叶子节点个数为（）
A 383
B 384
C 385
D 386

 选B，n0+n1+n2=767，2*n0+n1=768，n1=0，2n0=768，n0=384

2.5 二叉树的存储结构

 二叉树一般可以使用两种结构存储，一种顺序结构，一种链式结构

1. 顺序存储：
   顺序结构存储就是使用数组来存储，一般使用数组只适合表示完全二叉树，因为不是完全二叉树会有空间的浪费。而现实中使用中只有堆才会使用数组来存储，关于堆我们后面的章节会专门讲解。二叉树顺序存储在物理上是一个数组，在逻辑上是一颗二叉树

2. 链式存储
   二叉树的链式存储结构是用链表来表示一棵二叉树，即用链来指示元素的逻辑关系。 通常的方法是链表中每个结点由三个域组成，数据域和左右指针域，左右指针分别用来给出该结点左孩子和右孩子所在的链结点的存储地址。链式结构又分为二叉链和三叉链，当前我们学习中一般都是二叉链，后面课程学到高阶数据结构如红黑树等会用到三叉链。
   
   

typedef int BTDataType;
// 二叉链
struct BinaryTreeNode
{
 struct BinTreeNode* _pLeft; // 指向当前节点左孩子
 struct BinTreeNode* _pRight; // 指向当前节点右孩子
 BTDataType _data; // 当前节点值域
}
// 三叉链
struct BinaryTreeNode
{
 struct BinTreeNode* _pParent; // 指向当前节点的双亲
 struct BinTreeNode* _pLeft; // 指向当前节点左孩子
 struct BinTreeNode* _pRight; // 指向当前节点右孩子
 BTDataType _data; // 当前节点值域
}；