概要
参考《大话数据结构》，把常用的基本数据结构梳理一下。
本节介绍二叉树。
定义
二叉树（Binary Tree）是 \\(n\\) （\\(n \\geqslant 0\\)）个结点的有限集合，该集合或者为空集（称为空二叉树），或者由一个根结点和两棵互不相交的、分别称为根结点的左子树和右子树的二叉树组成。
二叉树的特点：
- 每个结点最多有两棵子树，所以二叉树中不存在度大于 \\(2\\) 的结点。
- 左子树和右子树是有顺序的，次序不能任意颠倒。
- 即使树中某结点只有一棵子树，也要区分它是左子树还是右子树。
所有的结点都只有左子树的二叉树叫左斜树。所有结点都是只有右子树的二叉树叫右斜树。这两者统称为斜树。
在一棵二叉树中，如果所有分支结点都存在左子树和右子树，并且所有叶子都在同一层上，这样的二叉树称为满二叉树。
对一棵具有 \\(n\\) 个结点的二叉树按层序编号，如果编号为 \\(i\\) （\\(1 \\leqslant i \\leqslant n\\)）的结点与同样深度的满二叉树中编号为 \\(i\\) 的结点在二叉树中位置完全相同，则这棵二叉树称为完全二叉树。如图：
注意：首先满二叉树一定是一棵完全二叉树，但完全二叉树又不一定是满的，其次按层序编号相同的结点是一一对应的。从这里得出一些完全二叉树的特点：
- 叶子结点只能出现在最下两层
- 最下层的叶子一定集中在左部连续位置
- 倒数二层，若有叶子结点，一定都在右部连续位置
- 如果结点度为 \\(1\\)，则该结点只有左孩子，即不存在只有右子树的情况
- 同样结点数的二叉树，完全二叉树的深度最小
二叉树的性质
性质 1： 在二叉树的第 \\(i\\) 层上至多有 \\(2^{i-1}\\) 个结点（\\(i \\geqslant 1\\)）。
性质 2： 深度为 \\(k\\) 的二叉树至多有 \\(2^k-1\\) 个结点（\\(k \\geqslant 1\\)）。
性质 3： 对任何一棵二叉树 \\(T\\)，如果其终端结点数为 \\(n_0\\)，度为 \\(2\\) 的结点数为 \\(n_2\\)，则 \\(n_0 = n_2 +1\\).
说白了就是叶子结点数比度为 \\(2\\) 的结点数多一个。我们设 \\(n_1\\) 为度是 \\(1\\) 的结点数。则树 \\(T\\) 的结点总数 \\(n=n_0+n_1+n_2\\). 我们换个角度数一数树的连接线数，度为 \\(1\\) 的分支线为 \\(1\\) 条，度为 \\(2\\) 的分支线为 \\(2\\) 条，即共 \\(n_1+2n_2\\) 条，又显然树的连接树为结点总数减去 \\(1\\)，即 \\(n-1 = n_1+ 2n_2\\)，即 \\(n_0 = n_2 +1\\).
性质 4： 具有 \\(n\\) 个结点的完全二叉树的深度为 \\(floor(\\log_2n)+1\\)（\\(floor(x)\\) 表示不超过 \\(x\\) 的最大整数）。
性质 5： 如果对一棵有 \\(n\\) 个结点的完全二叉树（其深度为 \\(floor(\\log_2n)+1\\)）的结点按层序编号（从第一层到 \\(floor(\\log_2n)+1\\) 层，每层从左到右），对任一结点 \\(i\\)（\\(1 \\leqslant i \\leqslant n\\)）有：
- 如果 \\(i=1\\)，则结点 \\(i\\) 是二叉树的根，无双亲；如果 \\(i>1\\)，则其双亲是结点 \\(floor(i/2)\\).
- 如果 \\(2i>n\\)，则结点 \\(i\\) 无左孩子（结点 \\(i\\) 为叶子结点）；否则其左孩子是结点 \\(2i\\).
- 如果 \\(2i+1>n\\)，则结点 \\(i\\) 无右孩子，否则其右孩子是结点 \\(2i+1\\).
可以与上图结点理解。
二叉树的存储结构
二叉树的顺序存储结构
二叉树的顺序存储结构是用一维数组存储二叉树的结点，并且结点的存储位置，也就是数组的下标要能体现结点之间的逻辑关系。比如下面一棵完全二叉树：
将这棵二叉树存入到数组中，相应的下标对应其同样的位置，如下图：
对于一般的二叉树，尽管层序编号不能反映逻辑关系，但是可以将其按完全二叉树编号，只不过，把不存在的结点设置为空就行了。但是像极端的情况比如深度为 \\(k\\) 的右斜树，它只有 \\(k\\) 个结点，却需要分配 \\(2^k-1\\) 个存储单元空间，造成了极大的空间浪费，所以顺序存储结构一般只用于完全二叉树。
二叉链表
二叉树每个结点最多有两个孩子，所以为它设计一个数据域和两个指针域是比较自然的想法，我们称这样的链表叫做二叉链表。如图：
其中 data 是数据域， lchild 和 rchild 都是指针域，分别存放指向左孩子和右孩子的指针。二叉链表的结点结构定义代码如下：
typedef int TElemType; // TElemType 类型根据实际情况而定，这里假设为 int
struct BiTNode
{
TElemType data;
BiTNode *lchild, *rchild;
};
如果有需要，还可以再增加一个指向双亲的指针域，那样就称之为三叉链表。
遍历二叉树
二叉树的遍历（traversing binary tree）是指从根结点出发，按照某种次序依次访问二叉树中所有结点，使得每个结点被访问一次且仅被访问一次。
二叉树的遍历方式很多，如果我们限制了从左到右的习惯方式，那么主要分为四种：
- 前序遍历。规则是若二叉树为空，则空操作返回，否则先访问根结点，然后前序遍历左子树，再前序遍历右子树。如图，遍历顺序为：ABDGHCEIF.
- 中序遍历。规则是若二叉树为空，则空操作返回，否则从根结点开始（注意并不是先访问根结点），中序遍历根结点的左子树，然后访问根结点，最后中序遍历右子树。如图，遍历顺序为：GDHBAEICF.
- 后序遍历。规则是若二叉树为空，则空操作返回，否则从左到右先叶子后结点的方式遍历访问左右子树，最后是访问根结点。如图，遍历顺序为：GHDBIEFCA.
- 层序遍历。规则是若二叉树为空，则空操作返回，否则从树的第一层，也就是从根结点开始访问，从上而下逐层遍历，在同一层中，按从左到右的顺序对结点逐个访问。如图，遍历顺序为：ABCDEFGHI.
二叉树树的建立与遍历代码实现
如果我们要在内存中建立一个如下左图这样的二叉树，为了能让每个结点确认是否有左右孩子，我们对它进行扩展，就右图的样子，也就是将二叉树中每个结点的空指针引出一个虚结点，其值为一个特定值，比如“#”。我们称这种处理后的二叉树为原二叉树的扩展二叉树。扩展二叉树就可以做到一个遍历序列确定一棵二叉树。比如右图的遍历序列就为 AB#D##C##.
有了这样的准备就可以着手建立二叉树了。创建二叉树同遍历方法一样，也有不同的创建方法。现在我们用前序实现二叉树的建议。代码如下：
#include<iostream>
#include<cstdio> //getchar()
using namespace std;
typedef char TElemType; // TElwmType 类型根据实际情况而定，这里假设为 int
struct BiTNode
{
TElemType data;
BiTNode *lchild, *rchild;
};
void CreateBiTree(BiTNode* (&T)) //这里传入的是指针的引用,因为牵扯到修改指针的值
{
//读入字符串 ch, 前序构造树
//cout<<"请输入创建一棵二叉树的结点数据"<<endl;
TElemType ch = getchar();
//cin>>ch;
if (ch == \'#\') //其中getchar（）为逐个读入标准库函数
T = NULL;
else
{
T = new BiTNode;//产生新的子树
T->data = ch;
CreateBiTree(T->lchild);//递归创建左子树
CreateBiTree(T->rchild);//递归创建右子树
}
}
void PreOrderTraverse(BiTNode* T)
{
//前序遍历
if(T) //结点不为空时执行
{
cout<< T->data;
PreOrderTraverse(T->lchild);
PreOrderTraverse(T->rchild);
}
else
cout<<"";
}
void InOrderTraverse(BiTNode* T)
{
//中序遍历
if(T) //结点不为空时执行
{
InOrderTraverse(T->lchild);
cout<< T->data;
InOrderTraverse(T->rchild);
}
else
cout<<"";
}
void PostOrderTraverse(BiTNode* T)
{
//后序遍历
if(T) //结点不为空时执行
{
PostOrderTraverse(T->lchild);
PostOrderTraverse(T->rchild);
cout<< T->data;
}
else
cout<<"";
}
int main()
{
//const char* ch = "AB#D##C##";
BiTNode *T;
cout<<"创建树结构，请输入字符，‘#’ 代表空："<<endl;
CreateBiTree(T); //输入 AB#D##C##
cout<<"创建完毕"<<endl;
cout<<T->data<<endl;
cout<<"前序遍历结果："<<endl;
PreOrderTraverse(T);//输出 ABDC
cout<<endl;
cout<<"中序遍历结果："<<endl;
InOrderTraverse(T); //输出 BDAC
cout<<endl;
cout<<"后序遍历结果："<<endl;
PostOrderTraverse(T);//输出 DBCA
cout<<endl;
return 0;
}
上边主要的疑惑是指针的引用，暂时先参考二叉树建立，指针问题. 遇到修改指针的得注意了。