【数据结构】AVL树——平衡二叉搜索树

简介: 【数据结构】AVL树——平衡二叉搜索树

AVL树概述

平衡树:左子树的高度等于右子树的高度

不平衡树:左子树的高度不等于等于右子树的高度

二叉搜索树很难是一颗平衡树。

对二叉树进行插入和删除的操作,或插入大量的数据不够随机,都会是使二叉搜索树不够平衡。

极端情况下,二叉树会退化成类似链表的结构,那么二叉搜索树查询数据的效率荡然无存。

在二叉树的基础上加入平衡的概念就是平衡二叉搜索树,也叫AVL树

AVL树也不是一颗绝对的平衡树,AVL树的平衡是相对的,它允许左子树和右子树的高度为 1 ,但不能超过 1

平衡是相对的很好理解,因为一个父亲节点最多只能有两个孩子节点,而数据又是一个一个插入的,所以一定会出现左子树和右子树高度差为 1 的情况。

B树可达到绝对平衡,因为B树是多叉结构——一个父亲节点有多个孩子节点

如果左子树和右子树的高度差为 2 就视为打破平衡

如果打破平衡,就需要通过旋转这一操作让左右子树的高度差小于等于 1 。

AVL树是保持一种相对平衡的状态,而不是绝对平衡。那么AVL树搜索数据的效率只能是接近

AVL树只是保证了搜索效率的下限,而不是提高了上限

平衡因子

平衡因子这一概念并不是AVL树所必备的——从代码实现的角度来说,如果不加入平衡因子的概念理解起来会比较抽象。

平衡因子:让每个节点存一个整型,该整形值的大小等于右子树的高度减左子树的高度

平衡因子等于 0 左右子树平衡

平衡因子等于 1左右子树相对平衡,右树偏高

平衡因子等于 -1左右子树相对平衡,左树树偏高

平衡因子等于 2 -2左右子树不平衡

平衡因子的更新:

插入父亲节点的右边平衡因子加加,插入父亲节点的右边平衡因子减减

父亲节点更新后的平衡因子等于 1 或 -1 ,需要不断往上(溯源)更新,直到父亲节点的平衡因子为 0 或 更新至整棵树的根节点就停止更新

如果父亲节点的平衡因子为 2 或 -2 时,需要对这棵子树旋转,旋转后更新平衡因子

示例

旋转情况分类

旋转分为:

左单旋 右单旋 左右双旋  右左双旋

左单旋

:新节点插入较高右子树的右侧

具象图:

抽象图:

那么左单旋是怎么旋的呢?核心步骤为:

设父亲节点为:fathernode 孩子节点为:cur

cur的左孩子成为fathernode的右孩子,

再让fathernode成为cur的左孩子。

如下示意图

右单旋

:新节点插入较高左子树的左侧

具象图:

抽象图:

那么右单旋是怎么旋的呢?核心步骤为:

设父亲节点为:fathernode 孩子节点为:cur

cur的右孩子成为fathernode的左孩子,

再让fathernode成为cur的右孩子

如下示意图:

左右双旋

:新节点插入在较高左子树的右侧——先左单旋再右单旋

左右双旋的核心步骤为:

设父亲节点为:fathernode

父亲的左孩子节点为:fathernodeL

父亲的左孩子节点的右孩子节点的为fathernodeLR

先让fathernodeL左单旋,再让fathernodeLR进行右单旋

这里小编直接上抽象图:

右左双旋

:新节点插入再较高右子树的左侧——先右单旋再左单旋

设父亲节点为:fathernode

父亲的 右孩子节点为:fathernodeR

父亲的右孩子节点的左孩子节点的为fathernodeRL

先对fathernodeR进行右单旋,再对fathernode进行左单旋。

示意图:

AVL树节点设计

AVL树的节点需要三个指针,分别指向左孩子节点,右孩子节点,父亲节点。指向父亲节点的指针是为了能溯源更新平衡因子。

需要一个整型存储平衡因子,平衡因子在构造函数的初始化列表中初始化为 0,因为新节点左右孩子都为空。

template <class K>
class AVLTreeNode
{
public:
 
  AVLTreeNode(const K& key) //构造函数
    :_key(key)
    , _left(nullptr)
    , _right(nullptr)
    , _FatherNode(nullptr)
    , _bf(0)
  {
 
  }
 
  K _key; //键值   
 
