C++ AVL 树-编程知识

AVL树的概念

当数据有序或接近有序二叉搜索树将退化为单支树，此时二叉搜索树的搜索效率低下

解决方法：AVL树（降低树的高度，从而减少平均搜索长度)

一棵AVL树或者是空树，或者是具有以下性质的二叉搜索树：
· 它的左右子树都是AVL树
· 左右子树高度之差(简称平衡因子)的绝对值不超过1(-1/0/1)

高度=右子树-左子树

AVL树的插入

与二叉搜索树稍有区别的是AVL树引入了平衡因子，AVL树节点设计成三叉链的形式

1 按照二叉搜索树的方式插入新节点
2 调整节点的平衡因子

设c表示新增节点 p表示父节点 bf表示平衡因子

首先要明确一点：新增可能会影响祖先（决定因素是子树高度是否发生变化）：

1 如果子树高度不变，就不会继续向上影响祖先

2 如果子树高度变化，就会继续向上影响祖先

c新增后，p的平衡因子一定会需要调整：

新增节点在左子树：父节点的bf--

新增节点在右子树：父节点的bf++

在新增节点c插入前，父节点的bf（平衡因子）有如下三种情况：-1，0，1

在新增节点c插入后，父节点的bf更新情况有如下三种情况：0 正负1 正负2

1 若是父节点的bf更新后为0：说明未插入前父节点的bf是正负1（一边高一边低）

插入新增节点后父节点的bf被调整为0，此时满足AVL树的性质，直接插入成功

2 若是父节点的bf更新后为正负1：说明未插入前父节点的bf是0（左右子树高度一样）

此时以p父节点为根的子树高度增加，需要继续向上更新

3 若是父节点的bf更新后为正负2：则p父节点的平衡因子违反AVL树规则，需要对其进行旋转处理

AVL树的旋转

AVL树的旋转分为四种：右单旋左单旋先左单旋再右单旋先右单旋再左单旋

1 新节点插入较高左子树的左侧---左左：右单旋

注意：1 30节点的右孩子可能存在，也可能不存在

2 60可能是根节点，也可能是子树

如果是根节点，旋转完成后，要更新根节点
如果是子树，可能是某个节点的左子树，也可能是右子树

2 新节点插入较高右子树的右侧---右右：左单旋

注意情况可以参考左单旋

3 新节点插入较高左子树的右侧---左右：先左单旋再右单旋

将双旋变成单旋后再旋转：
先对30进行左单旋，然后再对90进行右单旋

4 新节点插入较高右子树的左侧---右左：先右单旋再左单旋

总结：

若是以p节点为根的子树不平衡，即p节点的bf是正负2：

1 p节点的bf为2：说明p节点的右子树高，设p的右子树的根为subR
当subR的平衡因子为1时，执行左单旋
当subR的平衡因子为-1时，执行右左双旋

2 p节点的bf为-2: 说明p节点的左子树高，设p的左子树的根为subL

当subL的平衡因子为-1时，执行右单旋
当subL的平衡因子为1时，执行左右双旋
旋转完成后，原p为根的子树高度降低，已经平衡，无需再向上更新

AVL树的代码实现：

