1. 二叉树基础概念解析
二叉树是计算机科学中最基础且重要的数据结构之一。每个节点最多只有两个分支（即不存在分支度大于2的节点），通常分支被称作"左子树"或"右子树"。二叉树的分支具有左右次序，不能随意颠倒。
二叉树的第i层至多拥有2^(i-1)个节点；深度为k的二叉树至多总共有2^(k+1)-1个节点。与普通树不同，普通树的节点个数至少为1，而二叉树的节点个数可以为0；普通树节点的最大分支度没有限制，而二叉树节点的最大分支度为2。
2. 二叉树的主要类型
2.1 满二叉树
在一棵二叉树中，每个节点要么有0个子节点，要么有2个子节点，则这种二叉树称作满二叉树。满二叉树可以通过以下递归定义：
- 仅有单个节点（根节点）的二叉树是满二叉树
- 根节点有2个子树且均为满二叉树的二叉树是满二叉树
2.2 完美二叉树
一棵深度为k，且有2^k-1个节点的二叉树，称为完美二叉树。这种树的特点是所有内部节点都有两个子节点，并且所有叶子都处于同一深度。
2.3 完全二叉树
在一颗二叉树中，若除最后一层外的其余层都是满的，并且最后一层要么是满的，要么在右边缺少连续若干节点，则此二叉树为完全二叉树。具有n个节点的完全二叉树的深度为log₂n+1。
3. 二叉树的存储表示
3.1 顺序存储表示
二叉树可以用数组来存储，对于完全二叉树能紧凑排列而不浪费空间。如果某个节点的索引为i（假设根节点的索引为0），则其左子节点的索引为2i+1，右子节点为2i+2；父节点索引为⌊(i-1)/2⌋。
c复制/* 二叉树的顺序存储表示 */
#define MAX_TREE_SIZE 100
typedef TElemType SqBiTree[MAX_TREE_SIZE];
typedef struct {
int level, order; /* 节点的层(按满二叉树计算) */
} position;
3.2 二叉链表存储表示
这是最常用的二叉树存储方式，每个节点包含数据域和左右孩子指针。
c复制typedef struct BiTNode {
TElemType data;
struct BiTNode *lchild, *rchild;
} BiTNode, *BiTree;
3.3 三叉链表存储表示
在二叉链表基础上增加父节点指针，能更好地实现节点间的访问。
c复制typedef struct BiTPNode {
TElemType data;
struct BiTPNode *parent, *lchild, *rchild;
} BiTPNode, *BiPTree;
4. 二叉树的遍历算法
4.1 深度优先遍历
4.1.1 递归实现
c复制/* 先序遍历 */
void PreOrderTraverse(BiTree T) {
if(T) {
visit(T->data);
PreOrderTraverse(T->lchild);
PreOrderTraverse(T->rchild);
}
}
/* 中序遍历 */
void InOrderTraverse(BiTree T) {
if(T) {
InOrderTraverse(T->lchild);
visit(T->data);
InOrderTraverse(T->rchild);
}
}
/* 后序遍历 */
void PostOrderTraverse(BiTree T) {
if(T) {
PostOrderTraverse(T->lchild);
PostOrderTraverse(T->rchild);
visit(T->data);
}
}
4.1.2 非递归实现
以中序遍历为例：
c复制void InOrderTraverse_NonRecursive(BiTree T) {
SqStack S;
InitStack(&S);
BiTree p = T;
while(p || !StackEmpty(S)) {
if(p) {
Push(&S, p);
p = p->lchild;
} else {
Pop(&S, &p);
visit(p->data);
p = p->rchild;
}
}
}
4.2 广度优先遍历（层次遍历）
c复制void LevelOrderTraverse(BiTree T) {
LinkQueue Q;
InitQueue(&Q);
if(T) EnQueue(&Q, T);
while(!QueueEmpty(Q)) {
DeQueue(&Q, &T);
visit(T->data);
if(T->lchild) EnQueue(&Q, T->lchild);
if(T->rchild) EnQueue(&Q, T->rchild);
}
}
5. 线索二叉树
线索二叉树是为了加快查找节点前驱和后继的速度而设计的。在普通二叉树中，大约有一半的指针域为空，线索二叉树利用这些空指针域来存放指向节点在某种遍历次序下的前驱和后继节点的指针。
5.1 线索二叉树存储结构
c复制typedef enum {Link, Thread} PointerTag;
typedef struct BiThrNode {
TElemType data;
struct BiThrNode *lchild, *rchild;
PointerTag LTag, RTag;
} BiThrNode, *BiThrTree;
5.2 中序线索化
c复制BiThrTree pre; /* 全局变量，始终指向刚刚访问过的结点 */
void InThreading(BiThrTree p) {
if(p) {
InThreading(p->lchild);
if(!p->lchild) {
p->LTag = Thread;
p->lchild = pre;
}
if(pre && !pre->rchild) {
pre->RTag = Thread;
pre->rchild = p;
}
pre = p;
InThreading(p->rchild);
}
}
6. 二叉树的应用实例
6.1 表达式树
二叉树可以用来表示算术表达式，其中：
- 每个内部节点表示一个运算符
- 每个叶子节点表示一个操作数
例如表达式a+b*(c-d)-e/f对应的二叉树表示为：
code复制 -
/ \
+ /
/ \ / \
a * e f
/ \
b -
/ \
c d
6.2 二叉搜索树
二叉搜索树（BST）是一种特殊的二叉树，对于树中的每个节点：
- 左子树上所有节点的值均小于它的根节点的值
- 右子树上所有节点的值均大于它的根节点的值
c复制/* 二叉搜索树的查找 */
Status SearchBST(BiTree T, KeyType key, BiTree f, BiTree *p) {
if(!T) {
*p = f;
return FALSE;
}
else if(EQ(key, T->data)) {
*p = T;
return TRUE;
}
else if(LT(key, T->data))
return SearchBST(T->lchild, key, T, p);
else
return SearchBST(T->rchild, key, T, p);
}
7. 洛谷P3884题目解析
7.1 题目理解
题目要求解决二叉树相关问题，通常涉及以下操作：
- 计算二叉树的深度
- 查找两个节点的最近公共祖先(LCA)
- 计算两个节点之间的距离
7.2 解决方案
以计算二叉树中两节点距离为例：
- 首先找到两个节点的最近公共祖先(LCA)
- 然后分别计算LCA到这两个节点的距离
- 将这两个距离相加即为结果
c复制/* 查找LCA */
BiTree FindLCA(BiTree root, BiTree p, BiTree q) {
if(!root || root == p || root == q) return root;
BiTree left = FindLCA(root->lchild, p, q);
BiTree right = FindLCA(root->rchild, p, q);
if(left && right) return root;
return left ? left : right;
}
/* 计算节点距离 */
int DistanceFromRoot(BiTree root, BiTree p, int level) {
if(!root) return -1;
if(root == p) return level;
int left = DistanceFromRoot(root->lchild, p, level+1);
if(left != -1) return left;
return DistanceFromRoot(root->rchild, p, level+1);
}
/* 计算两节点间距离 */
int DistanceBetweenNodes(BiTree root, BiTree p, BiTree q) {
BiTree lca = FindLCA(root, p, q);
int d1 = DistanceFromRoot(lca, p, 0);
int d2 = DistanceFromRoot(lca, q, 0);
return d1 + d2;
}
8. 二叉树操作的注意事项
-
递归终止条件：在编写递归算法时，必须确保有正确的递归终止条件，否则会导致无限递归。
-
空指针检查：在访问节点的左右孩子前，务必检查指针是否为空，避免程序崩溃。
-
内存管理：特别是在创建和销毁二叉树时，要注意内存的分配和释放，防止内存泄漏。
-
平衡性问题：对于二叉搜索树，如果插入顺序不当可能导致树退化为链表，使操作时间复杂度从O(log n)变为O(n)。
-
遍历选择：根据具体需求选择合适的遍历方式：
- 先序遍历：适合复制树结构
- 中序遍历：适合二叉搜索树的有序输出
- 后序遍历：适合删除树或计算表达式
- 层次遍历：适合按层处理节点
9. 性能优化技巧
-
尾递归优化：某些递归算法可以改写为尾递归形式，编译器可以优化为迭代，减少栈空间使用。
-
线索二叉树：对于频繁进行前驱后继查找的操作，使用线索二叉树可以显著提高效率。
-
缓存计算结果：对于重复计算的子树信息（如高度、节点数等），可以缓存结果避免重复计算。
-
迭代替代递归：对于深度较大的树，使用显式栈的迭代算法可以避免递归导致的栈溢出问题。
-
平衡二叉搜索树：在需要频繁插入删除查找的场景，使用AVL树或红黑树等平衡二叉搜索树可以保证O(log n)的时间复杂度。
10. 常见问题排查
-
遍历顺序错误：检查递归调用顺序是否正确，特别是中序遍历中访问节点的位置。
-
内存访问越界：在使用数组存储二叉树时，注意索引计算是否正确，防止数组越界。
-
死循环：在非递归遍历中，确保栈或队列的进出操作正确，避免死循环。
-
结果不正确：在查找LCA等问题中，检查边界条件处理是否正确，特别是当其中一个节点就是LCA时的情况。
-
性能问题：对于大规模数据，避免使用O(n^2)的朴素算法，考虑更高效的实现方式。