平衡树(AVL)详解

1. 为什么平衡树?

在二叉搜索树(BST,Binary Search Tree)中提到,BST树可能会退化成一个链表(整棵树中只有左子树,或者只有右子树),这将大大影响二叉树的性能。

前苏联科学家G.M. Adelson-Velskii 和 E.M. Landis给出了答案。他们在1962年发表的一篇名为《An algorithm for the organization of information》的文章中提出了一种自平衡二叉查找树(self-balancing binary search tree)。这种二叉查找树在插入和删除操作中,可以通过一系列的旋转操作来保持平衡,从而保证了二叉查找树的查找效率。最终这种二叉查找树以他们的名字命名为“AVL-Tree”,它也被称为平衡二叉树(Balanced Binary Tree)。

2. 原理

在节点上设置一个平衡因子BF,代表左右子树的高度差,BF = { -1, 0, 1}。

3. 旋转

AVL的Insert/Delete操作可能会引起树的失衡,可以通过选择解决这个问题。

3.1 4种旋转

(1)LL

(2)RR

(3)LR

(4)RL

在下面的文章中有一个关于AVL选择的动画,大家不妨看看。

C#与数据结构--树论--平衡二叉树(AVL Tree)

3.2 旋转实现

在算法导论中给出旋转的伪代码:

  1. LEFT-ROTATE(T,x)
  2. 1y←right[x]▹Sety.
  3. 2right[x]←left[y]▹Turny'sleftsubtreeintox'srightsubtree.
  4. 3p[left[y]]←x
  5. 4p[y]←p[x]▹Linkx'sparenttoy.
  6. 5ifp[x]=nil[T]
  7. 6thenroot[T]←y
  8. 7elseifx=left[p[x]]
  9. 8thenleft[p[x]]←y
  10. 9elseright[p[x]]←y
  11. 10left[y]←x▹Putxony'sleft.
  12. 11p[x]←y
LEFT-ROTATE(T, x)
 1  y ← right[x]            ▹ Set y.
 2  right[x] ← left[y]      ▹ Turn y's left subtree into x's right subtree.
 3  p[left[y]] ← x
 4  p[y] ← p[x]             ▹ Link x's parent to y.
 5  if p[x] = nil[T]
 6     then root[T] ← y
 7     else if x = left[p[x]]
 8             then left[p[x]] ← y
 9             else right[p[x]] ← y
