C++：探索AVL树旋转的奥秘

news2024/11/24 18:41:24

在这里插入图片描述

文章目录

  • 前言 AVL树为什么要旋转？
  • 一、插入一个值的大概过程
    • 1. 插入一个值的大致过程
    • 2. 平衡因子更新原则
    • 3. 旋转处理的目的
  • 二、左单旋
    • 1. 左单旋旋转方式总处理图
    • 2. 左单旋具体会遇到的情况
    • 3. 左单旋代码总结
  • 三、右单旋
    • 1. 右单旋旋转方式总处理图
    • 2. 右单旋具体会遇到的情况
    • 3. 右单旋代码总结
  • 四、双旋
    • 1. 右左双旋旋转逻辑
    • 2. 右左双旋可能会遇到的问题辨析
    • 3. 右左双旋平衡因子的处理
    • 4. 右左双旋代码总结
  • 五、左右双旋
  • 总结

前言 AVL树为什么要旋转？

AVL树需要旋转是为了保持平衡。当插入或删除节点后，某些子树的高度差超过1，就会破坏AVL树的平衡性。为了让树重新平衡，避免一边过高、一边过低的情况，旋转可以调整节点的位置，使树保持左右高度差不超过1。这样做的目的是确保查找、插入、删除操作的效率始终保持在 O(log₂ n)。简单来说，旋转就是“调位置，让树站得更稳”。

一、插入一个值的大概过程

1. 插入一个值的大致过程

  1. 按照二叉搜索树规则插入：
    插入的新节点位置依据二叉搜索树的性质确定，即小于当前节点放左子树，大于当前节点放右子树。

  2. 更新平衡因子：
    新增节点后，只会影响其祖先节点的高度，可能导致部分祖先节点的平衡因子发生变化。从新增节点向根节点逐步更新平衡因子。如果在更新过程中某节点的平衡因子变为2或-2，说明该节点的子树已经不平衡，需要旋转处理；否则，插入结束。

  3. 检查平衡并调整：

    • 如果更新平衡因子的过程中没有发现问题（平衡因子均为0、1或-1），插入操作完成。
    • 如果出现不平衡，则对不平衡的子树进行旋转处理。旋转不仅恢复子树的平衡，还会降低子树的高度，确保不再影响其父节点的平衡因子，从而结束插入过程。

2. 平衡因子更新原则

  1. 平衡因子公式：
    在这里插入图片描述

    只有子树高度发生变化时，才会影响当前节点的平衡因子。

  2. 更新规则：

    • 若新增节点在父节点的右子树，则父节点的平衡因子增加1（+1）。
    • 若新增节点在父节点的左子树，则父节点的平衡因子减少1（-1）。

  3. 更新停止条件：

    • 平衡因子变为0：
      父节点平衡因子从 -1 变为 0 或从 1 变为 0，说明新增节点插入到高度较低的一侧，子树高度未改变，更新过程可以停止。
    • 平衡因子变为1或-1：
      父节点平衡因子从 0 变为 1 或从 0 变为 -1，说明新增节点插入后子树高度增加，但仍符合平衡要求，需继续向上更新。
    • 平衡因子变为2或-2：
      父节点平衡因子从 1 变为 2 或从 -1 变为 -2，说明子树高度过高，已失去平衡，需要进行旋转处理。

在这里插入图片描述

在这里插入图片描述

3. 旋转处理的目的

  1. 恢复平衡：
    通过单旋转或双旋转调整节点位置，使当前子树符合平衡要求。
  2. 降低子树高度：
    旋转后，子树高度恢复到插入前的水平，确保不会对更高层节点产生影响，插入过程结束。

二、左单旋

形成条件：parent->_bf == 2 && cur->_bf == 1

1. 左单旋旋转方式总处理图

  1. 失衡检测：

    • 当插入的新节点导致父节点的平衡因子为 2，并且新节点被插入到右子树的右侧时，发生右右失衡（RR失衡）。

  2. 旋转操作：

    • 左单旋的核心目标是将父节点的右子树（即失衡节点的右子树根）提升为新的根节点，并将原来的父节点挂接到新根节点的左子树上。
