二叉树

二叉树Binary Tree的定义

二叉树Binary Tree是n（n≥0）个结点的有限集合，该集合或者为空集（称为空二叉树），或者由一个根结点和两颗互不相交的、分别称为根结点的左子树和右子树的二叉树组成。对于在某个阶段都是两种结果的情形，比如开和关、0和1、真和假、上和下、对与错、正面与反面等，都适合用二叉树来建模。

二叉树的特点：

• 每个结点最多有两棵子树，所以二叉树中不存在度大于2 的结点
• 左子树和右子树都是有顺序的，次序不能颠倒
• 即使树中某结点只有一棵子树，也要区分它是左子树还是右子树

二叉树具有五种基本形态：

• 空二叉树
• 只有一个根结点
• 根结点只有左子树
• 根结点只有右子树
• 根结点既有左子树又有右子树

特殊二叉树

• 斜树：所有的结点都只有左子树的二叉树叫左斜树，所有结点都只有右子树的二叉树叫右斜树。斜树有很明显的特点：每一层都只有一个结点，结点的个数与二叉树的深度相同（其实线性表结构就可以理解为树的一种极其特殊的表现形式）。
• 满二叉树：如果所有分支结点都存在左子树和右子树，并且所有叶子都在同一层上，这样的二叉树称为满二叉树。满二叉树的特点有：
  • 叶子只能出现在最下一层，出现在其他层就不可能达成平衡；
  • 非叶子结点的度一定是2；
  • 在同样深度的二叉树中，满二叉树的结点个数最多，叶子树最多
• 完全二叉树如下图所示：对一棵具有n个结点的二叉树按层序编号，如果编号为i（1≤i≤n）的结点与同样深度的满二叉树中编号为i的结点在二叉树中位置完全相同，则这棵二叉树称为完全二叉树。满二叉树一定是完全二叉树，但完全二叉树不一定是满的。完全二叉树的特点：
  • 叶子结点只能出现在最下面两层
  • 最下层的叶子一定集中在左部连续位置
  • 倒数二层，若有叶子结点，一定都在右部连续位置
  • 如果结点度为1，则该结点只有左孩子，即不存在只有右子树的情况
  • 同样结点数的二叉树，完全二叉树的深度最小
    

二叉树的性质

性质1：在二叉树的第i层上至多有2^(i-1)个结点（i≥1）（数学归纳法易证）
性质2：深度为k的二叉树至多有2^k-1个结点（k≥1）（数学归纳法易证）
性质3：对于任何一棵二叉树，如果其终端结点数为n0，度为2的结点数为n2，则n0 = n2+1

证明： 设总结点数n = n0+n1+n2，总分支线数 = n-1 = 2n2+n1，联立得n0 = n2+1

性质4：具有n个结点的完全二叉树的深度为f(log2(n))+1（f表示取不大于x的最大整数，函数符号打不出来，就用f代替吧，log2(n)表示以2为底）

证明：完全二叉树的结点数一定少于等于同样度数的满二叉树的结点数2^k-1，但一定多于2^k-1-1
即满足2^k-1-1<n≤2^k-1
2^k-1≤n<2^k
k-1≤log2(n)<k
k = f(log2(n))+1

性质5：
如果对一棵有n个结点的完全二叉树（其深度为f(log2(n))+1）的结点按层序编号（从第1层到第f(log2(n))+1）层，每层从左到右），对任一结点i（1≤i≤n）有：

• 如果i=1，则结点i是二叉树的根，无双亲；如果i>1，则其双亲是结点 f(i/2)(f涵义同上)
• 如果2i>n，则结点i无左孩子（结点i为叶子结点）；否则其左孩子是结点2i
• 如果2i+1>n，则结点i无右孩子；否则其右孩子是结点2i+1

二叉树的存储结构

1，顺序存储结构
用一维数组存储二叉树中的结点，并且结点的存储位置，也就是数组的下标要能体现结点之间的逻辑关系，比如双亲与孩子的关系、左右兄弟的关系等。
由于二叉树定义的严格，所以顺序结构也可以表现出二叉树的结构。
例如有一棵完全二叉树：

将这棵二叉树存入到数组中，相应的下标对应其同样的位置：

对于一般的二叉树，可以将其按完全二叉树编号，把不存在的结点设置为空。如下图（浅色结点表示不存在），但是顺序存储结构一般只用于完全二叉树，避免造成存储空间浪费，考虑一种极端情况，一棵深度为k的右斜树，只有k个结点，去需要分配2^k-1个存储空间。

2，二叉链表
二叉树每个结点最多有两个孩子，所以为它设计一个数据域和两个指针域是比较自然的想法，这样的链表称为二叉链表。
如下图，data是数据域，lchild和rchild都是指针域，分别存放左孩子和右孩子的指针。

//二叉树的二叉链表结点结构定义
typedef struct BiTNode //结点结构
{
	TElemType data;
	struct BiTNode *lchild, *rchild;
}BITNode,*BiTree;

说明：如果有需要，还可以再增加一个指向其双亲的指针域，那样就称为三叉链表。与树的存储结构相似。