当前位置: 首页 > news >正文

算法小讲堂之B树和B+树(浅谈)|考研笔记

文章目录

    • 一、前言
    • 二、定义
    • 三、原理
      • 3.1 树的高度
      • 3.2 查找操作
      • 3.3 插入操作
      • 3.4 删除操作
        • 3.4.1 删除关键字是非叶子结点
        • 3.4.2 删除关键字是叶子结点
    • 四、B+树
    • 五、应用

一、前言

前面学习了平衡二叉树( A V L AVL AVL 树),我们知道了平衡的概念就是让树尽量的 “胖” ,让它的高度不会线性增长,那么这篇笔记主要是分享 B B B 树和 B + B+ B+ 树的原理、应用(不涉及代码实现,也许有一天会补上,谁知道呢)

二、定义

B B B 树(又称 B − B- B 树)和 B + B+ B+ 树其实差别不是很大,所以我会着重介绍 B B B 树,然后最后指出 B + B+ B+ 树的不同点

那么什么是 B B B 树呢?

B B B 树,又称 多路平衡查找树 B B B 树中所有结点的孩子个数的最大值称为 B B B 树的 ,通常用 m m m 表示。

这里的多路其实就是指这一颗树可能不只是最多有两颗子树,具体多少颗是由 B B B 树的阶决定的,作为一颗 B B B 树应该满足一下要求:

  • ①若根节点不是 叶结点 ,则至少有两个子树(即一个关键字)
  • ②除了根结点外,其他每个结点至少有 m 2 \frac{m}{2} 2m 个子树,最多有 m m m 个子树,对应的每一个结点至少有 ⌈ m 2 − 1 ⌉ \left \lceil \frac{m}{2} -1 \right \rceil 2m1 个关键字
  • ③每一个结点的关键字从左到右升序排列
  • B B B 树是一个严格的多路平衡查找树,它的左右子树的高度室相等的,且叶结点处于同一层(即所有结点的平衡因子都为 0 0 0

上面提到的关键字就是对于每一个结点可能会存在多个值的情况,这些值按照升(降)序排列,用于划分子树区间,之前的二叉平衡树我们对于每一个结点只有一个关键字,我们就有两个分支,显然若是有 m m m 个关键字则会有 m + 1 m+1 m+1 个分支,其实这就是一个简单的区间划分(相邻关键字划分一个区间、前后俩结点单独一个分区)

PS:这里需要注意一下,在王道的书上是将叶结点(P285页)定义成了不存在的一层,但是在严蔚敏的书上定义的就是最后一层有关键字的结点,比如下图中,王道将第四层定义为叶子节点,严蔚敏的书上认为叶子结点(终端节点)是第三层,而笔者也认为第三层才是叶子节点或者称为终端节点

在这里插入图片描述

三、原理

3.1 树的高度

假设一颗二叉树包含 n ( n > = 1 ) n(n>=1) n(n>=1) 个关键字、高度为 h h h ,阶数为 m m m B B B

  • 至少高度:
    既然是至少高度,那么我们应该尽量希望每个结点的关键字都是满即 m − 1 m-1 m1 的,于是我们得到了如下不等式:

∵ n < = ( m − 1 ) ( 1 + m + m 2 + … … + m h − 1 ) n < = m h − 1 ∴ h > = l o g m ( n + 1 ) ∵ n <=(m-1)(1+m+m^2+……+m^{h-1}) \\ n <= m^h - 1 \\ ∴ h>=log_m(n+1) n<=(m1)(1+m+m2+……+mh1)n<=mh1h>=logm(n+1)

  • 至多高度:

既然是至多,那么我们尽可能希望每一个结点的关键字都是最少的即 ⌈ m 2 ⌉ \left \lceil \frac{m}{2} \right \rceil 2m ,前面也提到了根节点可以特殊一下 最少一个关键字

那么我们会发现,第一层至少有 1 1 1 个结点,第二层至少有 2 2 2 个结点,第三层至少有 2 ⌈ m 2 ⌉ 2\left \lceil \frac{m}{2} \right \rceil 22m 个结点……第 h + 1 h+1 h+1 层至少有 2 ⌈ m 2 ⌉ h − 2 2\left \lceil \frac{m}{2} \right \rceil ^{h-2} 22mh2 这一层就是不包含关键字的一层,即查找失败的一层,又因为关键字的个数为 n n n 那么说明第 h + 1 h+1 h+1 层最少 n + 1 n+1 n+1 个结点,于是我们得到:

∵ n + 1 > = 2 ( ⌈ m 2 ⌉ ) h − 1 ∴ h < = l o g ⌈ m 2 ⌉ n + 1 2 + 1 ∵n+1>=2(\left \lceil \frac{m}{2} \right \rceil)^{h-1} \\ \\ ∴ h <= log_{\left \lceil \frac{m}{2} \right \rceil}\frac{n+1}{2} + 1 n+1>=2(2m)h1h<=log2m2n+1+1

假设一颗 3 3 3 B B B 树一共有 8 8 8 个关键字,那么其树的高度范围为: 2 < = h < = 3.17 2<=h<=3.17 2<=h<=3.17

3.2 查找操作

前面也说了 B B B 树的每一个结点在内部都是有序排列的,并且结点与结点之间也是有一定关系的,在之前的平衡二叉树中,我们有两条路的分支,但是在 B B B 树的查找中我们需要根据结点的多路分支做决定,那么其实查找操作和前面的平衡二叉树|二叉查找树是一样的啦

  • ①先让查找值和 B B B 树的根节点的第一个关键字比较,若是匹配,则查找成功
  • ②若是匹配不成功继续和后面的关键字匹配,若是找到匹配,则匹配成功
  • ③若是找到一个大于查找值的关键字,那么就需要往这个关键字和前一个关键字之间的分支结点往下搜索,继续重复上面的关键字匹配操作
  • ④若是当前结点最后一个关键字比当前查找的值还小,那么就继续往该结点的最右分支往下继续搜索,重复上面的操作
  • ⑤若是结点查找到了空结点,那么说明查找失败

3.3 插入操作

先通过上面的定位操作定位到一个查找失败的结点,然后检查该节点的父结点的关键字个数,若是关键字个数小于 m − 1 m-1 m1 那么说明可以直接插入到该节点(叶子节点),否则的话插入后会引起结点的分裂,因为要维护平衡的关系

分裂的方法:

  • 取一个新结点,在插入 k e y key key 后的原结点, 从中间位置 ⌈ m 2 ⌉ \left \lceil \frac{m}{2} \right \rceil 2m将其中的关键宇分为两部分
  • 左部分包含的关键宇放在原结点中, 右部分包含的关键宇放到新结点中,中间位置 ⌈ m 2 ⌉ \left \lceil \frac{m}{2} \right \rceil 2m 的结点插入原结点的父结点
  • 若此时导致其父结点的关键字个数也超过了上限,则继续进行这种分裂操作, 直至这个过程传到根结点为止 ,进而导致 B B B 树高度增 1 1 1

例如下面的分裂操作:

在这里插入图片描述
我们可以来观察这个过程:

在这里插入图片描述

实际上就是将 ⌈ m 2 ⌉ \left \lceil \frac{m}{2} \right \rceil 2m 位置的关键字直接变为其左边和右边关键字的父节点,然后因为要往上贡献一个关键字,这可能会导致父节点层分裂,然后继续向上贡献一个关键字,以此类推,直到停止贡献,或者到达根节点,分裂出新的根,比如在上面的插入 52 52 52 后我们再插入 61 、 62 61、62 6162 就会让这棵树的高度拔高一层,流程如下:

在这里插入图片描述

3.4 删除操作

删除操作要更加复杂一点,大体分为两种情况:

3.4.1 删除关键字是非叶子结点

那么我们直接将该结点的前驱(后驱)关键字拿来顶替就行,例如下图删除 80 80 80 的情况在这里插入图片描述

3.4.2 删除关键字是叶子结点

主要分为三种情况:

  • 一、如果删除关键字后该结点的关键字个数仍然大于等于 ⌈ m 2 ⌉ \left \lceil \frac{m}{2} \right \rceil 2m 那么直接删除就完事
  • 二、如果删除关键字后该结点的关键字个数等于 ⌈ m 2 − 1 ⌉ \left \lceil \frac{m}{2}-1 \right \rceil 2m1
    • ①如果兄弟结点够借,即与此结点同一层的临近的右(左)兄弟结点的关键字个数大于等于 ⌈ m 2 ⌉ \left \lceil \frac{m}{2} \right \rceil 2m 那么就可以将父结点的关键字填充到当前结点,然后再将兄弟结点的关键字移到父结点上
      在这里插入图片描述
    • ②如果兄弟结点不够借,即与此结点同一层的临近的右(左)兄弟结点的关键字个数等于 ⌈ m 2 − 1 ⌉ \left \lceil \frac{m}{2} -1\right \rceil 2m1 那么需要将该结结点删除后,和其左兄弟(或者右兄弟)结点以及父结点进行合并操作,若是合并之后超出了关键字的限制,则进行向上分裂操作

我们可以注意到在合并的过程中双亲结点的关键字会减一,那么就会出现下列的情况:

  • 如果双亲结点是根结点,且合并后根节点的关键字个数减少为 0 0 0 , 那么就直接删除该结点,让合并的结点作为新的根节点
  • 如果双亲结点不是根结点,且在合并的过程中关键字个数减少到 ⌈ m 2 − 2 ⌉ \left \lceil \frac{m}{2} -2\right \rceil 2m2 则该结点需要继续和其兄弟结点进行和并,当然若是出现合并后结点关键字个数超过 ⌈ m − 1 ⌉ \left \lceil m -1\right \rceil m1 则需要向上分裂,重复以上的操作,直到满足 B B B 树的要求

四、B+树

B + B+ B+ 树是从 B B B 树改进过来的,他和 B B B 树的主要区别在于:

  • B + B+ B+ 树中保存元素的结点都在叶子结点上, 非叶子结点只起到索引 的作用
  • B + B+ B+ 树的所有叶子结点都通过指针链接起来了
  • B + B+ B+ 树每一个关键字对应一棵子树,假设一个结点最多有 n n n 个关键字,那么其结点只有 n n n 颗子树
  • 一个 m m m B + B+ B+ 树除跟节点外,其余结点的关键字个数 n n n 的范围为 ⌈ m 2 ⌉ < = n < = m \left \lceil \frac{m}{2} \right \rceil<=n<=m 2m<=n<=m ,根节点的关键字区间为: 1 < = n < = m 1<=n<=m 1<=n<=m

一个 m m m 阶的 B + B+ B+ 树满足如下条件:

  • ①每一个分支节点最多有 m m m 颗子树
  • ②非根结点至少有两颗子树,其他每个分支结点至少有 ⌈ m 2 ⌉ \left \lceil \frac{m}{2} \right \rceil 2m 棵子树
  • ③结点的子树个数与关键字个数相等
  • ④叶结点按照关键字升序(降序)排列,且相邻叶结点通过指针链接起来

比如下面就是一颗 B + B+ B+ 树:
在这里插入图片描述

为什么B+树的叶子节点要用指针连接起来?
这个是和业务场景有关的。 B + B+ B+ 树常用来保存数据库索引,数据库select数据,不一定只选一条,很多时候会选多条。如果选多条的话, B B B 树需要进行局部的中序遍历,才能获取到所有符合条件的元素,而且很可能要跨层访问。而 B + B+ B+ 树因为所有元素都在叶子节点上,且不同子树的叶子节点已经用指针连接起来了,当需要选择多条数据时, B + B+ B+ 树就会有很大的优势。

五、应用

B+树主要用于 磁盘IO 的读取,数据库的索引

众所周知磁盘 I O IO IO 的读取相比 C P U CPU CPU 的处理是非常慢的,所以我们需要尽可能一次性多读取一些数据到内存,然后进行处理,那么我们就希望尽可能减少文件树的高度,但是并不是越低越好,因为假如这颗 B + B+ B+ 树的关键字就等于所有的元素树,那么就变成了一个线性表了,反而会拖慢检索时间,并且我们磁盘每次的读写是由一定限制的,一般磁盘块和页内存都是 4 k b 4kb 4kb

磁盘有预读机制,每次读的时候都是加载一个磁盘页到内存里面,所以我们的每一个结点关键字的总大小应该是尽可能的贴近磁盘页的大小,这样以来可以达到最好的读写效率也充分的利用了磁盘cache的预读机制

参考文章:

  • 【经典数据结构】B树与B+树的解释:https://www.cnblogs.com/makai/p/10861296.html
  • B-树木(B树)和B+树:https://www.cnblogs.com/xuechengmeigui/p/13500628.html
  • 深入理解什么是B+树:https://cloud.tencent.com/developer/article/1425602

相关文章:

  • 【02】Camunda系列-扩展案例-用户任务、网关、决策自动化
  • J. Counting Trees (树,卡特兰数)
  • 77-Java的Set系列集合、Collection体系的总结
  • this指哪去了
  • 算法----二维区域和检索 - 矩阵不可变(Kotlin)
  • 向Visual Studio Code导入ST项目
  • ES6转为ES5 AST
  • 二分法查找方法
  • UE5物体旋转(蓝图版)
  • 【网络安全】SQL注入专题讲解
  • unordered_set、unordered_map的介绍+使用+比较
  • Leetcode139. 单词拆分
  • DRM系列(9)之drm_atomic_helper_commit
  • Unity入门03——Unity脚本
  • finally执行语句的注意和小陷阱
  • java8 Stream Pipelines 浅析
  • javascript面向对象之创建对象
  • macOS 中 shell 创建文件夹及文件并 VS Code 打开
  • Meteor的表单提交:Form
  • Redis字符串类型内部编码剖析
  • SQLServer插入数据
  • 纯 javascript 半自动式下滑一定高度,导航栏固定
  • 机器学习学习笔记一
  • 看完九篇字体系列的文章,你还觉得我是在说字体?
  • 普通函数和构造函数的区别
  • 前端设计模式
  • 实习面试笔记
  • 实战:基于Spring Boot快速开发RESTful风格API接口
  • 数组的操作
  • const的用法,特别是用在函数前面与后面的区别
  • 智能情侣枕Pillow Talk,倾听彼此的心跳
  • $.ajax()方法详解
  • (+4)2.2UML建模图
  • (java)关于Thread的挂起和恢复
  • (TOJ2804)Even? Odd?
  • (附源码)python房屋租赁管理系统 毕业设计 745613
  • (六)库存超卖案例实战——使用mysql分布式锁解决“超卖”问题
  • (每日持续更新)信息系统项目管理(第四版)(高级项目管理)考试重点整理 第13章 项目资源管理(七)
  • (亲测成功)在centos7.5上安装kvm,通过VNC远程连接并创建多台ubuntu虚拟机(ubuntu server版本)...
  • (三)终结任务
  • (算法)求1到1亿间的质数或素数
  • .NET CF命令行调试器MDbg入门(四) Attaching to Processes
  • .Net CF下精确的计时器
  • .net CHARTING图表控件下载地址
  • .net core控制台应用程序初识
  • .Net MVC4 上传大文件,并保存表单
  • .net 开发怎么实现前后端分离_前后端分离:分离式开发和一体式发布
  • .net 验证控件和javaScript的冲突问题
  • .net 中viewstate的原理和使用
  • .NET4.0并行计算技术基础(1)
  • .net6使用Sejil可视化日志
  • .net操作Excel出错解决
  • .net程序集学习心得
  • .NET开源项目介绍及资源推荐:数据持久层 (微软MVP写作)
  • /proc/vmstat 详解