AVL树自平衡机制与旋转操作详解

1. AVL树的自平衡机制解析

AVL树作为计算机科学中最经典的自平衡二叉搜索树，其核心特性在于通过严格的平衡条件维护树结构的高效性。这种平衡性直接决定了查找、插入和删除操作的时间复杂度能够稳定在O(log n)级别。理解AVL树的平衡机制，需要从最基础的平衡因子概念入手。

平衡因子（Balance Factor）是AVL树中每个节点特有的属性，其定义为该节点左子树高度减去右子树高度。数学表达式为：

code复制BF(node) = height(node.left) - height(node.right)

当我们在AVL树中执行插入或删除操作时，节点的平衡因子会随之变化。AVL树要求所有节点的平衡因子绝对值不超过1，即每个节点的BF值只能是-1、0或1。这个看似简单的约束条件，实际上构建了整个自平衡机制的基础框架。

关键提示：平衡因子的计算必须基于子树的实际高度，而非子树节点数量。空子树的高度通常定义为-1，这样单节点树的高度为0，与常规定义一致。

2. 失衡检测与旋转调整原理

2.1 失衡触发条件

当插入或删除操作导致某个节点的平衡因子绝对值超过1时（即变为2或-2），我们就说这个节点失去了平衡。这种情况通常发生在从根节点到新操作节点路径上的某些祖先节点。失衡检测需要从操作节点开始向上回溯，直到找到第一个失衡的祖先节点。

失衡类型可以根据平衡因子的变化分为四种基本情况：

1. 左左情况（LL）：节点平衡因子为+2，且左子节点平衡因子为+1
2. 左右情况（LR）：节点平衡因子为+2，且左子节点平衡因子为-1
3. 右右情况（RR）：节点平衡因子为-2，且右子节点平衡因子为-1
4. 右左情况（RL）：节点平衡因子为-2，且右子节点平衡因子为+1

2.2 旋转操作分类

针对上述四种失衡情况，AVL树采用四种基本旋转操作来恢复平衡：

1. 右旋（LL旋转）：
   适用于左左失衡情况。操作步骤为：

   • 将失衡节点的左子节点提升为新根
   • 原左子节点的右子树变为失衡节点的左子树
   • 更新相关节点的高度和平衡因子

2. 左旋（RR旋转）：
   适用于右右失衡情况。操作步骤为：

   • 将失衡节点的右子节点提升为新根
   • 原右子节点的左子树变为失衡节点的右子树