  AVLTreeNode<K>* _left;//左孩子
  AVLTreeNode<K>* _right;//右孩子
  AVLTreeNode<K>* _FatherNode;//父亲  
 
  int _bf;//平衡因子
 
};

AVL树设计

template <class K>
class AVLTree
{
  typedef AVLTreeNode<K> node; 
 
  node* _root;
 
public:
 
  AVLTree()  //构造函数,初始化为空树
    :_root(nullptr)
  {
 
  }
 
 
 
 
  bool Insert(const K& key)//插入元素
  {
//
    if (nullptr == _root) //是否是空树
    {
      _root = new node(key);  
      return true;
    }
//
    node* cur = _root;
    node* fathernode = nullptr;
 
    while (cur)  //查找插入的位置,如果树中已经有要插入的值,则插入失败,
    {
      if (cur->_key < key)
      {
        fathernode = cur;
        cur = cur->_right;
      }
      else if (cur->_key > key)
      {
        fathernode = cur;
        cur = cur->_left;
      }
      else
      {
        return false;
      }
 
    }
 
 
      cur = new node(key); //新插入节点 
 
      if (fathernode->_key < cur->_key) //判断新节点应该是左孩子还是右孩子
      {
        fathernode->_right = cur;
        cur->_FatherNode = fathernode;
 
      }
      else
      {
        fathernode->_left = cur;
        cur->_FatherNode = fathernode;
      }
      //
      
      while (fathernode)//更新平衡因子
      {
 
      if (cur == fathernode->_left)
      {
        fathernode->_bf--;
      }
      else  if (cur == fathernode->_right)
      {
        fathernode->_bf++;
      }
 
 
      //
      if (fathernode->_bf == 0)
      {
        // 更新结束
        break;
      }
 
      else if (fathernode->_bf == 1 || fathernode->_bf == -1)
      {
        // 继续往上更新
        cur = fathernode;
        fathernode = fathernode->_FatherNode;
      }
      else if (fathernode->_bf == 2 || fathernode->_bf == -2)
      {
        // 子树不平衡了,需要旋转
        if (fathernode->_bf == 2 && cur->_bf == 1)
        {
          RevolveLeft(fathernode);//左单旋
        }
        else if (fathernode->_bf == -2 && cur->_bf == -1)
        {
          RevolveRight(fathernode);//右单旋
        }
        else if (fathernode->_bf == 2 && cur->_bf == -1)
        {
          RevolveRightLeft(fathernode); //右左双旋   
          
        }
        else if (fathernode->_bf == -2 && cur->_bf == 1)
        {
          RevolveLeftRight(fathernode);//左右双旋
        }
        else
        {
          assert(false);   //平衡因子出问题了
        }
        
        break;
      }
    
 
  }
 
  return true;
  }
 
}

下面通过代码的细节来深入理解旋转

详解单旋

左单旋

完整代码如下

void RevolveLeft(node *& fathernode)//左单旋      
{
  node* cur = fathernode->_right; //父亲节点的右孩子
 
  fathernode->_right = cur->_left; //更改指向关系
 
  if (cur->_left != nullptr) //特殊情况
    cur->_left->_FatherNode = fathernode;//更改指向关系
 
  cur->_FatherNode = fathernode->_FatherNode;//更改指向关系
 
  if (fathernode->_FatherNode != nullptr) //为空是特殊情况,
  {
 
    if (fathernode->_FatherNode->_right == fathernode)
    {
      fathernode->_FatherNode->_right = cur;//更改指向关系
    }
    else
    {
      fathernode->_FatherNode->_left = cur;//更改指向关系
    }
 
  }
 
  cur->_left = fathernode;//更改指向关系
 
  fathernode->_FatherNode = cur;//更改指向关系
 
  fathernode->_bf = 0; //更新平衡因子
  cur->_bf = 0;
 
}

处理指向关系时,一定不要忘了更改父亲的指向关系

经过左单旋之后,父亲节点和右孩子节点的平衡因子都为 0 ,可参考上文图示。

特殊情况如下,如果不处理特殊情况,程序很容易崩溃

右单旋

