红黑树关键算法研究.docVIP

红黑树关键算法研究 　　摘要：研究了红黑树关键算法，包括节点的插入、节点删除和算法时间复杂度。Linux内核中的用户态地址空间管理使用了红黑树(red-black tree)这种数据结构，这对研究内核的工作者来说可以提供一定的帮助。 　　关键词：红黑树；二叉树；节点 　　中图分类号：TP312文献标识码：A文章编号：1009-3044(2011)30-7425-02 　　Key Red-black Tree Algorithm 　　MA Guo-fu, ZHANG Han 　　(Computer Science and Information Engineering, Anyang Institute of Technology, Anyang 455000, China) 　　Abstract: This paper studies the key algorithm of the red-black tree, including node insertion, node deletion and algorithm complexity. Linux kernel inner-user-mode address-space management takes use of the red-black tree (red-black tree) data structure, which can provide some help to the study of workers on inner core. 　　Key words: red-black tree; binary tree; node 　　红黑树是一种平衡二叉查找树的变体，它的左右子树高差有可能大于1，所以红黑树不是严格意义上的平衡二叉树（AVL），但对之进行平衡的代价较低，其平均统计性能要强于AVL[1]。红黑树的每个节点的属性除了有一个key和3个指针：parent、lchild、rchild外，还有一个属性：color：红或黑。与大多数二叉查找树一样，红黑树中较小的键值也是在左子树保存。红黑树除了具有二叉查找树所有性质外，还具有以下5点性质①节点是红色或黑色。②根是黑色。③所有叶子都是黑色（叶子是NUIL节点）。④每个红色节点的两个子节点都是黑色（从每个叶子到根的所有路径上不能有两个连续的红色节点）。⑤从任一个节点到其每个叶子的所有路径都包含相同数目的黑色节点。 　　因为红黑树是一种特化的二叉查找树，所以红黑树上的只读操行与普通二叉查找树相同。然而，在红黑树上进行插入和删除操作会导致其不再符合红黑树的性质，这就需要对相关节点进行一系列的调整以保持红黑树的性质。下面将分别给出红黑树节点的删除和插入算法。在红黑树的删除、插入算法中，要用到很多左旋（Left-Rotate）和右旋（Right-Rotate）操作。所谓Left-Rotate(x)就是把节点节点x向左下方向移动一格，然后让x原来的右子节点代替它的位置，而Right-Rotate(y)就是Left-Rotate(x)的逆操作，其操作过程如图1所示（节点x、y可以出现于树中的任何位置，字母a、b、c表示任意子树）。 　　1 节点插入算法 　　插入过程首先是根据一般二叉查找树的插入步骤，把新节点z插入到某个叶节点的位置上，然后将z着为红色。为了保证红黑树的性质能继续保持，再对有关节点重点着色并旋转，其插入算法如下： 　　RB-INSERT (T,z) { 　　1 按二叉查找树的插入步骤将节点z插入到T中； 　　2 color[z]=RED； 　　3 while(z不是根节点color[z-parent]= =RED) {Insert-Fixup(T,z);} 　　4 color[root[T]]=BLACK； 　　} 　　对上述算法分析，如果新插入的是黑色节点，那么它所在的路径上就多出一个黑色的节点，所以新插入的节点一定要设成红色。但是如果z的父节点也是红色，这就违反了每个红色节点的两个子节点都黑色的性质。因此要执行一个迭代的Insert-Fixup(T,z)过程，来修补这棵红黑树。 　　为了表述方便，这里称z-parent-parent为z的grandfather，z的兄弟节点为uncle；并且假设z-parent是z-parent-parent的左子节点，而uncle是grandfather的右子节点（如果遇到的实际情况不是这样，只需把所有操作中的左、右互反就可以了）。每一次迭代开始，在Insert-Fixup(T,z)中指针z一定指向一个红色的节点。如果z-parent是黑色，表示修补完成，退出迭代；如果z-parent是红色，那么在不破坏红黑树其它性质的基