二叉查找树--红黑树

一、红黑树的性质

红黑树是一棵二叉查找树，它在每个结点上增加了一个存储位来表示结点的颜色，可以是RED或BLACK。通过对任何一条从根到叶子的简单路径上各个结点的颜色进行约束，红黑树确保没有一条路径会比其他路径长出2倍，因而是近乎于平衡的。
树中每个结点包含5个属性：color、key、left、right和p。如果一个结点没有子结点或者父结点，则该结点相应指针属性的值为NIL。我们可以把这些NIL视为指向二叉搜索树的叶结点(外部结点)的指针，而把关键字的结点视为树的内部结点。
一棵红黑树是满足下面红黑性质的二叉搜索树：
(1)每个结点是红色的，或是黑色的
(2)根节点是黑色的；
(3)每个叶节点(NIL)是黑色的
(4)如果一个节点是红色的，则它的两个子结点都是黑色的
(5)对每个结点，从该结点到其所有后代叶节点的简单路径上，均包含相同数目的黑色结点。

二、旋转

搜索树操作插入和删除咋含有n个关键字的红黑树上，运行花费时间为O(lgn)。由于这两个操作对树做了修改，结果可能违反了红黑树的性质，因此要改变树中某些结点的颜色以及指针结构。
指针结构的修改是通过旋转来完成的，这是一种能保持二叉搜索树性质的搜索树局部操作。

旋转操作保持了二叉搜索树的性质：a的关键字在X.key之前，X.key在B的关键字之前，B的关键字在Y.key之前，Y.key在y的关键字之前。