void RevolveRight(node *& fathernode) //右单旋
{
  node* cur = fathernode->_left; //父亲节点的左节点
 
  fathernode->_left = cur->_right;//更新指向关系
 
  if (cur->_right != nullptr) //特殊情况
    cur->_right->_FatherNode = fathernode;//更新指向关系
 
  cur->_FatherNode = fathernode->_FatherNode;//更新指向关系
 
  if (fathernode->_FatherNode != nullptr)//特殊情况
  {
 
    if (fathernode->_FatherNode->_right == fathernode)
    {
      fathernode->_FatherNode->_right = cur;//更新指向关系
    }
    else
    {
      fathernode->_FatherNode->_left = cur;//更新指向关系
    }
 
  }
 
 
  cur->_right = fathernode;//更新指向关系
 
  fathernode->_FatherNode = cur;//更新指向关系
 
  fathernode->_bf = 0;//更新平衡因子
  cur->_bf = 0;
}

详解双旋

左右双旋

左右双旋只需复用左单旋和右单旋即可,但平衡因子的更新却比较麻烦

完整代码如下

  void RevolveLeftRight(node *& fathernode)//左右双旋    
  {
    node* fathernodeL = fathernode->_left; //父亲节点的左孩子节点
    node* fathernodeLR = fathernodeL->_right;//父亲节点的左孩子节点的右孩子节点
 
    int bf = fathernodeLR->_bf; //保存平衡因子,实际是为了判断是插入了fathernodeLR左边还是右边还是fathernodeLR本身插入
 
    RevolveLeft(fathernodeL);
    RevolveRight(fathernode);
 
//更新平衡因子
    if (bf == 0)
    {
      fathernode->_bf = 0;
      fathernodeL->_bf = 0;
      fathernodeLR->_bf = 0;
    }
    else if (bf == -1)
    {
      fathernode->_bf = 1;
      fathernodeL->_bf = 0;
      fathernodeLR->_bf = 0;
    }
    else if (bf == 1)
    {
      fathernodeL->_bf = -1;
      fathernode = 0;
      fathernodeLR = 0;
    }
    else
    {
      assert(false);
    }
 
 
  }

平衡因子情况如下

右左双旋

完整代码如下

  void RevolveRightLeft(node *& fathernode) //右左双旋 
  {
    node* fathernodeR = fathernode->_right; 
    node* fathernodeRL = fathernodeR->_left;
 
    int bf = fathernodeRL->_bf;
 
    RevolveRight(fathernodeR);
    RevolveLeft(fathernode);
    if (bf == 0)
    {
      fathernode->_bf = 0;
      fathernodeR->_bf = 0;
      fathernodeRL->_bf = 0;
    }
    else if (bf == 1)
    {
      fathernode->_bf = -1;
      fathernodeR->_bf = 0;
      fathernodeRL->_bf = 0;
    }
    else if (bf == -1)
    {
      fathernodeR->_bf = 1;
      fathernode->_bf = 0;
      fathernodeRL->_bf = 0;
    }
    else
    {
      assert(false); 
    }
  }

平衡因子情况如下

相关文章
|
7天前
|
存储 算法 Linux
【数据结构和算法】---二叉树(1)--树概念及结构
【数据结构和算法】---二叉树(1)--树概念及结构
11 0
|
1天前
|
存储 Linux 数据库
【数据结构】二叉搜索树——高阶数据结构的敲门砖
【数据结构】二叉搜索树——高阶数据结构的敲门砖
|
8天前
|
存储 算法
【C/数据结构与算法】:树和二叉树
【C/数据结构与算法】:树和二叉树
10 0
|
9天前
数据结构篇:旋转操作在AVL树中的实现过程
数据结构篇:旋转操作在AVL树中的实现过程
6 0
|
9天前
|
编译器 数据库 索引
数据结构篇:树形数据结构的基本概念及其遍历方法
数据结构篇:树形数据结构的基本概念及其遍历方法
6 0
|
7天前
|
算法 C语言
【数据结构与算法 经典例题】使用栈实现队列(图文详解)
【数据结构与算法 经典例题】使用栈实现队列(图文详解)
|
2天前
|
存储 缓存 算法
堆和栈的区别及应用场景
堆和栈的区别及应用场景
|
8天前
|
存储 测试技术
【数据结构】操作受限的线性表,栈的具体实现
【数据结构】操作受限的线性表,栈的具体实现
17 5
|
7天前
|
算法 C语言
【数据结构与算法 经典例题】使用队列实现栈(图文详解)
【数据结构与算法 经典例题】使用队列实现栈(图文详解)
|
8天前
|
算法
【C/数据结构和算法】:栈和队列
【C/数据结构和算法】:栈和队列
16 1