【数据结构】树及二叉树的基本概念

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

2.树的特点
每个结点有0个或多个子节点；没有父结点的结点称为根结点；每一个非根结点有且只有一个父结点；除了根结点外，每个子结点可以分为多个不相交的子树
结点的度：一个结点含有的子树的个数称为该结点的度；如：A的度为6
叶结点或终端结点（无子结点的结点）：度为0的结点称为叶结点；如：B、C、H、I等为叶结点
非终端节点或分支结点（有子结点的结点）:度不为0的结点；如：D、E、F、G等为分支结点
双亲结点或父结点：若一个结点含有子结点，则这个结点称为其子结点的父结点；如：A是B的父结点
孩子结点或子结点：一个结点含有的子树的根结点称为该结点的子结点；如：B是A的子结点
兄弟结点：具有相同父结点的结点互称为兄弟结点；如：B、C是兄弟结点
树的度：一棵树中，最大的结点的度称为树的度；如：树的度是6
结点的层次：从根开始定义起，根为第一层，根的子结点为第二层，以此类推
树的高度或深度：树种结点的最大层次；如：树的高度为4
堂兄弟结点：双亲在同一层的结点互为堂兄弟；如，H、I是堂兄弟结点
结点的祖先：从根到该结点所经分支上的所有结点；如：A是所有结点的祖先
子孙：以某结点为根的子树中任一结点都称为该结点的子孙；如：所有结点都是A的子孙
森林：由m（m>=0）棵互不相交的树的集合称为森林

3.树的表示
树结构相对于线性表较复杂，存储表示比较麻烦。
树有多种表示方式：双亲表示法，孩子表示法，孩子兄弟表示法等。
最常用的是孩子孩子兄弟表示法。

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

二.二叉树
1.概念
一棵二叉树是结点的一个有限集合，该集合或者为空，或者是由一个根结点加上两棵别称为左子树和右子树的二叉树组成

2.特点
（1）每个结点最多由两棵子树，即二叉树不存在度大于2的结点
（2）二叉树的子树有左右之分，其子树的次序不能颠倒

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

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

4.二叉树的性质
（1）若根结点层数为1，则一棵非空二叉树的第i层上最多有2^(i-1)个结点
（2）若只有根结点的二叉树深度为1，则深度为k的二叉树的最大结点数是2^k-1
（3）对任何一棵二叉树，如果其叶结点个数为n0，度为2的非叶结点个数为n2，则有n0=n2+1
（4）具有n个结点的完全二叉树的深度k为log(n+1)上取整
（5）对于具有n个结点的完全二叉树，如果按照从上至下，从左至右的顺序对所有结点开始编号，则对于序号为i的结点有：
【1】若i>0，双亲序号：（i-1）/2；i=0，i为根结点编号，无双亲结点
【2】若（2i+1）<n，左孩子序号为2i+1，否则无左孩子
【3】若（2i+2）<n，右孩子序号为2i+2，否则无右孩子

5.二叉树的存储方式
（1）顺序存储
顺序结构存储就是使用数组来存储，一般使用数组只适合表示完全二叉树，其他树会有空间浪费。
二叉树顺序存储在物理上是一个数组，在逻辑上是一棵二叉树

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

//二叉链
struct BinaryTreeNode
{
	struct BinaryTreeNode* _pLeft;//指向当前结点左孩子
	struct BinaryTreeNode* _pRight;//指向当前结点右孩子
	BTDataType _data;//当前结点值域
}；	

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