10  left[y] ← x             ▹ Put x on y's left.
11  p[x] ← y


  1. //旋转以root为根的子树,当高度改变,则返回true;高度未变则返回false
  2. privateboolRotateSubTree(intbf)
  3. {
  4. booltallChange=true;
  5. Noderoot=path[p],newRoot=null;
  6. if(bf==2)//当平衡因子为2时需要进行旋转操作
  7. {
  8. intleftBF=root.Left.BF;
  9. if(leftBF==-1)//LR型旋转
  10. {
  11. newRoot=LR(root);
  12. }
  13. elseif(leftBF==1)
  14. {
  15. newRoot=LL(root);//LL型旋转
  16. }
  17. else//当旋转根左孩子的bf为0时,只有删除时才会出现
  18. {
  19. newRoot=LL(root);
  20. tallChange=false;
  21. }
  22. }
  23. if(bf==-2)//当平衡因子为-2时需要进行旋转操作
  24. {
  25. intrightBF=root.Right.BF;//获取旋转根右孩子的平衡因子
  26. if(rightBF==1)
  27. {
  28. newRoot=RL(root);//RL型旋转
  29. }
  30. elseif(rightBF==-1)
  31. {
  32. newRoot=RR(root);//RR型旋转
  33. }
  34. else//当旋转根左孩子的bf为0时,只有删除时才会出现
  35. {
  36. newRoot=RR(root);
  37. tallChange=false;
  38. }
  39. }
  40. //更改新的子树根
  41. if(p>0)
  42. {
  43. if(root.Data<path[p-1].Data)
  44. {
  45. path[p-1].Left=newRoot;
  46. }
  47. else
  48. {
  49. path[p-1].Right=newRoot;
  50. }
  51. }
  52. else
  53. {
  54. _head=newRoot;//如果旋转根为AVL树的根,则指定新AVL树根结点
  55. }
  56. returntallChange;
  57. }
  58. //root为旋转根,rootPrev为旋转根双亲结点
  59. privateNodeLL(Noderoot)//LL型旋转,返回旋转后的新子树根
  60. {
  61. NoderootNext=root.Left;
  62. root.Left=rootNext.Right;
  63. rootNext.Right=root;
  64. if(rootNext.BF==1)
  65. {
  66. root.BF=0;
  67. rootNext.BF=0;
  68. }
  69. else//rootNext.BF==0的情况,删除时用
  70. {
  71. root.BF=1;
  72. rootNext.BF=-1;
  73. }
  74. returnrootNext;//rootNext为新子树的根
  75. }
  76. privateNodeLR(Noderoot)//LR型旋转,返回旋转后的新子树根
  77. {
  78. NoderootNext=root.Left;
  79. NodenewRoot=rootNext.Right;
  80. root.Left=newRoot.Right;
  81. rootNext.Right=newRoot.Left;
  82. newRoot.Left=rootNext;
  83. newRoot.Right=root;
  84. switch(newRoot.BF)//改变平衡因子
  85. {
  86. case0:
  87. root.BF=0;
  88. rootNext.BF=0;
  89. break;
  90. case1:
  91. root.BF=-1;
  92. rootNext.BF=0;
  93. break;
  94. case-1:
  95. root.BF=0;
  96. rootNext.BF=1;
  97. break;
  98. }
  99. newRoot.BF=0;
  100. returnnewRoot;//newRoot为新子树的根
  101. }
  102. privateNodeRR(Noderoot)//RR型旋转,返回旋转后的新子树根
  103. {
  104. NoderootNext=root.Right;
  105. root.Right=rootNext.Left;
  106. rootNext.Left=root;
  107. if(rootNext.BF==-1)
  108. {
  109. root.BF=0;
  110. rootNext.BF=0;
  111. }
  112. else//rootNext.BF==0的情况,删除时用
  113. {
  114. root.BF=-1;
  115. rootNext.BF=1;
  116. }
  117. returnrootNext;//rootNext为新子树的根
  118. }
  119. privateNodeRL(Noderoot)//RL型旋转,返回旋转后的新子树根
  120. {
  121. NoderootNext=root.Right;
  122. NodenewRoot=rootNext.Left;
  123. root.Right=newRoot.Left;
  124. rootNext.Left=newRoot.Right;
  125. newRoot.Right=rootNext;
  126. newRoot.Left=root;
  127. switch(newRoot.BF)//改变平衡因子
  128. {
  129. case0:
  130. root.BF=0;
  131. rootNext.BF=0;
  132. break;
  133. case1:
  134. root.BF=0;
  135. rootNext.BF=-1;
  136. break;
  137. case-1:
  138. root.BF=1;
  139. rootNext.BF=0;
  140. break;
  141. }
  142. newRoot.BF=0;
  143. returnnewRoot;//newRoot为新子树的根
  144. }
