平衡树是计算机科学中的一类数据结构。 平衡树是计算机科学中的一类改进的二叉查找树。一般的二叉查找树的查询复杂度是跟目标结点到树根的距离(即深度)有关,因此当结点的深度普遍较大时,查询的均摊复杂度会上升,为了更高效的查询,平衡树应运而生了。
在这里,平衡指所有叶子的深度趋于平衡,更广义的是指在树上所有可能查找的均摊复杂度偏低。
几乎所有平衡树的操作都基于树操作,通过旋转操作可以使得树趋于平衡。 对一棵查找树(search tree)进行查询/新增/删除 等动作, 所花的时间与树的高度h 成比例, 并不与树的容量 n 成比例。如果可以让树维持矮矮胖胖的好身材, 也就是让h维持在O(lg n)左右, 完成上述工作就很省时间。能够一直维持好身材, 不因新增删除而长歪的搜寻树, 叫做balanced search tree(平衡树)。 旋转Rotate —— 不破坏左小右大特性的小手术 平衡树有很多种, 其中有几类树维持平衡的方法, 都是靠整形小手术。
各种平衡树:AVL树,经典平衡树,所有操作的最坏复杂度是O(lgN)的。
Treap,利用随机堆的期望深度来优化树的深度,达到较优的期望复杂度。
伸展树、红黑树,节点大小平衡树。2-3树、AA树。
AVL树:
AVL树是一棵自平衡的二叉搜索树,在AVL树中任何节点的两个子树的高度最大差别为一,所以它也被称为高度平衡树。查找、插入和删除在平均和最坏情况下都是O(lgN)
为什么需要AVL树:
大多数二叉查找操作(搜索、最大、最小、插入、删除...)会花费O(h),h是二叉搜索树的高度。对于不平衡的二叉查找树,这些操作的时间复杂度为O(n)。如果我们保证在每一次插入和删除之后树的高度为O(lgN),那么我们就能保证对于所有的操作都有O(lgN)的上界。AVL树的高度总是O(logN),n是树中节点的数量。
2. 旋转
如果在AVL树中进行插入或删除节点后,可能导致AVL树失去平衡。这种失去平衡的可以概括为4种姿态:LL(左左),LR(左右),RR(右右)和RL(右左)。下面给出它们的示意图:
上图中的4棵树都是"失去平衡的AVL树",从左往右的情况依次是:LL、LR、RL、RR。除了上面的情况之外,还有其它的失去平衡的AVL树,如下图:
上面的两张图都是为了便于理解,而列举的关于"失去平衡的AVL树"的例子。总的来说,AVL树失去平衡时的情况一定是LL、LR、RL、RR这4种之一,它们都由各自的定义:
(1) LL:LeftLeft,也称为"左左"。插入或删除一个节点后,根节点的左子树的左子树还有非空子节点,导致"根的左子树的高度"比"根的右子树的高度"大2,导致AVL树失去了平衡。
例如,在上面LL情况中,由于"根节点(8)的左子树(4)的左子树(2)还有非空子节点",而"根节点(8)的右子树(12)没有子节点";导致"根节点(8)的左子树(4)高度"比"根节点(8)的右子树(12)"高2。
(2) LR:LeftRight,也称为"左右"。插入或删除一个节点后,根节点的左子树的右子树还有非空子节点,导致"根的左子树的高度"比"根的右子树的高度"大2,导致AVL树失去了平衡。
例如,在上面LR情况中,由于"根节点(8)的左子树(4)的左子树(6)还有非空子节点",而"根节点(8)的右子树(12)没有子节点";导致"根节点(8)的左子树(4)高度"比"根节点(8)的右子树(12)"高2。
(3) RL:RightLeft,称为"右左"。插入或删除一个节点后,根节点的右子树的左子树还有非空子节点,导致"根的右子树的高度"比"根的左子树的高度"大2,导致AVL树失去了平衡。
例如,在上面RL情况中,由于"根节点(8)的右子树(12)的左子树(10)还有非空子节点",而"根节点(8)的左子树(4)没有子节点";导致"根节点(8)的右子树(12)高度"比"根节点(8)的左子树(4)"高2。
(4) RR:RightRight,称为"右右"。插入或删除一个节点后,根节点的右子树的右子树还有非空子节点,导致"根的右子树的高度"比"根的左子树的高度"大2,导致AVL树失去了平衡。
例如,在上面RR情况中,由于"根节点(8)的右子树(12)的右子树(14)还有非空子节点",而"根节点(8)的左子树(4)没有子节点";导致"根节点(8)的右子树(12)高度"比"根节点(8)的左子树(4)"高2。
前面说过,如果在AVL树中进行插入或删除节点后,可能导致AVL树失去平衡。AVL失去平衡之后,可以通过旋转使其恢复平衡,下面分别介绍"LL(左左),LR(左右),RR(右右)和RL(右左)"这4种情况对应的旋转方法。
2.1 LL的旋转
LL失去平衡的情况,可以通过一次旋转让AVL树恢复平衡。如下图:
图中左边是旋转之前的树,右边是旋转之后的树。从中可以发现,旋转之后的树又变成了AVL树,而且该旋转只需要一次即可完成。
对于LL旋转,你可以这样理解为:LL旋转是围绕"失去平衡的AVL根节点"进行的,也就是节点k2;而且由于是LL情况,即左左情况,就用手抓着"左孩子,即k1"使劲摇。将k1变成根节点,k2变成k1的右子树,"k1的右子树"变成"k2的左子树"。
LL的旋转代码
1 template<typename T> 2 void AVLTree<T>::RotateWithLeftChild(AVLTreeNode* &z) { 3 AVLTreeNode* y = z->left; 4 z->left = y->right; 5 y->right = z; 6 z->height = max(GetHeight(z->left), GetHeight(z->right)) + 1; 7 y->right = max(GetHeight(y->left), z->height)) + 1; 8 z = y; 9 }
2.2 RR的旋转
理解了LL之后,RR就相当容易理解了。RR是与LL对称的情况!RR恢复平衡的旋转方法如下:
图中左边是旋转之前的树,右边是旋转之后的树。RR旋转也只需要一次即可完成。
RR的旋转代码
1 template<typename T> 2 void AVLTree<T>::RotateWithRightChild(AVLTreeNode* &z) { 3 AVLTreeNode* y = z->right; 4 z->right = y->left; 5 y->left = z; 6 z->height = max(GetHeight(z->left), GetHeight(z->right)) + 1; 7 y->right = max(GetHeight(y->right), z->height)) + 1; 8 z = y; 9 }
2.3 LR的旋转
LR失去平衡的情况,需要经过两次旋转才能让AVL树恢复平衡。如下图:
第一次旋转是围绕"k1"进行的"RR旋转",第二次是围绕"k3"进行的"LL旋转"。
LR的旋转代码
1 template<typename T> 2 void AVLTree<T>::DoubleWithLeftChild(AVLTreeNode* &z) { 3 RotateWithRightChild(z->left); 4 RotateWithLeftChild(z); 5 }
2.4 RL的旋转
RL是与LR的对称情况!RL恢复平衡的旋转方法如下:
第一次旋转是围绕"k3"进行的"LL旋转",第二次是围绕"k1"进行的"RR旋转"。
RL的旋转代码
1 template<typename T> 2 void AVLTree<T>::DoubleWithRightChild(AVLTreeNode* &z) { 3 RotateWithRightChild(z->right); 4 RotateWithLeftChild(z); 5 }
插入:
向AVL树插入,可以透过如同它是未平衡的二叉查找树一样,把给定的值插入树中,接着自底往上向根节点折回,于在插入期间成为不平衡的所有节点上进行旋转来完成。因为折回到根节点的路途上最多有1.44乘log n个节点,而每次AVL旋转都耗费固定的时间,所以插入处理在整体上的耗费为O(log n) 时间。
删除:
从AVL树中删除,可以通过把要删除的节点向下旋转成一个叶子节点,接着直接移除这个叶子节点来完成。因为在旋转成叶子节点期间最多有log n个节点被旋转,而每次AVL旋转耗费固定的时间,所以删除处理在整体上耗费O(log n) 时间。
查找
可以像普通二叉查找树一样的进行,所以耗费O(log n)时间,因为AVL树总是保持平衡的。不需要特殊的准备,树的结构不会由于查找而改变。
代码:
头文件:
1 #ifndef AVL_TREE_H_ 2 #define AVL_TREE_H_ 3 4 template<typename T> 5 class AVLTree { 6 public: 7 AVLTree():root_(NULL){} 8 AVLTree(const AVLTree &rhs){} 9 AVLTree& operator=(const AVLTree &rhs){} 10 ~AVLTree(){} 11 12 void Insert(const T& k) { 13 Insert(root_, k); 14 } 15 16 void Remove(const T& k) { 17 Remove(root_, k); 18 } 19 20 private: 21 struct AVLTreeNode { 22 T key; 23 int height; 24 AVLTreeNode* left; 25 AVLTreeNode* right; 26 27 AVLTreeNode(const T& k, AVLTreeNode* l = NULL, AVLTreeNode * r = NULL, int h = 0) 28 : key(k), left(l), right(r), height(h) {} 29 }; 30 31 AVLTreeNode *root_; //根节点 32 33 int GetHeight(AVLTreeNode* p) const { 34 return p == NULL ? -1 : p->height; 35 } 36 37 void Insert(AVLTreeNode* &p, const T& k); 38 void Remove(AVLTreeNode* &p, const T& k); 39 40 void RotateWithLeftChild(AVLTreeNode* &z); 41 void RotateWithRightChild(AVLTreeNode* &z); 42 43 void DoubleWithLeftChild(AVLTreeNode* &z); 44 void DoubleWithRightChild(AVLTreeNode* &z); 45 46 AVLTreeNode* FindMin(AVLTreeNode* p) const; 47 }; 48 #endif
源文件:
1 #include "avl_tree.h" 2 3 //LL 4 template<typename T> 5 void AVLTree<T>::RotateWithLeftChild(AVLTreeNode* &z) { 6 AVLTreeNode* y = z->left; 7 z->left = y->right; 8 y->right = z; 9 z->height = max(GetHeight(z->left), GetHeight(z->right)) + 1; 10 y->right = max(GetHeight(y->left), z->height) + 1; 11 z = y; 12 } 13 14 //RR 15 template<typename T> 16 void AVLTree<T>::RotateWithRightChild(AVLTreeNode* &z) { 17 AVLTreeNode* y = z->right; 18 z->right = y->left; 19 y->left = z; 20 z->height = max(GetHeight(z->left), GetHeight(z->right)) + 1; 21 y->right = max(GetHeight(y->right), z->height) + 1; 22 z = y; 23 } 24 25 //LR 26 template<typename T> 27 void AVLTree<T>::DoubleWithLeftChild(AVLTreeNode* &z) { 28 RotateWithRightChild(z->left); 29 RotateWithLeftChild(z); 30 } 31 32 //RL 33 template<typename T> 34 void AVLTree<T>::DoubleWithRightChild(AVLTreeNode* &z) { 35 RotateWithRightChild(z->right); 36 RotateWithLeftChild(z); 37 } 38 39 template<typename T> 40 void AVLTree<T>::Insert(AVLTreeNode* &p, const T& k) { 41 if (p == NULL) { 42 t = new AVLTreeNode(k); 43 } else if (k < p->key) { //左子树中插入 44 Insert(p->left, k); 45 if (GetHeight(p->left) - GetHeight(p->right) == 2) { //虽然每次都检查,但是只调整最后一次 46 if (k < p->left->key) { //LL 47 RotateWithLeftChild(p); 48 } else { //LR 49 DoubleWithLeftChild(p); 50 } 51 } 52 } else if (k > p->val) {//在右子树中插入 53 Insert(p->right, k); 54 if (GetHeight(p->right) - GetHeight(p->left) == 2) { 55 if (x > p->right->key) {//RR 56 RotateWithRightChild(p); 57 } else { //RL 58 DoubleWithRightChild(p); 59 } 60 } 61 }else 62 ; //重复 63 64 p->height = max(GetHeight(p->left), GetHeight(p->right)) + 1; 65 } 66 67 68 template<typename T> 69 void AVLTree<T>::Remove(AVLTreeNode* &p, const T& k) { 70 if (p == NULL) return; 71 if (p->key > k) { 72 Remove(p->left, k); 73 if (GetHeight(p->right) - GetHeight(p->left) == 2) { 74 if (p->right->right != NULL) { 75 RotateWithRightChild(p); 76 } else { 77 DoubleWithRightChild(p); 78 } 79 } 80 }else if (p->key < k) { 81 Remove(p->right, k); 82 if (GetHeight(p->left) - GetHeight(p->right) == 2) { 83 if (p->left->left != NULL) { 84 RotateWithLeftChild(p); 85 } else { 86 DoubleWithLeftChild(p); 87 } 88 } 89 } else if (p->left != NULL && p->right != NULL) { 90 p->key = FindMin(p->right)->key; //用右子树最小节点键值代替要删除节点的键值,与二叉搜索树类似 91 Remove(p->right, p->key); 92 if (GetHeight(p->left) - GetHeight(p->right) == 2) { 93 if (p->left->left != NULL) { 94 RotateWithLeftChild(p); 95 } else { 96 DoubleWithLeftChild(p); 97 } 98 } 99 } else { 100 AVLTreeNode* temp = p; 101 p = p->left ? p->left : p->right; 102 delete temp; 103 } 104 105 if (p != NULL) { 106 p->height = max(GetHeight(p->left), GetHeight(p->right)) + 1; 107 } 108 } 109 110 111 template<typename T> 112 typename AVLTree<T>::AVLTreeNode* AVLTree<T>::FindMin(AVLTreeNode* p) const { 113 AVLTreeNode* t = p; 114 while (t != NULL && t->left != NULL) { 115 t = t->left; 116 } 117 118 return t; 119 }
参考文献:1.《数据结构与算法分析C++描述》(第三版)——Mark Allen Weiss, 人民邮电出版社
2. http://blog.csdn.net/pyang1989/article/details/22697121
来源:https://www.cnblogs.com/vincently/p/4225976.html