[C++] 剖析AVL树功能的实现原理


文章目录

  • 引言
        • AVL树的关键性质
        • 为什么选择AVL树?
  • AVL树的结构
    • 节点
    • 对象的类
  • AVL树的插入
    • 检查是否为空树并处理根节点
    • 查询插入位置(非递归)
    • 插入节点并连接父节点
    • 更新平衡因子(在失去平衡的条件下进行旋转)
  • 旋转
    • 旋转的原则
    • 右单旋(R)
      • 旋转场景
      • 旋转原理
      • 操作步骤
    • 左单旋(L)
      • 旋转场景
      • 旋转原理
      • 操作步骤
    • 左右双旋( LR旋转)
      • 旋转场景
      • 操作步骤
      • 旋转后平衡因子的更新
      • 代码实现
    • 右左双旋(RL旋转)
      • 旋转场景
      • 操作步骤
      • 旋转后平衡因子的更新
      • 代码实现
  • AVL树的查找
    • 查找操作的基本原理
    • 查找逻辑
  • AVL树的平衡检测
    • 平衡检测的基本原理
    • 平衡因子与高度计算
    • 检测逻辑
  • AVL树旋转的时机
      • 1. 平衡因子更新
      • 2. 旋转的使用时机
        • 2.1 左左失衡(LL失衡) - 右单旋(RotateR)
        • 2.2 右右失衡(RR失衡) - 左单旋(RotateL)
        • 2.3 左右失衡(LR失衡) - 左右双旋(RotateLR)
        • 2.4 右左失衡(RL失衡) - 右左双旋(RotateRL)
      • 3. 代码解释
  • AVL树节点的删除
        • 删除节点的主要步骤可以分为以下几个部分:
      • 1. 删除节点的三种情况
        • 1.1 删除叶子节点
        • 1.2 删除只有一个子节点的节点
        • 1.3 删除有两个子节点的节点
      • 2. AVL树删除的平衡维护
        • 2.1 平衡因子的更新规则
        • 2.2 旋转操作
      • 3. 删除操作的代码实现
      • 4. 删除后的旋转恢复平衡
      • 5. 总结

引言

AVL树是由Adelson-Velsky和Landis发明的第一种自平衡二叉搜索树,它通过控制每个节点左右子树的高度差(称为平衡因子)不超过1,确保树的高度维持在对数级别。这种自平衡特性使得AVL树的查找、插入和删除操作的时间复杂度保持在 O(log⁡N)O(\log N)O(logN),从而提升效率。

AVL树的关键性质
  • 二叉搜索树结构:AVL树是一种特殊的二叉搜索树,每个节点的平衡因子始终保持在 -1、0 或 1 之间。
  • 平衡因子:平衡因子定义为右子树高度减去左子树高度。若某个节点的平衡因子超出此范围,则需进行旋转以恢复平衡。
为什么选择AVL树?

未平衡的二叉搜索树在最坏情况下可能退化成链表,导致操作时间复杂度增至 O(N)O(N)O(N)。AVL树通过保持树的高度平衡,保证了查找、插入和删除操作的高效性。

AVL树的结构

节点

template<class K, class V>
struct AVLTreeNode
{pair<K, V> _kv; // kv结构AVLTreeNode<K, V>* _left;AVLTreeNode<K,V>* _right;AVLTreeNode<K, V> _parent // 需要parent指针,后续更新平衡因⼦可以看到int _bf; // 平衡因子AVLTreeNode(const pair<K, V>& kv): _kv(kv), _left(nullptr), _right(nullptr), _parent(nullptr), _bf(0){}
};

对象的类

template<class K, class V>
class AVLTree
{typedef AVLTreeNode<K, V> Node;
public:// ...private:// ...Node* _root = nullptr;
};

AVL树的插入

AVL树的插入按照二叉搜索树的规则进行插入,但是会在不平衡的条件下进行旋转操作。也就是说,AVL树的插入操作主要分为三个部分:找到插入位置插入节点更新平衡因子并旋转(如果需要)

检查是否为空树并处理根节点

if (_root == nullptr) {_root = new Node(kv);return true;
}

如果AVL树当前为空树,即_rootnullptr,直接将新节点作为根节点插入,并结束操作。因为此时没有其他节点需要进行平衡因子的调整,所以插入结束。

查询插入位置(非递归)

