前提具备知识
二叉查找树
二叉查找树 一棵二叉查找树是一棵二叉树,每个节点都含有一个Comparable的键(以及对应的值)。
每个节点的键都大于左子树中任意节点的键而小于右子树中任意节点的键。
平衡二叉树
平衡二叉树(Balanced Binary Tree)又被称为AVL树(有别于AVL算法),且具有以下性质:它是一 棵空树或它的左右两个子树的高度差的绝对值不超过1,并且左右两个子树都是一棵平衡二叉树。这个方案很好的解决了二叉查找树退化成链表的问题,把插入,查找,删除的时间复杂度最好情况和最坏情况都维持在O(logN)。但是频繁旋转会使插入和删除牺牲掉O(logN)左右的时间,不过相对二叉查找树来说,时间上稳定了很多
红黑树
红黑树定义和性质
红黑树是一种含有红黑结点并能自平衡的二叉查找树。它必须满足下面性质:
性质1:每个节点要么是黑色,要么是红色。
性质2:根节点是黑色。
性质3:每个叶子节点(NIL)是黑色。
性质4:每个红色结点的两个子结点一定都是黑色。
性质5:任意一结点到每个叶子结点的路径都包含数量相同的黑结点。
红黑树的基本操作(一) 左旋和右旋
1. 左旋
2. 右旋
红黑树的基本操作(二) 添加
- 查找插入的位置:插入节点的颜色必须是红色,插入黑色节点会破坏平衡
- 插入后自平衡
(1) 情景1:红黑树为空树
- 将插入节点作为根节点,然后将根节点设置为黑色
(2) 情景2:插入点的key已存在
- 替换原节点的value值
(3) 情景3:插入节点的父节点是黑节点
- 直接插入,不会影响自平衡
(4) 情景4:插入节点的父节点是红节点
根据性质2:父节点为红色一定不是根节点;根据性质4:爷节点肯定是黑色。
情景4.1:叔叔节点存在,且为红色
-
将父节点P和叔节点U改为黑色
-
爷节点PP改为红色。
-
进行后续处理:
-
- 如果PP的父节点是黑色,则无需处理
- 如果PP的父节点是红色,将PP设为当前插入节点,继续做自平衡处理
情景4.2:叔节点不存在或为黑节点,且插入节点的父节点是爷节点的左孩子
注意:叔叔节点应该非红即空,否则破坏性质5
情景4.2.1:插入节点是父节点的左孩子(LL双红情况)
- 将父节点P设为黑色,将爷节点PP设为红色
- 对爷节点PP进行右旋
情景4.2.1:插入节点是父节点的右孩子(LR双红情况)
- 对父节点P进行左旋
- 将P设为当前节点,得到LL双红情况
- 将I设为黑色,将爷节点PP设为红色
- 对爷节点PP进行右旋
情景4.3:叔叔节点不存在或为黑节点,且插入节点的父节点是爷节点的右孩子
对应情景4.2,只是方向相反
情景4.3.1:插入节点是父节点的右孩子(RR双红情况)
- 父节点P设为黑色,爷节点PP设为红色
- 对爷节点PP进行左旋
情景4.3.2:插入节点是父节点的左孩子(LR双红)
- 对父节点p进行右旋
- 将P节点作为当前节点,得到RR双红情况
- 把I设为黑色,爷节点PP设为红色
- 对爷节点PP进行左旋