parent->right = cur->left;  // 将右子树的左子树挂接到父节点的右子树
cur->left = parent;         // 将父节点挂接为右子树的左子树

  1. 处理父节点链接问题：

    • 需要确保旋转后父节点的父节点（如果存在）正确地连接到新的根节点。
      • 如果原父节点有父节点（即不是根节点），则要更新父节点的左右子树指向新的根节点。
      • 如果原父节点是根节点，则更新树的根节点。

  2. 更新平衡因子：

    • 旋转后，原父节点和新的根节点的平衡因子都应设置为 0，因为旋转使得这两颗子树已经平衡。

  3. 旋转结束：

    • 完成旋转后，新的根节点成为子树的根，树恢复平衡。
      在这里插入图片描述

2. 左单旋具体会遇到的情况

我们具体会遇到比如 h = 0， h = 1, h = 2 …无穷多种情况：

分析如下:

在这里插入图片描述

3. 左单旋代码总结

// 左单旋
void RotateL(Node* parent)
{
	Node* cur = parent->_right;
	Node* curleft = cur->_left;

	// 重新链接
	parent->_right = curleft;
	if (curleft) // 如果curleft存在
	{
		curleft->_parent = parent;
	}

	cur->_left = parent;

	Node* ppnode = parent->_parent;
	parent->_parent = cur;

	if (ppnode == nullptr)
	{
		_root = cur;
		cur->_parent = nullptr;
	}
	else
	{
		if (ppnode->_left == parent)
		{
			ppnode->_left = cur;
		}
		else
		{
			ppnode->_right = cur;
		}

		cur->_parent = ppnode;
	}

	// 更改平衡因子
	parent->_bf = cur->_bf = 0;
}

三、右单旋

形成条件：parent->_bf == -2 && cur->_bf == -1

1. 右单旋旋转方式总处理图

右单旋处理的方式与左单旋是一致的，只不过是反过来了，就不多介绍了。

  1. 失衡检测：

    • 当插入的新节点导致父节点的平衡因子为 -2，并且新节点被插入到左子树的左侧时，发生左左失衡（LL失衡）。

  2. 旋转操作：

    • 右单旋的核心目标是将父节点的左子树（即失衡节点的左子树根）提升为新的根节点，并将原来的父节点挂接到新根节点的右子树上。
parent->left = cur->right;  // 将左子树的右子树挂接到父节点的左子树
cur->right = parent;        // 将父节点挂接为左子树的右子树

  1. 处理父节点链接问题：

    • 需要确保旋转后父节点的父节点（如果存在）正确地连接到新的根节点。
      • 如果原父节点有父节点（即不是根节点），则要更新父节点的左右子树指向新的根节点。
      • 如果原父节点是根节点，则更新树的根节点。

  2. 更新平衡因子：

    • 旋转后，原父节点和新的根节点的平衡因子都应设置为 0，因为旋转使得这两颗子树已经平衡。

  3. 旋转结束：

    • 完成旋转后，新的根节点成为子树的根，树恢复平衡。

在这里插入图片描述

2. 右单旋具体会遇到的情况

在这里插入图片描述

3. 右单旋代码总结

// 右单旋
void RotateR(Node* parent)
{
	Node* cur = parent->_left;
	Node* curright = cur->_right;

	parent->_left = curright;

	if (curright)
	{
		curright->_parent = parent;
	}

	cur->_right = parent;

	Node* ppnode = parent->_parent;
	parent->_parent = cur;
	if (ppnode == nullptr)
	{
		cur->_parent = nullptr;
		_root = cur;
	}
	else
	{
		if (ppnode->_left == parent)
		{
			ppnode->_left = cur;
		}
		else
		{
			ppnode->_right = cur;
		}
		cur->_parent = ppnode;
	}

	// 改变平衡因子
	parent->_bf = cur->_bf = 0;
}

四、双旋

1. 右左双旋旋转逻辑