//旋转以root为根的子树,当高度改变,则返回true;高度未变则返回false
        private bool RotateSubTree(int bf) 
        {
            bool tallChange = true;
            Node root = path[p], newRoot = null;
            if (bf == 2) //当平衡因子为2时需要进行旋转操作
            {
                int leftBF = root.Left.BF;
                if (leftBF == -1) //LR型旋转
                {
                    newRoot = LR(root);
                }
                else if (leftBF == 1)
                {
                    newRoot = LL(root); //LL型旋转
                }
                else //当旋转根左孩子的bf为0时,只有删除时才会出现
                {
                    newRoot = LL(root);
                    tallChange = false;
                }
            }
            if (bf == -2) //当平衡因子为-2时需要进行旋转操作
            {
                int rightBF = root.Right.BF; //获取旋转根右孩子的平衡因子
                if (rightBF == 1) 
                {
                    newRoot = RL(root); //RL型旋转
                }
                else if (rightBF == -1)
                {
                    newRoot = RR(root); //RR型旋转
                }
                else //当旋转根左孩子的bf为0时,只有删除时才会出现
                {
                    newRoot = RR(root);
                    tallChange = false;
                }
            }
            //更改新的子树根
            if (p > 0)
            {
                if (root.Data < path[p - 1].Data)
                {
                    path[p - 1].Left = newRoot;
                }
                else
                {
                    path[p - 1].Right = newRoot;
                }
            }
            else
            {
                _head = newRoot; //如果旋转根为AVL树的根,则指定新AVL树根结点
            }
            return tallChange;
        }
        //root为旋转根,rootPrev为旋转根双亲结点
        private Node LL(Node root) //LL型旋转,返回旋转后的新子树根
        {
            Node rootNext = root.Left;
            root.Left = rootNext.Right;
            rootNext.Right = root;
            if (rootNext.BF == 1)
            {
                root.BF = 0;
                rootNext.BF = 0;
            }
            else //rootNext.BF==0的情况,删除时用
            {
                root.BF = 1;
                rootNext.BF = -1;
            }
            return rootNext; //rootNext为新子树的根
        }
        private Node LR(Node root) //LR型旋转,返回旋转后的新子树根
        {
            Node rootNext = root.Left;
            Node newRoot = rootNext.Right;
            root.Left = newRoot.Right;
            rootNext.Right = newRoot.Left;
            newRoot.Left = rootNext;
            newRoot.Right = root;
            switch (newRoot.BF) //改变平衡因子
            {
                case 0:
                    root.BF = 0;
                    rootNext.BF = 0;
                    break;
                case 1:
                    root.BF = -1;
                    rootNext.BF = 0;
                    break;
                case -1:
                    root.BF = 0;
                    rootNext.BF = 1;
                    break;
            }
            newRoot.BF = 0;
            return newRoot; //newRoot为新子树的根
        }
        private Node RR(Node root) //RR型旋转,返回旋转后的新子树根
        {
            Node rootNext = root.Right;
            root.Right = rootNext.Left;
            rootNext.Left = root;
            if (rootNext.BF == -1)
            {
                root.BF = 0;
                rootNext.BF = 0;
            }
            else //rootNext.BF==0的情况,删除时用
            {
                root.BF = -1;
                rootNext.BF = 1;
            }
            return rootNext; //rootNext为新子树的根
        }
        private Node RL(Node root) //RL型旋转,返回旋转后的新子树根
        {
            Node rootNext = root.Right;
            Node newRoot = rootNext.Left;
            root.Right = newRoot.Left;
            rootNext.Left = newRoot.Right;
            newRoot.Right = rootNext;
            newRoot.Left = root;
            switch (newRoot.BF) //改变平衡因子
            {
                case 0:
                    root.BF = 0;
                    rootNext.BF = 0;
                    break;
                case 1:
                    root.BF = 0;
                    rootNext.BF = -1;
                    break;
                case -1:
                    root.BF = 1;
                    rootNext.BF = 0;
                    break;
            }
            newRoot.BF = 0;
            return newRoot; //newRoot为新子树的根
        }

4. 插入与删除

