Chapter11 搜索树-红黑树-B-树.ppt

数据结构与算法 Chapter11 搜索树 内容提要 11.1 二叉搜索树 11.2 AVL树 11.3 红黑树 11.4 B-树 11.5 应用 补充：扩充二叉树 增加了外部节点，用于替代树中的空子树。 1、红黑树定义 Red-Black tree, 简称RB-Tree； 它是在1972年由鲁道夫·贝尔发明的，他称之为“对称二叉B树”，它现代的名字是在 Leo J. Guibas 和 Robert Sedgewick 于1978年写的一篇论文中获得的； 特点： 利用对树中的结点 “红黑着色”的要求，降低了平衡性的条件，达到局部平衡， 有着良好的最坏情况运行时间，它可以在O(logn)时间内做查找，插入和删除，这里的n是树中元素的数目。 红黑树的应用 典型的用途是：关联数组； C++ STL中的关联式容器：集合set、多重集合multiset、映射map、多重映射multimap等均采用了红黑树的变体； setint s; mapint, strings 在Linux内核中，用于组织虚拟区间的数据结构也是红黑树； 代码参见： linux/include/linux/rbtree.h linux/lib/rbtree.c 红黑树的定义 平衡的扩充二叉搜索树，满足下面条件： 颜色特征：每个结点为“黑色”或“红色”； 根特征：根结点永远是“黑色”的； 外部特征：扩充外部叶结点都是空的“黑色”结点； 内部特征：“红色”结点的两个子结点都是“黑色”的，即：不允许两个连续的红色结点； 深度特征：对于每个结点，从该结点到其所有子孙叶结点的路径中所包含的黑色结点数量必须相同。 红黑树示例 红黑树结点定义示例 typedef int key_t; typedef int data_t; typedef enum color_t { RED = 0, BLACK = 1 }color_t; 2、红黑树性质 结点的阶(Rank)：平衡性指标 从该结点到其子树中任意外部结点的任一条路径上的黑色结点的数量 不包括该结点本身，包括叶结点！ 外部结点的阶为零 根结点的阶：树的阶 红黑树性质 设r是红黑树的阶，h是红黑树的高度（不包括外部结点），n是内部节点的个数 性质1：r ≤ h ≤ 2r 性质2：n ≥ 2r-1，最少是满二叉树 性质3：h ≤ 2log2(n+1) 结论： 红黑树搜索、插入、删除的时间复杂度为O(logn) 3、红黑树的插入 先调用BST的插入算法 把新结点着色为红色 若父节点是黑色，则算法结束 否则，进行“双红调整” 【叔父节点】指一个节点的父节点的兄弟节点 双红调整的情况 叔父节点是黑色：XYb， 需要旋转或重构 每个结点的阶保持原值，调整完成 叔父节点是红色：XYr， 需要换色 换色后继续检查平衡！ 针对XYb的调整：旋转 四种情况：LLb、RRb 、LRb、RLb 针对XYr的调整：换色 四种情况：LLr、RRr 、LRr、RLr 以LLr为例：父祖换色 换色调整示例 插入4：首先调用BST的插入算法， 换色调整示例（1） 换色调整示例（2） 插入代码描述 使用BST插入算法，插入新结点z 把z标记为红色 While doubleRed(z) if isBlack(sibling(parent(z))) z←restructure(z) return else {sibling(parent(z) is red } z←recolor(z) 4、红黑树的删除 先调用BST的删除算法 如果被删除的结点有一个或两个外部叶结点，则直接删除，算法结束 如果有两个非叶子结点，则在右子树中寻找最小值结点（即其后续结点），与该结点进行值交换（颜色不变） 然后调用删除结点算法，直到转换为有一个或两个外部叶结点的情况，再进行删除 删除节点算法 待删除结点有两个外部结点， 直接把该结点变为叶结点 若该结点是红色，则算法结束 若该结点是黑色，删除后红黑树不平衡！“双黑” 待删除结点有一个外部结点 可知：如果该节点是黑色，其非空子节点为红色 将其子节点提升到该结点位置，颜色变黑 双黑结点调整算法 结点删除后，问题是： 解决“双黑”结点现象 讨论前提：双黑结点是待删结点的左子节点（右子节点对称处理即可） 有三种情况： 双黑结点的兄弟结点是黑色，且子结点有红色 双黑结点的兄弟结点是黑色，且有两个黑色子结点 双黑结点的兄弟结点是红色 情况1：第一种 双黑结点与其红色侄子“八字形外撇” 解决方法：单旋转 将兄弟结点C提上去 C继承原来父节点B的颜色 把B着为黑色，D着为黑色，其他颜色不变 情况