数据结构——红黑树的删除节点操作

1. 红黑树的删除操作过程分析

    1. 首先看一下普通搜索二叉树的删除操作，普通搜索二叉树删除结点找替代结点有3种情情景：

• 情景1：删除结点无子结点，直接删除
• 情景2：删除结点只有一个子结点
• 情景3：删除结点有两个子结点

在这里有一个重要的思路：删除结点被替代后，在不考虑结点的键值的情况下，对于树来说，可以认为删除的是替代结点。

基于此，上面所说的3种二叉树的删除情景可以相互转换并且最终都是转换为情景1。

• 对于情景2：删除结点用其唯一的子结点替换，子结点替换为删除结点后，直接删除
• 对于情景3：删除结点用其子树中大于该节点的最小节点（该节点一定不存在左子节点）进行替换，如果替换节点有右子结点，那么相当于转换为情景2，否则转为为情景1。

所以，删除操作删除的结点可以看作删除替代结点，而替代结点最后总是在树末（找到的替代节点一定是树末节点，树末节点指的是子节点有一个为NIL的节点），红黑树也一样。

    2. 红黑树中删除节点时可能的情景：与普通搜索二叉树中删除节点不同，每当删除一个红黑树节点，就必须对红黑树进行平衡，但是删除红色树末节点一定是不影响平衡的。要明确一点，找到的替代节点一定是树末节点，也就是替代节点的左子节点一定为NIL节点，或左右子节点全为NIL节点。可能情景如下

（1）替换节点是红色的：替换节点是红色的，删除后不影响红黑树平衡，所以直接替换删除即可。

（2）替换节点是黑色的，但其有一个子节点，该节点是红色右子节点，右子节点也不可能是黑色（不可能是红色左子节点）：将右子节点改为黑色，再用右子节点顶替替换节点即可。

——>

（3）替换节点是黑色的，无子节点，而且是其父节点的左子节点，而且替换节点的兄弟节点是红色的：替换节点的兄弟节点是红色那么父节点一定是黑色，兄弟节点一定具有左右黑色子节点，而且是最底层节点。此时所需要做的就是将情景转化为情景1，思考一下如何在保证这部分子树红黑树性质的情况下，将R节点（替换节点）转化为红色节点。其实很简单，首先将S与P节点进行颜色互换，然后将S与P节点进行左旋操作，如下图所示；转换完成后，是否可以直接将P节点换为黑色节点，R与SL换为红色呢？这样就可以直接删除R节点了，如果SL节点无子节点那确实可以，但如果有子节点，那一定是红色子节点，如果SL节点换为红色就会违反红黑树性质。那么这种情况该如何处理呢？这时的情况就跳转到了情况4进行解决

——>——>

（4）替换节点是黑色，无子节点，而且是其红色父节点的左子节点，而且替换节点的兄弟节点是黑色的（兄弟节点下一定只有0-2个红色子节点）：先直接将P节点与S节点进行一次左旋操作，保持节点颜色不变； 然后就可以直接删除替换节点R了； 如果S节点有红色左子节点，就很熟悉了，这正是红黑树的节点插入场景，将SL节点作为插入节点看待，进行一次插入操作的平衡即可。而其有没有红色右子节点就无所谓了。如下图所示

——>——>

（5）替换节点R是黑色，无子节点，而且是其黑色父节点的左子节点，而且替换节点的兄弟节点是黑色的（兄弟节点下一定只有0-2个红色子节点）：

如果兄弟节点含有左子节点或右子节点都还简单，如果只要通过变换保证S节点位置的节点有右子节点（如果只有左子节点SL，就将SL与S节点进行颜色互换，然后右旋，将S变为SL的右子节点即可；如果S节点本身就有右子节点就不需要变换了），然后对兄弟节点和父节点进行左旋处理，再对SR节点改为黑色就可以删除R节点了，如下图所示

对S节点和P节点左旋操作——>改色，删除R节点——>

将S和SL节点换色，然后右旋——>再对SL节点和P节点左旋操作并将S节点改为黑色即可删除R节点

（6）替换节点R是黑色，无子节点，而且是其黑色父节点的左子节点，而且替换节点的兄弟节点是黑色的，且都无子节点：此时对这三个节点无论怎样变换都无法在删除R节点后让树平衡，所以此时需要向上探索保持平衡，也就是将P节点视作R节点向上平衡（所谓将P节点视作R节点也就是将不在乎P节点的左右子节点，就当做这是要被替换删除的一个树末节点，然后向上重新平衡），但并不是要删除P节点，而是通过一层层向上调整（向上调整也就是将P节点是为要被删除的节点，判断其为3,4,5,6中的哪一种情况，如果是3，4，5情况就可以直接调整平衡，但如果是情况6则继续向上一层调整）来重新让树达到平衡，达到平衡后在删除R节点

 

（7）对于替换节点是右子节点的问题，其实与上面操作相反就行了，而且实际上当替换节点是右子节点的情况下，其父节点就是删除节点。（想一想查找大于删除节点的最小节点查找算法，可以思考一下为什么）。

2. 具体实现代码

（情况太复杂，我也懒得实现了，网上有很多，但可能部分逻辑思想不太相同）

 

总结一下，实际上红黑树的具体实现，我们并不是一定要自己能把实现代码全部敲出来，很复杂，而且问题是你敲出来之后没有办法或者说很难通过调试来验证你的实现代码是否完全正确（其节点变化过程很难可视化的呈现）。但是我们必须要记住红黑树的5个性质，知道如何通过左旋与右旋来保持在删除插入时保证不违反这5个性质，如果强一点就记住典型的左节点情形的插入删除操作即可，右节点的情况是刚好相反的。

不用担心面试官会问红黑树具体实现代码，他要问你这个，直接说几种典型情况或者只说红黑树5个性质就行，如果非要你写实现代码直接不会，等到了后面他说“你还有没有什么要问的”的时候，你把这个问题反问他，你看看他能不能写出来。

转载于:https://my.oschina.net/ProgramerLife/blog/3082365