Node* parent = nullptr;
Node* cur = _root;// find insert place
while (cur) 
{if (cur->_kv.first < kv.first) {parent = cur;cur = cur->_right;} else if (cur->_kv.first > kv.first) {parent = cur;cur = cur->_left;} else {return false; // Duplicate key, insertion failed}
}

在树中插入节点时,需要按照二叉搜索树的规则找到适当的位置:

  • 当前节点(cur)的键值(cur->_kv.first)与要插入的值(kv.first)进行比较。
    • 如果插入值小于当前节点,则移动到左子树
    • 如果插入值大于当前节点,则移动到右子树
    • 如果发现与当前节点的键值相同,插入失败,因为AVL树不允许重复键值。

通过遍历,cur最终会指向nullptr,即找到了插入的位置,parent指向插入节点的父节点。

插入节点并连接父节点

cur = new Node(kv);if (parent->_kv.first < kv.first) {parent->_right = cur;
} else {parent->_left = cur;
}cur->_parent = parent;

找到插入位置后,新节点cur将被创建并插入到父节点parent的左子树或右子树中。此时新节点已经成功插入,但它可能会影响树的平衡,需要继续调整平衡因子。

更新平衡因子(在失去平衡的条件下进行旋转)

while (parent) 
{if (cur == parent->_left) {parent->_bf--;  // 插入左子树,平衡因子-1} else {parent->_bf++;  // 插入右子树,平衡因子+1}if (parent->_bf == 0) {break;  // 如果平衡因子为0,树高度未变,停止更新} else if (parent->_bf == -1 || parent->_bf == 1) {cur = parent;parent = parent->_parent;  // 继续向上更新平衡因子} else if (parent->_bf == -2 || parent->_bf == 2) {// 需要旋转// ...break;} else {assert(false);  // 出现了异常情况}
}

平衡因子的更新:

  1. 更新原则
  • 平衡因⼦ = 右⼦树⾼度 - 左⼦树⾼度
  • 只有⼦树⾼度变化才会影响当前结点平衡因⼦。
  • 插⼊结点,会增加⾼度,所以新增结点在<font style="color:rgb(31,35,41);">parent</font>的右⼦树,<font style="color:rgb(31,35,41);">parent</font>的平衡因⼦<font style="color:rgb(31,35,41);">++</font>,新增结点在parent的左⼦树,<font style="color:rgb(31,35,41);">parent</font>平衡因⼦<font style="color:rgb(31,35,41);">--</font>
  • <font style="color:rgb(31,35,41);">parent</font>所在⼦树的⾼度是否变化决定了是否会继续往上更新
  1. 更新停止条件
  • 更新后<font style="color:rgb(31,35,41);">parent</font>的平衡因⼦等于<font style="color:rgb(31,35,41);">0</font>,更新中parent的平衡因⼦变化为 <font style="color:rgb(31,35,41);">-1->0</font>或者<font style="color:rgb(31,35,41);">1->0</font>,说明更新前<font style="color:rgb(31,35,41);">parent</font>⼦树⼀边⾼⼀边低,新增的结点插⼊在低的那边,插⼊后<font style="color:rgb(31,35,41);">parent</font>所在的⼦树⾼度不变,不会影响<font style="color:rgb(31,35,41);">parent</font>的⽗亲结点的平衡因⼦,更新结束。
  • 更新后<font style="color:rgb(31,35,41);">parent</font>的平衡因⼦等于 <font style="color:rgb(31,35,41);">1 </font><font style="color:rgb(31,35,41);">-1</font>,更新前更新中<font style="color:rgb(31,35,41);">parent</font>的平衡因⼦变化为<font style="color:rgb(31,35,41);">0->1</font>或者<font style="color:rgb(31,35,41);">0->-1</font>,说明更新前<font style="color:rgb(31,35,41);">parent</font>⼦树两边⼀样⾼,新增的插⼊结点后,<font style="color:rgb(31,35,41);">parent</font>所在的⼦树⼀边⾼⼀边低,<font style="color:rgb(31,35,41);">parent</font>所在的⼦树符合平衡要求,但是⾼度增加了<font style="color:rgb(31,35,41);">1</font>,会影响<font style="color:rgb(31,35,41);">parent</font>的⽗亲结点的平衡因⼦,所以要继续向上更新。
  • 更新后parent的平衡因⼦等于<font style="color:rgb(31,35,41);">2</font><font style="color:rgb(31,35,41);">-2</font>,更新前更新中<font style="color:rgb(31,35,41);">parent</font>的平衡因⼦变化为<font style="color:rgb(31,35,41);">1->2</font>或者<font style="color:rgb(31,35,41);">-1->-2</font>,说明更新前<font style="color:rgb(31,35,41);">parent</font>⼦树⼀边⾼⼀边低,新增的插⼊结点在⾼的那边,<font style="color:rgb(31,35,41);">parent</font>所在的⼦树⾼的那边更⾼了,破坏了平衡,<font style="color:rgb(31,35,41);">parent</font>所在的⼦树不符合平衡要求,需要旋转处理,旋转的⽬标有两个:
    1. 把<font style="color:rgb(31,35,41);">parent</font>⼦树旋转平衡。
    2. 降低<font style="color:rgb(31,35,41);">parent</font>⼦树的⾼度,恢复到插⼊结点以前的⾼度。所以旋转后也不需要继续往上更新,插⼊结束。

如下图,当插入**13**时,此时平衡因子更新,**10****_bf**更新为**2**使树变得不平衡,因此需要旋转处理。

如下图,插入后平衡因子一直更新到根截止:

旋转

旋转的原则

  1. 保持搜索树的规则
  2. 通过降低旋转树的高度,让旋转的树从不平衡变为平衡

通过不同的情况,旋转分为四种:左单旋、右单旋、左右单旋、右左单旋

右单旋(R)

旋转场景

右单旋用于修复左左失衡(LL失衡),即插入的新节点位于**左子树的左侧**,导致该节点的左子树高度比右子树大2。

旋转原理

通过右旋,可以将失衡的左子树提升到当前节点的根节点位置,将当前节点向右旋转,形成新的平衡状态。

操作步骤

void RotateR(Node* parent) 
{Node* subL = parent->_left;Node* subLR = subL->_right;// 将subL的右子树subLR链接为parent的左子树parent->_left = subLR;if (subLR) {subLR->_parent = parent;}// 将subL提升为parent的父节点Node* pParent = parent->_parent;subL->_right = parent;parent->_parent = subL;// 更新父节点指针,如果parent是根节点,则更新根节点if (pParent == nullptr) {_root = subL;subL->_parent = nullptr;} else {if (pParent->_left == parent) {pParent->_left = subL;} else {pParent->_right = subL;}subL->_parent = pParent;}// 调整平衡因子parent->_bf = subL->_bf = 0;
}
  1. parent的左子树(即subL)提升为新的根节点。
  2. subL的右子树(即subLRsubL的右子树是parent左子树中最大的节点,对于右子树来说是最小的节点,所以用来做parent的左子树用来保持搜索树的规则)链接为parent的左子树。
  3. subL的右子树设置为parent
  4. 如果parent是树的根节点,需要更新树的根节点为subL,否则,将subL链接到parent的父节点上。

左单旋(L)

旋转场景

左单旋用于修复右右失衡(RR失衡),即插入的**新节点位于右子树的右侧**,导致该节点的右子树高度比左子树大2。

旋转原理

通过左旋,可以将失衡的右子树提升到当前节点的根节点位置,将当前节点向左旋转,形成新的平衡状态。

操作步骤

void RotateL(Node* parent) 
{Node* subR = parent->_right;Node* subRL = subR->_left;// 将subR的左子树subRL链接为parent的右子树parent->_right = subRL;if (subRL) {subRL->_parent = parent;}// 将subR提升为parent的父节点Node* pParent = parent->_parent;subR->_left = parent;parent->_parent = subR;// 更新父节点指针,如果parent是根节点,则更新根节点if (pParent == nullptr) {_root = subR;subR->_parent = nullptr;} else {if (pParent->_left == parent) {pParent->_left = subR;} else {pParent->_right = subR;}subR->_parent = pParent;}// 调整平衡因子parent->_bf = subR->_bf = 0;
}
  1. parent的右子树(即subR)提升为新的根节点。
  2. subR的左子树(即subRLsubR的左子树是parent右子树中最小的节点,对于左子树来说是最大的节点,所以用来做parent的右子树用来保持搜索树的规则)链接为parent的右子树。
  3. subR的左子树设置为parent
  4. 如果parent是树的根节点,需要更新树的根节点为subR,否则,将subR链接到parent的父节点上。

左右双旋( LR旋转)

旋转场景

左右双旋用于修复左右失衡(LR失衡),这种情况发生在插入的节点位于左子树的右侧,导致左子树比右子树高2,但左子树的右子树比左子树的左子树高。这种情况下,仅仅进行一次右旋(RR旋转)无法恢复平衡,必须先进行左旋(LL旋转),再进行右旋。

无法平衡

操作步骤

  1. 第一步:左旋
    首先对失衡节点的左子树进行一次左旋,使其符合右右失衡(RR失衡)的结构。
  2. 第二步:右旋
    然后对当前失衡节点进行一次右旋,使整个子树重新恢复平衡。

旋转后平衡因子的更新

  • 旋转前,需要记录subLR节点(左子树的右子树)的平衡因子。旋转后,需要根据subLR的平衡因子来决定父节点、subL(左子树)和subLR的平衡因子如何调整:
    • 如果subLR的平衡因子为0,由subLR左子树右子树分给parentsubL的左右子树高度相同,则所有节点的平衡因子重置为0。
    • 如果subLR的平衡因子为1,表示subLR的右子树会比左子树低1,subLR左子树会分配给subL作为右子树,此时subL左子树比分配的右子树高1,所以subL的平衡因子应该更新为-1,而右子树会分给parent作为左子树,两个子树高度相同,平衡因子为0。
    • 如果subLR的平衡因子为-1,表示subLR的左子树比右子树低1,subLR左子树会分配给subL作为右子树,两个子树高度相同,subL平衡因子更新为0,而右子树会分给parent作为左子树,会比parent右子树低1,所以parent的平衡因子应该更新为1。

代码实现

void RotateLR(Node* parent) {Node* subL = parent->_left;  // 左子树Node* subLR = subL->_right;  // 左子树的右子树int bf = subLR->_bf;         // 记录旋转前subLR的平衡因子// 第一步:对子树进行左旋RotateL(parent->_left);// 第二步:对当前节点进行右旋RotateR(parent);// 根据旋转后subLR的平衡因子更新平衡因子if (bf == 0) {subL->_bf = 0;subLR->_bf = 0;parent->_bf = 0;} else if (bf == 1) {subL->_bf = -1;subLR->_bf = 0;parent->_bf = 0;} else if (bf == -1) {subL->_bf = 0;subLR->_bf = 0;parent->_bf = 1;} else {assert(false);  // 不应发生的情况}
}

右左双旋(RL旋转)

旋转场景

右左双旋用于修复右左失衡(RL失衡),这种情况发生在插入的节点位于右子树的左侧,导致右子树比左子树高2,但右子树的左子树比右子树的右子树高。类似于左右双旋,这种情况不能通过一次左旋解决,必须先进行右旋(RR旋转),再进行左旋。

操作步骤

  1. 第一步:右旋
    首先对失衡节点的右子树进行一次右旋,使其符合左左失衡(LL失衡)的结构。
  2. 第二步:左旋
    然后对当前失衡节点进行一次左旋,使整个子树恢复平衡。

旋转后平衡因子的更新

  • 同样,旋转前记录subRL(右子树的左子树)的平衡因子,旋转后根据subRL的平衡因子来调整父节点、subRsubRL的平衡因子。

代码实现

void RotateRL(Node* parent) {Node* subR = parent->_right;  // 右子树Node* subRL = subR->_left;    // 右子树的左子树int bf = subRL->_bf;          // 记录旋转前subRL的平衡因子// 第一步:对右子树进行右旋RotateR(parent->_right);// 第二步:对当前节点进行左旋RotateL(parent);// 根据旋转后subRL的平衡因子更新平衡因子if (bf == 0) {subR->_bf = 0;subRL->_bf = 0;parent->_bf = 0;} else if (bf == 1) {subR->_bf = 0;subRL->_bf = 0;parent->_bf = -1;} else if (bf == -1) {subR->_bf = 1;subRL->_bf = 0;parent->_bf = 0;} else {assert(false);  // 不应发生的情况}
}

AVL树的查找

查找操作的基本原理

AVL树是自平衡的二叉搜索树,所以查找操作与普通的二叉搜索树一致。由于AVL树保持了平衡,它的查找时间复杂度为O(logN),其中N是节点的数量。每次查找都是通过比较键值,沿着树的一条路径从根节点到叶节点。

查找逻辑

查找操作从根节点开始,比较目标键值(key)与当前节点的键值(cur->_kv.first):

  • 如果目标值 小于 当前节点的值,继续在左子树中查找。
  • 如果目标值 大于 当前节点的值,继续在右子树中查找。
  • 如果找到相等的键值,则返回该节点。
  • 如果最终到达nullptr,说明树中没有该键值,返回nullptr
Node* Find(const K& key) 
{Node* cur = _root;while (cur) {if (cur->_kv.first < key) {cur = cur->_right;  // 查找右子树} else if (cur->_kv.first > key) {cur = cur->_left;   // 查找左子树} else {return cur;  // 找到目标节点}}return nullptr;  // 未找到,返回空指针
}

AVL树的平衡检测

平衡检测的基本原理

AVL树的核心特性是自平衡。为了确保树的平衡,每个节点的左右子树高度差不能超过1。因此,平衡检测的目的是检查每个节点的左右子树高度差是否满足这个条件,并验证节点的平衡因子是否正确。

平衡因子与高度计算

  • 平衡因子:平衡因子是节点右子树的高度减去左子树的高度。对于AVL树来说,平衡因子的值只能是-1, 0, 1
  • 高度计算:节点的高度是从该节点到叶子节点的最长路径的长度,叶子节点的高度为0,空节点高度为-1。

检测逻辑

  1. 对每个节点,递归计算其左子树右子树的高度。
  2. 比较左右子树的高度差,确保其绝对值不超过1。
  3. 确认节点的平衡因子是否等于左右子树高度差。
  4. 如果所有节点都满足条件,则该树是平衡的。
int _Height(Node* root) 
{if (root == nullptr) {return 0;  // 空树的高度为0}int leftHeight = _Height(root->_left);   // 计算左子树的高度int rightHeight = _Height(root->_right); // 计算右子树的高度return (leftHeight > rightHeight ? leftHeight + 1 : rightHeight + 1); // 返回更大的子树高度加1
}bool _IsBalanceTree(Node* root) 
{// 空树也是AVL树if (root == nullptr) {return true;}// 计算左右子树的高度int leftHeight = _Height(root->_left);int rightHeight = _Height(root->_right);int diff = rightHeight - leftHeight;// 检查平衡因子是否正确,左右子树高度差是否超出范围if (abs(diff) >= 2) {cout << root->_kv.first << "高度差异常" << endl;return false;}if (root->_bf != diff) {cout << root->_kv.first << "平衡因子异常" << endl;return false;}// 递归检查左右子树是否平衡return _IsBalanceTree(root->_left) && _IsBalanceTree(root->_right);
}

AVL树旋转的时机

AVL树的核心在于保持树的平衡性,即每个节点的平衡因子(左右子树高度差)保持在 -101 之间。当插入或删除节点后,树可能失衡,此时需要通过旋转来恢复平衡。具体的旋转方式取决于失衡的位置和失衡的类型。


1. 平衡因子更新

在插入节点后,从插入位置沿着路径向上更新每个祖先节点的平衡因子:

  • 如果插入在左子树parent->_bf--,平衡因子减1。
  • 如果插入在右子树parent->_bf++,平衡因子加1。

更新的过程中有三种可能情况:

  • 平衡因子为0:表示插入节点后,该节点的高度没有变化,更新可以停止。
  • 平衡因子为1或-1:表示节点仍然保持平衡,但高度发生变化,继续向上更新祖先节点。
  • 平衡因子为2或-2:表示节点失衡,需要进行旋转来恢复平衡。

2. 旋转的使用时机

当检测到某个节点的平衡因子为 2-2 时,表示该节点失衡。失衡分为四种类型,具体的旋转操作取决于失衡的子树是左子树还是右子树,以及失衡的方向是左左失衡(LL)右右失衡(RR)左右失衡(LR) 还是 右左失衡(RL)

2.1 左左失衡(LL失衡) - 右单旋(RotateR)
  • 情况:当节点的左子树高度过高,并且插入的新节点在左子树的左侧时,会导致左左失衡。
  • 解决:需要进行右单旋(RotateR),将左子树提升为根节点。
if (parent->_bf == -2 && cur->_bf == -1) {RotateR(parent);
}
  • 示例
插入前:10/5/2
插入 1 后,导致 10 左左失衡。
右旋后:5/ \2   10/1
2.2 右右失衡(RR失衡) - 左单旋(RotateL)
  • 情况:当节点的右子树高度过高,并且插入的新节点在右子树的右侧时,会导致右右失衡。
  • 解决:需要进行左单旋(RotateL),将右子树提升为根节点。
if (parent->_bf == 2 && cur->_bf == 1) {RotateL(parent);
}
  • 示例
插入前:10\15\20
插入 25 后,导致 10 右右失衡。
左旋后:15/  \10   20\25
2.3 左右失衡(LR失衡) - 左右双旋(RotateLR)
  • 情况:当节点的左子树高度过高,但插入的新节点在左子树的右侧时,会导致左右失衡。
  • 解决:需要进行左右双旋(RotateLR),即先对左子树进行左旋,再对当前节点进行右旋
if (parent->_bf == -2 && cur->_bf == 1) {RotateLR(parent);
}
  • 示例
插入前:10/5\8
插入 9 后,导致 10 左右失衡。
左右双旋后:8/ \5   10/9
2.4 右左失衡(RL失衡) - 右左双旋(RotateRL)
  • 情况:当节点的右子树高度过高,但插入的新节点在右子树的左侧时,会导致右左失衡。
  • 解决:需要进行右左双旋(RotateRL),即先对右子树进行右旋,再对当前节点进行左旋
if (parent->_bf == 2 && cur->_bf == -1) {RotateRL(parent);
}
  • 示例
插入前:10\20/15
插入 12 后,导致 10 右左失衡。
右左双旋后:15/  \10   20/12

3. 代码解释

在代码中,旋转的具体逻辑如下:

while (parent) 
{if (cur == parent->_left) {parent->_bf--;  // 插入在左子树,平衡因子减1} else {parent->_bf++;  // 插入在右子树,平衡因子加1}if (parent->_bf == 0) {break;  // 平衡因子为0,树的高度没有变化,停止更新} else if (parent->_bf == 1 || parent->_bf == -1) {cur = parent;parent = parent->_parent;  // 继续向上更新} else if (parent->_bf == 2 || parent->_bf == -2) {// 出现失衡,根据具体情况选择合适的旋转if (parent->_bf == -2 && cur->_bf == -1) {RotateR(parent);  // 左左失衡 -> 右单旋} else if (parent->_bf == 2 && cur->_bf == 1) {RotateL(parent);  // 右右失衡 -> 左单旋} else if (parent->_bf == -2 && cur->_bf == 1) {RotateLR(parent);  // 左右失衡 -> 左右双旋} else if (parent->_bf == 2 && cur->_bf == -1) {RotateRL(parent);  // 右左失衡 -> 右左双旋} else {assert(false);  // 不应发生的情况}break;} else {assert(false);  // 不应发生的情况}
}

AVL树节点的删除

AVL树节点的删除较为复杂,可以选择性理解

AVL树节点的删除操作类似于二叉搜索树的删除,但需要额外维护AVL树的平衡性。当删除一个节点后,可能会导致AVL树失衡,因此在删除节点后需要通过更新平衡因子并执行旋转来恢复平衡。

删除节点的主要步骤可以分为以下几个部分:
  1. 找到要删除的节点:根据二叉搜索树的规则,找到需要删除的节点。
  2. 删除节点:处理节点的删除操作,有三种情况:
    • 节点是叶子节点
    • 节点只有一个子节点
    • 节点有两个子节点
  3. 更新平衡因子并旋转:从删除节点的父节点开始,沿着路径向上更新平衡因子,并进行必要的旋转操作以恢复平衡。

1. 删除节点的三种情况

1.1 删除叶子节点

如果删除的节点是叶子节点,那么直接删除该节点,不需要其他调整。然后从父节点开始,检查树是否失衡。

1.2 删除只有一个子节点的节点

如果删除的节点只有一个子节点(左子节点或右子节点),那么直接用该子节点替换要删除的节点。同样,从父节点开始更新平衡因子并检查是否需要旋转。

1.3 删除有两个子节点的节点

如果删除的节点有两个子节点,则需要找到该节点的前驱节点或后继节点,并用该前驱或后继节点的值替换要删除的节点。然后,递归删除前驱或后继节点,这样问题就转化为删除一个有一个子节点或没有子节点的节点。


2. AVL树删除的平衡维护

在删除节点后,树可能失衡,原因是删除节点后会减小某些子树的高度,从而导致其祖先节点的平衡因子发生变化。因此,需要从删除节点的父节点开始,逐级更新平衡因子,并根据情况执行旋转操作。

2.1 平衡因子的更新规则
  • 如果节点被删除自左子树,其父节点的平衡因子增加1。
  • 如果节点被删除自右子树,其父节点的平衡因子减少1。
2.2 旋转操作

和插入操作类似,删除节点后如果某个节点的平衡因子变为2-2,需要通过旋转来恢复平衡。常见的失衡和旋转情况有:

  • 右单旋(RR旋转):当左子树比右子树矮2,并且右子树的平衡因子为正时。
  • 左单旋(LL旋转):当右子树比左子树矮2,并且左子树的平衡因子为负时。
  • 左右双旋(LR旋转):当左子树比右子树矮2,并且左子树的右子树较高时。
  • 右左双旋(RL旋转):当右子树比左子树矮2,并且右子树的左子树较高时。

3. 删除操作的代码实现

以下是一个AVL树删除节点的简化实现。

template<class K, class V>
class AVLTree {typedef AVLTreeNode<K, V> Node;public:bool Erase(const K& key) {Node* parent = nullptr;Node* cur = _root;// 1. 查找要删除的节点while (cur) {if (cur->_kv.first < key) {parent = cur;cur = cur->_right;} else if (cur->_kv.first > key) {parent = cur;cur = cur->_left;} else {break;}}if (!cur) {return false; // 节点不存在}// 2. 执行删除操作// 如果有两个子节点if (cur->_left && cur->_right) {Node* replace = cur->_left;parent = cur;// 找到左子树的最右节点(即前驱节点)while (replace->_right) {parent = replace;replace = replace->_right;}// 用前驱节点替换当前节点的值cur->_kv = replace->_kv;cur = replace;}// 只有一个子节点或没有子节点Node* subTree = cur->_left ? cur->_left : cur->_right;if (!parent) {// 删除的是根节点_root = subTree;} else {if (parent->_left == cur) {parent->_left = subTree;} else {parent->_right = subTree;}if (subTree) {subTree->_parent = parent;}}// 删除节点delete cur;// 3. 更新平衡因子并旋转while (parent) {if (subTree == parent->_left) {parent->_bf++;} else {parent->_bf--;}if (parent->_bf == 1 || parent->_bf == -1) {break;  // 高度没有发生变化,停止调整}if (parent->_bf == 2 || parent->_bf == -2) {// 旋转Rebalance(parent);}subTree = parent;parent = parent->_parent;}return true;}private:// 恢复平衡的方法,根据不同情况选择旋转方式void Rebalance(Node* parent) {if (parent->_bf == 2) {if (parent->_right->_bf >= 0) {RotateL(parent); // LL旋转} else {RotateRL(parent); // RL旋转}} else if (parent->_bf == -2) {if (parent->_left->_bf <= 0) {RotateR(parent); // RR旋转} else {RotateLR(parent); // LR旋转}}}// 左旋,右旋,左右双旋,右左双旋函数省略
};

4. 删除后的旋转恢复平衡

与插入操作类似,删除节点后如果某个节点的平衡因子变为 2-2,则需要进行旋转:

  • 左单旋(LL旋转):用于修复右子树较高的情况。
  • 右单旋(RR旋转):用于修复左子树较高的情况。
  • 左右双旋(LR旋转):用于修复左子树较高且左子树的右子树较高的情况。
  • 右左双旋(RL旋转):用于修复右子树较高且右子树的左子树较高的情况。

通过这些旋转操作,AVL树可以在删除节点后保持平衡,确保树的高度始终维持在对数级别 ( O(\log N) )。

5. 总结

  • 删除操作:通过常规的二叉搜索树删除方法处理节点删除,但要在删除后检查树是否失衡。
  • 更新平衡因子:从删除节点的父节点开始,沿着路径向上更新平衡因子。
  • 旋转恢复平衡:当某个节点的平衡因子变为 2-2 时,通过适当的旋转恢复树的平衡。

AVL树的删除比插入稍微复杂,因为可能涉及前驱节点或后继节点的替换,以及删除后的平衡恢复。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.rhkb.cn/news/437357.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

计组复习笔记

计组笔记 汇编部分 通用寄存器&#xff08;General Registers&#xff09;: AX (Accumulator): 用于累加运算&#xff0c;也是乘法和除法的默认寄存器。BX (Base Register): 可以用作一个基址寄存器&#xff0c;通常用于存放数据的基地址。CX (Counter Register): 通常用于循环…

【零散技术】Odoo PDF 打印问题问题合集

序言:时间是我们最宝贵的财富,珍惜手上的每个时分 Odoo PDF打印 是一个必备功能&#xff0c;但是总会遇到一些奇奇怪怪的问题&#xff0c;此帖仅做记录&#xff0c;方便查阅。 目录 1、样式丢失 2、部分结构丢失 3、没有中文字体 1、样式丢失 这种情况一般是由于 …

Redis: Sorted Set 底层算法的简单分析

概述 我们先看下 Shorted Set 有序集合的内部数据结构所谓有序集合&#xff0c;比如有个容器&#xff0c;容器里边都已经排好序了&#xff0c;那无非就是快速的查找和插入不管你是查找还是插入&#xff0c;肯定要确定那个位置最简单的办法就是从最开头开始&#xff0c;挨个比较…

查找与排序-插入排序

排序算法可以分为内部排序和外部排序&#xff0c;内部排序是数据记录在内存中进行排序&#xff0c;而外部排序是因排序的数据很大&#xff0c;一次不能容纳全部的排序记录&#xff0c;在排序过程中需要访问外存。常见的内部排序算法有&#xff1a;插入排序、希尔排序、选择排序…

2024年10月2日历史上的今天大事件早读

1683年10月2日 清朝康熙帝统一台湾 1869年10月2日 印度民族解放运动领袖甘地诞辰 1890年10月2日 中共创始人之一李达诞生 1895年10月2日 天津中西学堂&#xff08;天津大学前身&#xff09;开学 1901年10月2日 郑士良等发起惠州起义 1909年10月2日 京张铁路正式通车 1920…

LeetCode[中等] 238. 除自身以外数组的乘积

给你一个整数数组 nums&#xff0c;返回 数组 answer &#xff0c;其中 answer[i] 等于 nums 中除 nums[i] 之外其余各元素的乘积 。 题目数据 保证 数组 nums之中任意元素的全部前缀元素和后缀的乘积都在 32 位 整数范围内。 请 不要使用除法&#xff0c;且在 O(n) 时间复杂…

java常用框架结构

1. Spring框架 特色&#xff1a;Spring框架就像是一个万能工具箱&#xff0c;提供了丰富的功能来满足开发者的各种需求。它支持面向切面编程&#xff08;AOP&#xff09;、依赖注入&#xff08;DI&#xff09;等特性&#xff0c;使得代码更加模块化和可维护。Spring还提供了对数…

calibre-web的翻译translations

calibre-web的翻译translations Windows安装calibre-web&#xff0c;Python-CSDN博客文章浏览阅读539次&#xff0c;点赞10次&#xff0c;收藏11次。pip install calibreweb报错&#xff1a;error: Microsoft Visual C 14.0 or greater is required. Get it with "Microso…

【QT 开发日志】QT 基础控件详解:按钮、文本框与标签的使用

&#x1f3ac; 鸽芷咕&#xff1a;个人主页 &#x1f525; 个人专栏: 《C干货基地》《粉丝福利》 ⛺️生活的理想&#xff0c;就是为了理想的生活! 博主简介 博主致力于嵌入式、Python、人工智能、C/C领域和各种前沿技术的优质博客分享&#xff0c;用最优质的内容带来最舒适的…

【C语言】数组(下)

6、二维数组的创建 6.1二维数组的概念 通过数组&#xff08;上&#xff09;介绍&#xff0c;我们学习了一维数组&#xff0c;数组的元素都是内置类型的&#xff0c;如果我们把一维数组作为数组的元素&#xff0c;这时就是二维数组&#xff0c;以此类推&#xff0c;如果把二维…

鸿蒙开发(NEXT/API 12)【状态查询与订阅】手机侧应用开发

注意 该接口的调用需要在开发者联盟申请设备基础信息权限与穿戴用户状态权限&#xff0c;穿戴用户状态权限还需获得用户授权。 实时查询穿戴设备可用空间、电量状态。订阅穿戴设备连接状态、低电量告警、用户心率告警。查询和订阅穿戴设备充电状态、佩戴状态、设备模式。 使…

《蓝桥杯算法入门》(C/C++、Java、Python三个版本)24年10月出版

推荐&#xff1a;《算法竞赛》&#xff0c;算法竞赛大全书&#xff0c;网购&#xff1a;京东 天猫  当当 文章目录 《蓝桥杯算法入门》内容简介本书读者对象作者简介联系与交流《蓝桥杯算法入门 C/C》版目录 《蓝桥杯算法入门 Java》版目录 《蓝桥杯算法入门 Python》版目录 …

调用飞书接口导入供应商bug

1、业务背景 财务这边大部分系统都是供应商项目&#xff0c;由于供应商的研发人员没有飞书项目的权限&#xff0c;涉及到供应商系统需求 财务这边都是通过多维表格进行bug的生命周期管理如图&#xff1a; 但多维表格没有跟飞书项目直接关联&#xff0c;测试组做bug统计的时候无…

计算机前沿技术-人工智能算法-大语言模型-最新研究进展-2024-09-30

计算机前沿技术-人工智能算法-大语言模型-最新研究进展-2024-09-30 目录 文章目录 计算机前沿技术-人工智能算法-大语言模型-最新研究进展-2024-09-30目录1. Proof Automation with Large Language Models概览&#xff1a;论文研究背景&#xff1a;技术挑战&#xff1a;如何破局…

成都睿明智科技有限公司赋能商家高效变现

在这个日新月异的数字时代&#xff0c;抖音电商正以不可阻挡之势崛起&#xff0c;成为众多品牌与商家竞相角逐的新战场。在这片充满机遇与挑战的蓝海中&#xff0c;成都睿明智科技有限公司如同一颗璀璨新星&#xff0c;凭借其专业的服务、创新的策略和敏锐的市场洞察&#xff0…

关联式容器:map和set

引言&#xff1a; 在计算机科学中&#xff0c;我们经常需要处理一系列具有关键字的元素&#xff0c;并希望对这些元素进行高效的查找、插入和删除操作。为了满足这些需求&#xff0c;我们可以使用BSTree来实现。BSTree作为一种基础的数据结构&#xff0c;它不仅能够帮助我们快…

基于 C# 的文本文件的编码识别

基于 C# 的文本文件的编码识别 前言一、有 BOM 文件头二、无 BOM 文件头三、简体中文汉字编码四、C# 程序对编码的识别1、文件选择按钮代码&#xff1a;2、获取文件编码&#xff0c;有 BOM 的文件识别3、获取文件编码&#xff0c;UTF8 无 BOM 文件的识别4、获取文件编码&#x…

【在Linux世界中追寻伟大的One Piece】System V共享内存

目录 1 -> System V共享内存 1.1 -> 共享内存数据结构 1.2 -> 共享内存函数 1.2.1 -> shmget函数 1.2.2 -> shmot函数 1.2.3 -> shmdt函数 1.2.4 -> shmctl函数 1.3 -> 实例代码 2 -> System V消息队列 3 -> System V信号量 1 -> Sy…

成都睿明智科技有限公司抖音电商服务靠谱吗?

在这个电商风起云涌的时代&#xff0c;抖音作为短视频直播的超级流量池&#xff0c;正深刻改变着人们的购物习惯。无数商家蜂拥而至&#xff0c;渴望在这片蓝海中找到属于自己的岛屿。而提及抖音电商服务&#xff0c;成都睿明智科技有限公司无疑是一个备受瞩目的名字。那么&…

掌控物体运动艺术:图扑 Easing 函数实践应用

现如今&#xff0c;前端开发除了构建功能性的网站和应用程序外&#xff0c;还需要创建具有吸引力且尤为流畅交互的用户界面&#xff0c;其中动画技术在其中发挥着至关重要的作用。在数字孪生领域&#xff0c;动画的应用显得尤为重要。数字孪生技术通过精确模拟现实世界中的对象…