形成条件：parent->_bf == 2 && cur->_bf == -1

这里是右左双旋的处理方式：

  1. 插入新节点
  2. 以cur进行右单旋
  3. 以parent进行左单旋

在这里插入图片描述

2. 右左双旋可能会遇到的问题辨析

h = 0 的情况：
在这里插入图片描述

h = 1 的情况：
在这里插入图片描述

h = 2 的情况：
在这里插入图片描述

3. 右左双旋平衡因子的处理

右左双旋的平衡因子与前面的单旋的平衡因子处理方式不同，单旋平衡因子再旋转过后全都是0，但是双旋的平衡因子不一样。

它分为以下三种情况：

  1. h = 0 的情况，及curleft._bf = 0，

结果——>parent._bf = 0，cur._bf = 0，curleft._bf = 0

在这里插入图片描述

  1. h > 0 的情况下，及curleft._bf == 1，
    以以下C位置插入引发的旋转。

结果： parent._bf = -1，cur._bf = 0，curleft._bf = 0

在这里插入图片描述

  1. h > 0 的情况下，及curleft._bf == -1，
    以以下B位置插入引发的旋转。

结果： parent._bf = 0，cur._bf = 1，curleft._bf = 0

在这里插入图片描述

4. 右左双旋代码总结

// 右左双旋
void RotateRL(Node* parent)
{
	Node* cur = parent->_right;
	Node* curleft = cur->_left;
	int bf = curleft->_bf;

	// 右旋
	RotateR(cur);
	// 左旋
	RotateL(parent);

	// 调整平衡因子
	if (bf == 0)
	{
		parent->_bf = 0;
		cur->_bf = 0;
		curleft->_bf = 0;
	}
	else if (bf == 1)
	{
		parent->_bf = -1;
		cur->_bf = 0;
		curleft->_bf = 0;
	}
	else if (bf == -1)
	{
		parent->_bf = 0;
		cur->_bf = 1;
		curleft->_bf = 0;
	}
	else
	{
		assert(false);
	}
}

五、左右双旋

形成条件：parent->_bf == -2 && cur->_bf == 1

左右双旋与右左双旋类型，就是反过来的过程~

在这里插入图片描述

在这里插入图片描述

// 左右双旋
void RotateLR(Node* parent)
{
	Node* cur = parent->_left;
	Node* curright = cur->_right;
	int bf = curright->_bf;

	RotateL(cur);
	RotateR(parent);

	// 调整平衡因子
	if (bf == 0)
	{
		parent->_bf = 0;
		cur->_bf = 0;
		curright->_bf = 0;
	}
	else if (bf == 1)
	{
		parent->_bf = 0;
		cur->_bf = -1;
		curright->_bf = 0;
	}
	else if (bf == -1)
	{
		parent->_bf = 1;
		cur->_bf = 0;
		curright->_bf = 0;
	}
	else
	{
		assert(false);
	}
}

总结

那么，到这里就结束啦！

通过学习AVL树的旋转机制，我们不仅掌握了数据结构平衡的重要性，更感受到了算法的巧妙与严谨。

如果对您有帮助的话，麻烦点一个一键三连，谢谢啦~😘😘😘😘

在这里插入图片描述

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

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈，一经查实，立即删除！

相关文章

开发一套ERP 第二弹

开发一套ERP 第二弹

前后端分离 一起做,发现会有点问题,有时候分不太清楚 可以使用 naive ui admin 作为前端 menu 的配置在mock 中,在mock 中修改为自己需要的选项即可,mock 中返回的是前端需要测试的数据接口 同理自己需要的API也可以定义到 api 中，然后在mock 中配置返回的结果;然后…
阅读更多...
cangjie (仓颉) vscode环境搭建

cangjie (仓颉) vscode环境搭建

sdk下载 下载中心-仓颉编程语言官网 可选择半年更新版，不用申请。目前版本：0.53.13 ，选择不同平台压缩包下载解压到任意位置即可 补充下载，vscode插件解压后，在vscode扩展中选择从vsix安装，安装后新增名为…
阅读更多...
ES6 、ESNext 规范、编译工具babel