4.1 插入

  1. publicboolAdd(intvalue)//添加一个元素
  2. {//如果是空树,则新结点成为二叉排序树的根
  3. if(_head==null)
  4. {
  5. _head=newNode(value);
  6. _head.BF=0;
  7. returntrue;
  8. }
  9. p=0;
  10. //prev为上一次访问的结点,current为当前访问结点
  11. Nodeprev=null,current=_head;
  12. while(current!=null)
  13. {
  14. path[p++]=current;//将路径上的结点插入数组
  15. //如果插入值已存在,则插入失败
  16. if(current.Data==value)
  17. {
  18. returnfalse;
  19. }
  20. prev=current;
  21. //当插入值小于当前结点,则继续访问左子树,否则访问右子树
  22. current=(value<prev.Data)?prev.Left:prev.Right;
  23. }
  24. current=newNode(value);//创建新结点
  25. current.BF=0;
  26. if(value<prev.Data)//如果插入值小于双亲结点的值
  27. {
  28. prev.Left=current;//成为左孩子
  29. }
  30. else//如果插入值大于双亲结点的值
  31. {
  32. prev.Right=current;//成为右孩子
  33. }
  34. path[p]=current;//将新元素插入数组path的最后
  35. //修改插入点至根结点路径上各结点的平衡因子
  36. intbf=0;
  37. while(p>0)
  38. {//bf表示平衡因子的改变量,当新结点插入左子树,则平衡因子+1
  39. //当新结点插入右子树,则平衡因子-1
  40. bf=(value<path[p-1].Data)?1:-1;
  41. path[--p].BF+=bf;//改变当父结点的平衡因子
  42. bf=path[p].BF;//获取当前结点的平衡因子
  43. //判断当前结点平衡因子,如果为0表示该子树已平衡,不需再回溯
  44. //而改变祖先结点平衡因子,此时添加成功,直接返回
  45. if(bf==0)
  46. {
  47. returntrue;
  48. }
  49. elseif(bf==2||bf==-2)//需要旋转的情况
  50. {
  51. RotateSubTree(bf);
  52. returntrue;
  53. }
  54. }
  55. returntrue;
  56. }
public bool Add(int value) //添加一个元素
        {   //如果是空树,则新结点成为二叉排序树的根
            if (_head == null)
            {
                _head = new Node(value);
                _head.BF = 0;
                return true;
            }
            p = 0;
            //prev为上一次访问的结点,current为当前访问结点
            Node prev = null, current = _head;
            while (current != null)
            {
                path[p++] = current; //将路径上的结点插入数组
                //如果插入值已存在,则插入失败
                if (current.Data == value)
                {
                    return false;
                }
                prev = current;
                //当插入值小于当前结点,则继续访问左子树,否则访问右子树
                current = (value < prev.Data) ? prev.Left : prev.Right;
            }
            current = new Node(value); //创建新结点
            current.BF = 0;
            if (value < prev.Data) //如果插入值小于双亲结点的值
            {
                prev.Left = current; //成为左孩子
            }
            else //如果插入值大于双亲结点的值
            {
                prev.Right = current; //成为右孩子
            }
            path[p] = current; //将新元素插入数组path的最后
            //修改插入点至根结点路径上各结点的平衡因子
            int bf = 0;
            while (p > 0)
            {   //bf表示平衡因子的改变量,当新结点插入左子树,则平衡因子+1
                //当新结点插入右子树,则平衡因子-1
                bf = (value < path[p - 1].Data) ? 1 : -1;
                path[--p].BF += bf; //改变当父结点的平衡因子
                bf = path[p].BF; //获取当前结点的平衡因子
                //判断当前结点平衡因子,如果为0表示该子树已平衡,不需再回溯
                //而改变祖先结点平衡因子,此时添加成功,直接返回
                if (bf == 0)
                {
                    return true;
                }
                else if (bf == 2 || bf == -2) //需要旋转的情况
                {
                    RotateSubTree(bf);
                    return true;
                }
            }
            return true;
        }
        