#pragma once
#include<assert.h>template<class K,class V>
struct AVLTreeNode
{AVLTreeNode<K, V>* _left;AVLTreeNode<K, V>* _right;AVLTreeNode<K, V>* _parent;pair<K, V> _kv;int _bf;//平衡因子 balance factorAVLTreeNode(const pair<K,V>&kv):_left(nullptr),_right(nullptr),_parent(nullptr),_kv(kv),_bf(0){}
};template<class K,class V>
class AVLTree
{typedef AVLTreeNode<K, V> Node;
public:bool Insert(const pair<K, V>& kv){if (_root == nullptr){_root = new Node(kv);return true;}Node* parent = nullptr;Node* cur = _root;while (cur)//找到插入位置{if (cur->_kv.first < kv.first){parent = cur;cur = cur->_right;}else if(cur->_kv.first > kv.first){parent = cur;cur = cur->_left;}else{return false;}}cur = new Node(kv);//插入if (parent->_kv.first < kv.first){parent->_right = cur;cur->_parent = parent;}else{parent->_left= cur;cur->_parent = parent;}while (parent)//更新平衡因子，可能会连续更新（即新增可能会影响祖先的bf）：看子树高度是否变化{if (cur == parent->_left){parent->_bf--;}else{parent->_bf++;}if (parent->_bf == 0)//新增前，父节点所在树一边高一边低，新增后刚好平衡两边{break;}else if (parent->_bf == 1 || parent->_bf == -1)//新增前，父节点所在树已经平衡（左右子树两边一样高），新增节点打破平衡，使得子树高度增加{cur = parent;//继续向上调整parent = parent->_parent;}else if (parent->_bf == 2 || parent->_bf == -2)//父亲所在子树违反规则，需要调整处理（即旋转）{//旋转if (parent->_bf == 2 && cur->_bf==1)//左单旋{RotateL(parent);}else if (parent->_bf == 2 && cur->_bf==-1)//右左双旋{RotateRL(parent);}else if (parent->_bf == -2 && cur->_bf == -1)//右单旋{RotateR(parent);}else if (parent->_bf == -2 && cur->_bf == 1)//左右双旋{RotateLR(parent);}break;//1 旋转让这颗子树平衡了//2 旋转降低了这颗子树的高度，恢复到跟插入前一样的高度，所以对上一层没有影响，不用继续更新}else{assert(false);}}return  true;}void RotateL(Node* parent){Node* subR = parent->_right;Node* subRL = subR->_left;parent->_right = subRL;if (subRL){subRL->_parent = parent;}Node* parentParent = parent->_parent;subR->_left = parent;parent->_parent = subR;if (parent==_root){_root = subR;subR->_parent = nullptr;}else{if (parent == parentParent->_left){parentParent->_left = subR;}else{parentParent->_right = subR;}subR->_parent = parentParent;}parent->_bf = subR->_bf = 0;}void RotateR(Node* parent){Node* subL = parent->_left;Node* subLR = subL->_right;parent->_left = subLR;if (subLR){subLR->_parent = parent;}Node* parentParent = parent->_parent;subL->_right = parent;parent->_parent = subL;if (parent==_root){_root = subL;subL->_parent = nullptr;}else{if (parent == parentParent->_left){parentParent->_left = subL;}else{parentParent->_right = subL;}subL->_parent = parentParent;}parent->_bf = subL->_bf = 0;}void RotateRL(Node*parent){Node* subR = parent->_right;Node* subRL = subR->_left;int bf = subRL->_bf;RotateR(parent->_right);RotateL(parent);if (bf == 0){//subRL自己就是新增parent->_bf = subR->_bf = subRL->_bf = 0;}else if (bf == -1){//subRL的左子树新增parent->_bf = 0;subR->_bf = 1;subRL->_bf = 0;}else if (bf == 1){//subRL的右子树新增parent->_bf = -1;subR->_bf = 0;subRL->_bf = 0;}else{assert(false);}}void RotateLR(Node* parent){Node* subL = parent->_left;Node* subLR = subL->_right;int bf = subLR->_bf;RotateL(parent->_left);RotateR(parent);if (bf == 0){//subLR自己就是新增parent->_bf = subL->_bf = subLR->_bf = 0;}else if (bf == -1){//subRL的左子树新增parent->_bf = 1;subL->_bf = 0;subLR->_bf = 0;}else if (bf == 1){//subRL的右子树新增parent->_bf = 0;subL->_bf = -1;subLR->_bf = 0;}else{assert(false);}}void InOrder(){_InOrder(_root);cout << endl;}bool IsBalance()//AVL树的验证：1 为二叉搜索树，即中序遍历得到有序序列 2 为平衡树：每个节点子树高度差的绝对值不超过1 && 节点的平衡因子是否计算正确{return _IsBalance(_root);}int Height(Node* root){if (root == nullptr)return 0;int leftHeight = Height(root->_left);int rightHeight = Height(root->_right);return leftHeight > rightHeight ? leftHeight + 1 : rightHeight + 1;}private:void _InOrder(Node * root){if (root == nullptr)return;_InOrder(root->_left);cout << root->_kv.first << " ";_InOrder(root->_right);}bool _IsBalance(Node * root){if (root == nullptr)return true;int leftHeight = Height(root->_left);int rightHeight = Height(root->_right);if (rightHeight - leftHeight != root->_bf){cout << root->_kv.first << "平衡因子异常" << endl;return false;}return abs(rightHeight - leftHeight) < 2&& _IsBalance(root->_left)&& _IsBalance(root->_right);}private:Node* _root = nullptr;
};

验证：

#include<vector>
#include<iostream>
using namespace std;
#include"AVLTree.h"int main()
{const int N = 30;vector<int> v;v.reserve(N);srand(time(0));for (size_t i = 0; i < N; i++)//产生N个随机数{v.push_back(rand());cout << v.back() << endl;}AVLTree<int, int> t;for (auto e : v){t.Insert(make_pair(e, e));cout << "Insert:" << e << "->" << t.IsBalance() << endl;}t.InOrder();cout << t.IsBalance() << endl;return 0;
}