树的相关术语
二叉树和二叉搜索树
二叉树中的节点最多只能有两个子节点:一个是左侧子节点,另一个是右侧子节点。
二叉搜索树(BST)是二叉树的一种,但是只允许你在左侧节点存储(比父节点)小的值, 在右侧节点存储(比父节点)大的值。
创建 BinarySearchTree 类
1 | class Node { |
树的遍历
访问树的所有节点有三种方式:中序、先序、后序。
中序遍历
中序遍历是一种以上行顺序访问 BST 所有节点的遍历方式,也就是以从最小到最大的顺序访问所有节点。
中序遍历的一种应用就是对树进行排序操作。
1 | inOrderTraverse(callback) { |
先序遍历
先序遍历是以优先于后代节点的顺序访问每个节点的。先序遍历的一种应用是打印一个结构化的文档。
1 | preOrderTraverse(callback) { |
后序遍历
后序遍历则是先访问节点的后代节点,再访问节点本身。后序遍历的一种应用是计算一个目录及其子目录中所有文件所占空间的大小。
1 | postOrderTraverse(callback) { |
搜索树中的值
在树中,有三种经常执行的搜索类型:
- 搜索最小值
- 搜索最大值
- 搜索特定的值
搜索最大值和最小值
1 | min() { |
搜索一个特定的值
1 | search(key) { |
移除一个节点
1 | remove(key) { |
自平衡树
AVL树是一种自平衡二叉搜索树,意思是任何一个节点左右两侧子树的高度之差最多为 1。
Adelson-Velskii-Landi 树(AVL 树)
AVL树是一种自平衡树。添加或移除节点时,AVL 树会尝试保持自平衡。任意一个节点(不论深度)的左子树和右子树高度最多相差1。添加或移除节点时,AVL 树会尽可能尝试转换为完全树。
节点的高度和平衡因子
节点的高度:从节点到其任意子节点的边的最大值。如图:
1 | getNodeHeight(node) { |
计算一个节点的平衡因子并返回其值的代码:
1 | const BalanceFactor = { |
平衡操作——AVL旋转
向 AVL 树插入节点时,可以执行单旋转或双旋转两种平衡操作,分别对应四种场景。
- 左-左(LL):向右的单旋转
- 右-右(RR):向左的单旋转
- 左-右(LR):向右的双旋转(先LL旋转,再RR旋转)
- 右-左(RL):向左的双旋转(先RR旋转,再LL旋转)
左-左(LL):向右的单旋转
这种情况出现于节点的左侧子节点的高度大于右侧子节点的高度时,并且左侧子节点也是平衡或左侧较重的,如下图所示:
1 | rotationLL(node) { |
右-右(RR):向左的单旋转
它出现于右侧子节点的高度大于左侧子节点的高度,并且右侧子节点也是平衡或右侧较重的,如下图所示:
1 | rotationRR(node) { |
左-右(LR):向右的双旋转
左侧子节点的高度大于右侧子节点的高度,并且左侧子节点右侧较重。在这种情况下,我们可以对左侧子节点进行左旋转来修复,这样会形成左左的情况,然后再对不平衡的节点进行一个右旋转来修复,如下图所示:
基本上,先做一次LL旋转,再做一次RR旋转
1 | rotationLR(node) { |
右-左(RL):向左的双旋转
右侧子节点的高度大于左侧子节点的高度,并且右侧子节点左侧较重。在这种情况下我们可以对右侧子节点进行右旋转来修复,这样会 形成右-右的情况,然后我们再对不平衡的节点进行一个左旋转来修复,如下图所示。
基本上,先做一次RR旋转,在做一次LL旋转
1 | rotationRL(node) { |
向AVL树插入节点
插入树后还需验证是否平衡,如果不是,需要进行必要的旋转操作
1 | insert(key) { |
从AVL树中移除节点
1 | removeNode(node, key) { |
红黑树
红黑树也是一个自平衡二叉搜索树。
红黑树适用于多次插入和删除。
在红黑树中,每个节点都遵循以下规则:
- 每个节点不是红的就黑的
- 树的根节点树黑的
- 所有叶节点都是黑的(用NULL引用表示的节点)
- 如果一个节点是红的,那么它的两个子节点都是黑的
- 不能有两个相邻的红节点,一个红节点不能有红的父节点或子节点
- 从给定的节点到它的后代节点(NULL叶节点)的所有路径包含相同数量的黑色节点
1 | class RedBlackNode extends Node { |
在插入节点后验证红黑树属性
要验证红黑树是否还是平衡的以及满足它的所有要求,我们需要使用两个概念:
- 重新填色
- 旋转
在节点的叔节点颜色为黑时,也就是说仅仅重新填色是不够的,树是不平衡的,那么我们需要进行旋转操作。
- 左-左(LL):父节点是祖父节点的左侧子节点,节点是父节点的右侧子节点(情形 2A)
- 左-右(LR):父节点是祖父节点的左侧子节点,节点是父节点的左侧子节点(情形 3A)
- 右-右(RR):父节点是祖父节点的右侧子节点,节点是父节点的左侧子节点(情形 2B)
- 右-左(RL):父节点是祖父节点的右侧子节点,节点是父节点的右侧子节点(情形 3B)
情形2A:
情形2A进行左旋转后会变成情形3A:
情形3A:
情形2B:
情形3B:
1 | fixTreeProperties(node) { |
红黑树旋转
在插入算法中,我们只使用了右右旋转和左左旋转。逻辑和 AVL 树是一样,但是,由于我们保存了父节点的引用,需要将引用更新为旋转后的新父节点
1 | rotationLL(node) { |