4.2 删除

  1. privatevoidRemoveNode(Nodenode)
  2. {
  3. Nodetmp=null;
  4. //当被删除结点存在左右子树时
  5. if(node.Left!=null&&node.Right!=null)
  6. {
  7. tmp=node.Left;//获取左子树
  8. path[++p]=tmp;
  9. while(tmp.Right!=null)//获取node的中序遍历前驱结点,并存放于tmp中
  10. {//找到左子树中的最右下结点
  11. tmp=tmp.Right;
  12. path[++p]=tmp;
  13. }
  14. //用中序遍历前驱结点的值代替被删除结点的值
  15. node.Data=tmp.Data;
  16. if(path[p-1]==node)
  17. {
  18. path[p-1].Left=tmp.Left;
  19. }
  20. else
  21. {
  22. path[p-1].Right=tmp.Left;
  23. }
  24. }
  25. else//当只有左子树或右子树或为叶子结点时
  26. {//首先找到惟一的孩子结点
  27. tmp=node.Left;
  28. if(tmp==null)//如果只有右孩子或没孩子
  29. {
  30. tmp=node.Right;
  31. }
  32. if(p>0)
  33. {
  34. if(path[p-1].Left==node)
  35. {//如果被删结点是左孩子
  36. path[p-1].Left=tmp;
  37. }
  38. else
  39. {//如果被删结点是右孩子
  40. path[p-1].Right=tmp;
  41. }
  42. }
  43. else//当删除的是根结点时
  44. {
  45. _head=tmp;
  46. }
  47. }
  48. //删除完后进行旋转,现在p指向实际被删除的结点
  49. intdata=node.Data;
  50. while(p>0)
  51. {//bf表示平衡因子的改变量,当删除的是左子树中的结点时,平衡因子-1
  52. //当删除的是右子树的孩子时,平衡因子+1
  53. intbf=(data<=path[p-1].Data)?-1:1;
  54. path[--p].BF+=bf;//改变当父结点的平衡因子
  55. bf=path[p].BF;//获取当前结点的平衡因子
  56. if(bf!=0)//如果bf==0,表明高度降低,继续后上回溯
  57. {
  58. //如果bf为1或-1则说明高度未变,停止回溯,如果为2或-2,则进行旋转
  59. //当旋转后高度不变,则停止回溯
  60. if(bf==1||bf==-1||!RotateSubTree(bf))
  61. {
  62. break;
  63. }
  64. }
  65. }
  66. }
 private void RemoveNode(Node node)
        {
            Node tmp = null;
            //当被删除结点存在左右子树时
            if (node.Left != null && node.Right != null)
            {
                tmp = node.Left; //获取左子树
                path[++p] = tmp;
                while (tmp.Right != null) //获取node的中序遍历前驱结点,并存放于tmp中
                {   //找到左子树中的最右下结点
                    tmp = tmp.Right;
                    path[++p] = tmp;
                }
                //用中序遍历前驱结点的值代替被删除结点的值
                node.Data = tmp.Data;
                if (path[p - 1] == node)
                {
                    path[p - 1].Left = tmp.Left;
                }
                else
                {
                    path[p - 1].Right = tmp.Left;
                }
            }
            else //当只有左子树或右子树或为叶子结点时
            {   //首先找到惟一的孩子结点
                tmp = node.Left;
                if (tmp == null) //如果只有右孩子或没孩子
                {
                    tmp = node.Right;
                }
                if (p > 0)
                {
                    if (path[p - 1].Left == node)
                    {   //如果被删结点是左孩子
                        path[p - 1].Left = tmp;
                    }
                    else
                    {   //如果被删结点是右孩子
                        path[p - 1].Right = tmp;
                    }
                }
                else  //当删除的是根结点时
                {
                    _head = tmp;
                }
            }
            //删除完后进行旋转,现在p指向实际被删除的结点
            int data = node.Data;
            while (p > 0)
            {   //bf表示平衡因子的改变量,当删除的是左子树中的结点时,平衡因子-1
                //当删除的是右子树的孩子时,平衡因子+1
                int bf = (data <= path[p - 1].Data) ? -1 : 1;
                path[--p].BF += bf; //改变当父结点的平衡因子
                bf = path[p].BF; //获取当前结点的平衡因子
                if (bf != 0) //如果bf==0,表明高度降低,继续后上回溯
                {
                    //如果bf为1或-1则说明高度未变,停止回溯,如果为2或-2,则进行旋转
                    //当旋转后高度不变,则停止回溯
                    if (bf == 1 || bf == -1 || !RotateSubTree(bf))
                    {
                        break;
                    }
                }
            }
        }
       

  • 0
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值