ES6 、ESNext 规范、编译工具babel

ES6 、ESNext 规范、编译工具简介 ES6ES（ECMAScript） vs JS常量进一步探讨 obj对象的扩展面试：使对象属性也不能更改——Object.freeze(obj) 解构deconstruction变量的解构赋值：数组解构赋值：对象解构赋值：…
阅读更多...
SQL 语句执行计划中的连接方式

SQL 语句执行计划中的连接方式

SQL 语句执行计划中的连接方式 join操作 join操作基本分为3大类：外连接（细分为：左连接（Left outer join/ left join）、右连接（right outer join/ right join）、全连接（full outer …
阅读更多...
数据结构第一讲

数据结构第一讲

数据结构定义 算法的定义 什么是好算法？ 空间复杂度 时间复杂度 例子1 打印1到N之间的正整数 有递归和循环两种方法实现。 但是在数字变大后，递归的方法会导致内存占用过多而崩溃。 而循环则不会 例子2 写程序给定多项式在X处的值 从里往外算的算…
阅读更多...
--- 文件IO java ---

--- 文件IO java ---

文本文件和二进制文件 文件再底层其实就是以一段二进制数据的形式储存的，当我用记事本打开文件时，有些文件会出现乱码，这就是二进制文件，而有一些文件是特殊的，他以特定的编码方式（比如ascll）可…
阅读更多...
洛谷 P1616 疯狂的采药 C语言 记忆化搜索

洛谷 P1616 疯狂的采药 C语言 记忆化搜索

题目： https://www.luogu.com.cn/problem/P1616?contestId215526 完全背包问题，最后一个超出空间了。完全背包和就是无限次的拿，公式跟01背包差不多。 但是，只有当前能拿和拿不下，换下一个。注意要处理好边界条件。…
阅读更多...
java基础概念37：正则表达式2-爬虫

java基础概念37：正则表达式2-爬虫

