数据结构红黑树知识点

红黑树简介：

　　红黑树是一棵二叉搜索树，它在每个结点上增加了一个存储位来表示结点的颜色，可以是RED 或 BLACK。通过对任何一条根到叶子的简单路径上各个结点的颜色进行约束，红黑树确保没有一条路径回避其他路径长处2倍，因而是近似平衡的。

　　树的每个结点包含 5 个属性：color，key，left，right和p。如果一个结点没有子结点或者父结点，则该结点相应的指针属性的值为NULL。我们可以把这些NULL视为指向二叉搜索树叶结点的指针，而把带关键字的结点视为树的内部结点。

红黑树的性质：

　　一棵红黑树是满足下面红黑性质的二叉搜索树：

　　1.每个结点或是红色的，或是黑色的

　　2.根节点是黑色的

　　3.每个叶结点(NULL)是黑色的

　　4.如果一个结点是红色的，那么他的两个子结点都是黑色的

　　5.对于每个结点，从该结点到其所有后代叶结点的简单路径上，包含相同数目的黑色结点

　　这 5 个性质中1,2,4都比较好理解。3与我们常说的(大部分数据结构书上说的)叶结点有一点点区别，如下图：

　　

那性质5又是什么意思呢？我们再来看一个图：

　　

　　由红黑树的 5 个性质可知，上幅图中左图是红黑树，而右图非红黑树。右图中满足红黑树的性质1.2.3.4，但是不满足性质5：从根节点6(不包括根节点)到各叶结点的简单路径上的黑色黑色结点个数并不相等。例如：6-1有2个，而6-8和6-10都是有三个。

　　这些约束强制了红黑树的关键性质: 从根到叶子的最长的可能路径不多于最短的可能路径的两倍长。结果是这个树大致上是平衡的。因为操作比如插入、删除和查找某个值的最坏情况时间都要求与树的高度成比例，这个在高度上的理论上限允许红黑树在最坏情况下都是高效的，而不同于普通的二叉查找树。

要知道为什么这些特性确保了这个结果，注意到属性4导致了路径不能有两个毗连的红色节点就足够了。最短的可能路径都是黑色节点，最长的可能路径有交替的红色和黑色节点。因为根据属性5所有最长的路径都有相同数目的黑色节点，这就表明了没有路径能多于任何其他路径的两倍长。

在很多树数据结构的表示中，一个节点有可能只有一个子节点，而叶子节点包含数据。用这种范例表示红黑树是可能的，但是这会改变一些属性并使算法复杂。为此，本文中我们使用 "nil 叶子" 或"空(null)叶子"，如上图所示，它不包含数据而只充当树在此结束的指示。这些节点在绘图中经常被省略，导致了这些树好像同上述原则相矛盾，而实际上不是这样。与此有关的结论是所有节点都有两个子节点，尽管其中的一个或两个可能是空叶子。