红黑树的删除
普通二叉查找树的删除
我们知道红黑树树也是一种二叉查找树,那么普通的二叉查找树的删除必然是红黑树删除的基础。但是红黑树的删除要在普通删除的基础上进行相应的调整,因为红黑树有自己必须要满足的5种性质,普通的删除可能会破坏原本红黑树的一些性质,那么就需要进行相应的调整。那么我们首先来回顾一下普通的删除到底是怎么操作的。大致思路就是找到要删除的节点然后对它进行删除操作。 对于要删除的节点主要分为三种情况:
- 要删除的节点是叶子节点
- 要删除的节点只有一个孩子
- 要删除的节点有两个孩子
为了说明该怎么删除,我们不妨举个例子,如图1、5、7、13、15、16、19、23序列构成的一个二叉排序树如下图所示:
情况1
对于情况1而言,操作很简单,直接将它删除就好了。例如删除例子中的节点1
情况2
对于情况2而言,实际删除的是要删除节点的后继节点而非要删除的节点,操作分为两步:
- 将其孩子节点,放到当前节点的位置
- 删除当前节点
就以删除例子中的节点7为例。在例子中节点7只有一个孩子就是节点5。
情况3
对于情况3而言,我们就去当前节点的后继节点。由于二叉排序树本身的性质,其后继节点一定满足情况1或者情况2。于是我们进行如下操作:
- 找到要删除节点的后继节点并将后继节点的内容写到要删除的节点上
- 对后继节点进行删除操作(情况1或是情况2)
以删除例子中的节点13为例。
红黑树的删除
对于红黑树而言,要删除一个节点就要在普通的二叉排序树的删除的基础上,然后对删除后的二叉树进行调整以满足红黑树的5种特性。我们先来回顾一下红黑树的5个特性:
- 每个节点或者是黑色、或者是红色。
- 根节点的颜色是黑色。
- 每个叶子节点是黑色。(这里的叶子节点是为空NIL的叶子节点)
- 如果节点是红色的,那么他的子节点必是黑色的。
- 从一个节点到该节点下的叶子节点的所有路径上包含相同数目的黑色节点。
从之前我们回顾的二叉排序树的删除可以看出来,最后删除的节点肯定会是情况1和情况2。这里我们规定在情况1即删除的节点是叶子节点时,我们以一个空节点放到要删除节点的位置,这样情况1就变成了情况2。以下我们都是在删除的情况2的的基础上讨论。
我们以被删除的节点的孩子节点(实际上就是顶替在被删除节点的位置的节点)为当前节点进行调整。我们任然为这些节点设置一些代号。
- 被删除的节点是D。
- 当前节点为N。
- 当前节点N的父节点为F。
- 当前节点N的兄弟节点为B。
- B的左孩子为LB。
- B的右孩子为RB。
**值得注意的是在删除操作中我们不将NIL看成是一个节点。**删除后的二叉树至少满足1和3两条特性。(这颗二叉树中的任意一个空指针都会志向一个NIL叶子)
首先我们讨论一下最终要删除的节点D对结果的影响进行讨论。
D是红色的
如果D是红色的,那么删除D以后特性4和特性5都不会被打破。这种情况下操作就变得特别容易,只需要调整使得特性2满足就行了。如果删除D以后N变成了根节点,那么只要将N设置为黑色就行了。如果N不是根节点,那么什么都不用做此时的二叉树任然是一个红黑树。
D是黑色的
如果D是黑色的,那么删除D以后特性4和特性5都会被打破,这时就比较麻烦,我们需要对删除后的二叉树进行一些调整使其任然是一颗红黑树。**为了方便之后的调整,我们做这样一件事情——允许N拥有额外的黑色(继承于D)。**这样我们就保证在调整的过程中始终满足特性5。同时由于N带有一个额外的黑色因此绝不会破坏特性4和特性2。也就是说通过此特殊处理此二叉树满足红黑树的所有特性,我们的任务就是消解这个额外的黑色。
下面是调整的流程图,其中具体的情况和操作请于之后的内容相对应。
在讨论之前我需要对一下操作图中的一些符号进行解释:
1、N是根节点
这时只要保留N上的黑色以满足特性2,就完成了调整。
2-1、N是红色的
同样,这时只要保留N上的黑色(特性2、4、5都不会被破坏),就能够完成调整。
2-2、N是黑色的
N的位置有两种情况,要么他是F的左孩子,要们就是F的右孩子。两种位置下的操作是相似的,只要理解一种情况的解决方法就能够很轻松的类比出另外一种的方法。下面我会用操作图的形式向大家说明。(我会在不同的情况后面加上左右以区分N相对于F为位置,大家可以先看N在F左边的情况再类比出N在F右边的情况)。
2-2-1左、N黑B红
这种情况下操作的主要思想就是把N的兄弟B变成黑色,这样就变成了2-2-2~2-2-4所表示的情况,然后再进一步做调整。
2-2-1右、N黑B红
2-2-2左、N黑B黑LB黑RB黑
这种方法的思想就是将额外的黑色向上移动,然后以F为新的N重新进行调整。向上移动的过程中可能额外的黑色在中间的调整中就会被消解。如果在过程中都没有被消解,那么额外的黑色也会被传递到根节点从而被消解。
2-2-2右、N黑B黑LB黑RB黑
2-2-3左、N黑B黑LB红RB黑
这种情况下处理思想是将其转化为2-2-4的情况,然后再进一步调整。因为这种情况本身无法处理额外的黑色,需要对其做一定的转变。
2-2-3右、N黑B黑RB红LB黑
2-2-4左、N黑B黑RB红
这种情况的非常好的,因为只要做一些旋转和变色的操作就能够消解掉额外的黑色,调整也就完成了。