一、定义 【回顾】正则表达式的作用 作用一：校验字符串是否满足规则作用二：在一段文本中查找满足要求的内容——爬虫 二、本地爬虫VS网络爬虫 2-1、本地爬虫 示例： 代码优化： public static void main(String[] args) {// 大…
阅读更多...
多目标跟踪算法

多目标跟踪算法

文章目录 一、传统方法1. 基于卡尔曼滤波器的方法1.1 Kalman Filter(卡尔曼滤波器) 2. 基于数据关联的方法2.1 匈牙利算法 二、深度学习方法1. 基于检测的多目标跟踪1.1 SORT算法1.2 DeepSort1.3 BoT-SORT 2. 基于特征关联和增强的方法2.1 ByteTrack 3. 基于Transformer的方法3…
阅读更多...
网络（TCP）

网络（TCP）

目录 TCP socket API 详解 bind(): 我们的程序中对myaddr参数是这样初始化的: listen(): accept(): 理解accecpt的返回值: 饭店拉客例子 connect tcp服务器和udp类似的部分代码 把套接字设置为监听状态（listen） 测试 查看端口号和IP地址&…
阅读更多...
阿里云 DevOps 资源安全扫描实践

阿里云 DevOps 资源安全扫描实践

随着企业上云进程的加速，云资源的使用量日益增长，云环境中资源的安全性和稳定性成为了企业业务运营的关键要素 面对多样化的云资源和复杂的应用场景，传统的安全管理手段已无法完全满足企业日益严苛的安全需求。为了确保云上资源的安全性&…
阅读更多...
WebGL进阶（十一）层次模型

WebGL进阶（十一）层次模型

理论基础&#xff1a; 效果&#xff1a; 源码&#xff1a; <!DOCTYPE html> <html lang"en"><head><meta charset"UTF-8"><meta http-equiv"X-UA-Compatible" content"IEedge"><meta name"vie…
阅读更多...
vscode下面python调试报错ImportError: cannot import name ‘Literal‘ from ‘typing‘

vscode下面python调试报错ImportError: cannot import name ‘Literal‘ from ‘typing‘

1 问题描述 我在vscode下面编写python程序&#xff0c;这个程序是在一个英伟达anoconda环境下的项目。之前能运行能调试&#xff0c;最近发现只能运行ctlf5&#xff0c;但是使用f5进行调试时&#xff0c;报错“File “c:\Users\86137.vscode\extensions\ms-python.debugpy-202…
阅读更多...
（免费送源码）计算机毕业设计原创定制：Java+JSP+HTML+JQUERY+AJAX+MySQL springboot计算机类专业考研学习网站管理系统

（免费送源码）计算机毕业设计原创定制：Java+JSP+HTML+JQUERY+AJAX+MySQL springboot计算机类专业考研学习网站管理系统

摘 要 大数据时代下&#xff0c;数据呈爆炸式地增长。为了迎合信息化时代的潮流和信息化安全的要求&#xff0c;利用互联网服务于其他行业&#xff0c;促进生产&#xff0c;已经是成为一种势不可挡的趋势。在大学生在线计算机类专业考研学习网站管理的要求下&#xff0c;开发一…
阅读更多...
Android 常用命令和工具解析之GPU相关

Android 常用命令和工具解析之GPU相关

目录 1、GPU基本信息 1.1 获取GPU基本信息 1.2 伪造GPU基本信息 2、GPU内存信息 3、经典案例 案例1&#xff1a;GPU伪造信息方案 案例2&#xff1a;GPU内存统计算法 GPU 指的是 Graphics Processing Unit&#xff0c;即图形处理单元。GPU 是一种专门用于处理图形和图像相…
阅读更多...
day03（单片机高级）RTOS

day03（单片机高级）RTOS

目录 RTOS(实时操作系统) 裸机开发模式 轮询方式 前后台&#xff08;中断方式&#xff09; 改进&#xff08;前后台&#xff08;中断&#xff09;&#xff09;定时器 裸机进一步优化 裸机的其他问题 RTOS的概念 什么是RTOS 为什么要使用 RTOS RTOS的应用场景 RTOS的…
阅读更多...
cookie反爬----普通服务器，阿里系

cookie反爬----普通服务器，阿里系

目录 一.常见COOKIE反爬 普通&#xff1a; 1. 简介 2. 加密原理 二.实战案例 1. 服务器响应cookie信息 1. 逆向目标 2. 逆向分析 2. 阿里系cookie逆向 1. 逆向目标 2. 逆向分析 实战&#xff1a; 无限debugger原理 1. Function("debugger").call() 2. …
阅读更多...
C++中的erase()函数用法总结

C++中的erase()函数用法总结

在 C 中&#xff0c;erase() 是 std::string 和 std::vector 等容器中的成员函数&#xff0c;用于删除容器中的元素。erase可以删去容器中指定位置的元素&#xff0c;容器的size&#xff08;大小&#xff09;会改变&#xff0c;但是容器的容量不变。 常用用法&#xff1a; 1.…
阅读更多...
全面解析：HTML页面的加载全过程(四)--浏览器渲染之样式计算

全面解析：HTML页面的加载全过程(四)--浏览器渲染之样式计算

主线程遍历得到的 DOM 树&#xff0c;依次为树中的每个节点计算出它最终的样式&#xff0c;称之为 Computed Style。 通过前面生成的DOM 树和 CSSOM 树&#xff0c;遍历 DOM 树&#xff0c;为每一个 DOM 节点&#xff0c;计算它的所有 CSS 属性&#xff0c;最后会得到一棵带有…
阅读更多...
Linux|内存级文件原理

Linux|内存级文件原理

目录 进程与文件 Linux下的文件系统 文件操作&#xff0c;及文件流 C语言函数 文件流 文件描述符 系统调用操作 系统调用参数 重定向与文件描述符 输出重定向 输入重定向 文件内容属性 Linux下一切皆文件 进程与文件 当我们对文件进行操作时&#xff0c;文件必须…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023