陈启峰《SizeBalancedTree》学习.pptVIP

Size Balanced Tree 中山纪念中学 高二 陈启峰 344368722@QQ.com 总揽全文 BST Rotations : 预备知识 Size Balanced Tree : 定义 功能介绍 Maintain : 核心操作 Analysis : 时间复杂度分析 Advantage : 七大优点 探索历程 : 感性与理性中螺旋前进 Binary Search Tree Binary Search Tree (abbr. BST) 是一棵具有以下性质的二叉树： 对于BST中任意一个结点， (1)左子树中的关键字不大于它的关键字; (2)右子树中的关键字不小于它的关键字. Binary Search Tree 为了方便讨论我们定义： Left [T] : 结点 T 的左儿子 Right [T] : 结点 T 的右儿子 S [T] : 以T为根的子树的结点个数（大小） Rotations 为了保持BST平衡，我们通常使用Rotations 来改变树的形态。 Rotations分为相对的两种类型： Right-Rotate Left-Rotate Rotations Rotations Right-Rotate Rotations Right-Rotate Rotations Right-Rotate Size Balanced Tree Size Balanced Tree (abbr. SBT) 是一种通过大小来保持平衡的BST。它总是满足： 对于SBT的每一个结点 t, 性质(a) s[right[t]]≥s[left[left[t]]], s[right[left[t]]] 性质(b) s[left[t]]≥s[right[right[t]]], s[left[right[t]]] i.e.每棵子树的大小不小于其兄弟的子树大小 Size Balanced Tree s[R] ≥ s[A] , s[B] s[L] ≥ s[C] , s[D] Size Balanced Tree 当我们插入或删除一个结点后，ＳＢＴ的大小就发生了改变。 这种改变有可能导致性质(a)或(b)被破坏。 这时，我们需要修复这棵树。 Maintain Ｍaintain (T) 用于修复以 T 为根的 SBT 。 调用 Maintain (T) 的前提条件是 T的子树都已经是 SBT 了 Maintain 由于性质 (a) 和 (b) 是对称的，下面仅对性质 (a) 被破坏的情况进行分析： Maintain Case 1: s[Left[Left[T]]s[Right[T]] S[A]S[R] Maintain Case 1: s[Left[Left[T]]s[Right[T]] Right-Rotate (T) Maintain Case 1: s[Left[Left[T]]s[Right[T]] Right-Rotate (T) Maintain Case 1: s[Left[Left[T]]s[Right[T]] Right-Rotate (T) Maintain Case 1: s[Left[Left[T]]s[Right[T]] Right-Rotate (T) Maintain Case 1: s[Left[Left[T]]s[Right[T]] Right-Rotate (T) Maintain (T) Maintain Case 1: s[Left[Left[T]]s[Right[T]] Right-Rotate (T) Maintain (T) Maintain (L) Maintain Case 2: s[right[left[t]]s[right[t]] s[B]s[R] Maintain Case 2: s[right[left[t]]s[right[t]] Left-Rotate (L) Maintain Case 2: s[right[left[t]]s[right[t]] Left-Rotate (L) Maintain Case 2: s[right[left[t]]s[right[t]] Left-Rotate (L) Maintain Case 2: s[right[left[t]]s[right[t]] Left-Rotate (L) Maintain Case 2: s[right[left[t]]s[right[t]] Left-Rotate (L) Right-Rotate (T) Maint