6.2二叉树及二叉树存储结构

二叉树(Binary Tree):每个结点至多只有两颗子树，二叉树的子树有左右之分，不能任意颠倒。

下面给出二叉树的5种基本形态（如下图）

二叉树的性质：

1.二叉树第i层上至多有2^(i-1)个结点(i>=1)。

2.深度为k的二叉树至多有2^k-1(k>=1)个结点。

3.对任何一颗二叉树T，如果其终端结点数为n0，度为2的结点数为n2，则n0=n2+1。

怎么证明？如下图:

这个就比较困难了，需要推导获得
首先我们再假设度为1的结点数为n1，则二叉树T的结点总数n=n0+n1+n2
其次我们发现连接数总是等于总结点数n-1，并且等于n1+2*n2
所以n-1=n1+2*n2
所以n0+n1+n2-1=n1+n2+n2
最后n0=n2+1

4.具有n个结点的完全二叉树的深度为[log2n]+1([]不是中括号，是取下线的意思如，如果是2.3，则取下线后就2)

证明的话就是性质2求k，指数函数和对数函数互为反函数

5.对一颗有n个结点的完全二叉树（其深度为[log2n]+1）的结点按层序编号，对任意一结点i(i<=i<=n)有以下性质

如果i=1，则结点i是二叉树的根，无双亲；如果i>1，则其双亲是结点[i/2](取下线)。

如果2i>n，则结点i无做做孩子（结点i为叶子结点）；否则其左孩子是结点2i。

如果2i+1>n，则结点i无右孩子；否则其右孩子是结点2i+1。

一颗深度为k且有2^k-1个结点的二叉树称为满二叉树。

深度为k的，有那个结点的二叉树，当且仅当其每一个结点都与深度为k的满二叉树中编号从1至n的结点一一对应时，称为完全二叉树。

如下图所示：

下面是二叉树的存储：

代码如下：

typedef int ElemType;
typedef struct BiTNode
{
	ElemType data;
	struct BiTNode *lchild, *rchid;
}BiTNode,*BiTree;

图就是这样的：