参考:
《算法导论》
红黑树是一棵二叉搜索树,每个节点有一个标志位表示颜色,该颜色可以是红(RED)或黑(BLACK)。通过对任何一条从根到叶子的简单路径上各点的颜色进行约束,就能确保没有一条路径会比其他路径长出2倍,因而是近似于平衡的。
红黑树每个节点有5个属性,color,key,leftChild,rightChild,p。其中color是颜色,key是关键字,leftChild是指向左孩子的指针,rightChild是指向右孩子的指针,p是指向父节点的指针。如果一个节点没有子节点或父节点,则该节点的leftChild,rightChild,p指针指向NIL。这些NIL视为二叉搜索树的外部节点,其他节点为内部节点。
一棵红黑树有如下性质:
(1)每个节点或是红色,或是黑色;
(2)根节点是黑色的;
(3)每个叶节点(NIL节点)是黑色的;
(4)如果一个节点是红色的,则它的两个子节点都是黑色的;
(5)对每个节点,从该节点到其所有后代叶节点的简单路径上,均包含相同数目的黑色节点。
如图(a)为一棵红黑树;
我们可以把NIL看成哨兵T.nil,它的color是黑色,其他属性任意。如图(b);
左旋
指针结构的修改是通过旋转来完成的,这时一种能保持二叉搜索树性质的操作。旋转有左旋和右旋两个,左旋操作为:
如图,对x作左旋操作。假设x的右孩子为y(不是NIL),x可以是任何右孩子不为NIL的内部节点,简单理解为:
以x为中心向左旋转,交换x,y;α,β,γ顺序不变。其中还要注意,每个节点还有指向父节点指针。
动图