Scheme 的表达, 优雅.



#lang scheme



( define nil '() )

( define ( root tree )( car tree ) )

( define ( left-tree tree )( cadr tree ) )

( define ( right-tree tree )( caddr tree ) )

( define ( height tree )

   ( cond [ ( null? tree ) 0 ]

          [ else ( cadddr tree ) ] ) )



( define ( make-leaf elem )( list elem nil nil 1 ) )



( define ( make-avl-tree root left right )

   ( list root left right ( + 1 ( max ( height left )

                                      ( height right ) ) ) ) )



( define ( contains-elem?

elem tree )

   ( cond [ ( null? tree ) false ]

          [ ( = elem ( root tree ) ) true ]

          [ ( < elem ( root tree ) )

            ( contains-elem?

elem ( left-tree tree ) ) ]

          [ ( > elem ( root tree ) )

            ( contains-elem? elem ( right-tree tree ) ) ] ) )



( define ( rotate-left-left tree )

   ( cond [ ( null? tree ) tree ]

          [ else ( make-avl-tree ( root ( left-tree tree ) )

                                 ( left-tree ( left-tree tree ) )

                                 ( make-avl-tree ( root tree )

                                                 ( right-tree ( left-tree tree ) )

                                                 ( right-tree tree ) )  ) ] ) )



( define ( rotate-right-right tree )

   ( cond [ ( null? tree ) tree ]

          [ else ( make-avl-tree ( root ( right-tree tree ) )

                                 ( make-avl-tree ( root tree )

                                                 ( left-tree tree )

                                                 ( left-tree ( right-tree tree ) ) ) 

                                 ( right-tree ( right-tree tree ) ) ) ] ) )



( define ( rotate-right-left tree )

   ( cond [ ( null?

tree ) tree ]

          [ else ( make-avl-tree ( left-tree ( right-tree tree ) )

                                 ( make-avl-tree ( root tree )

                                                 ( left-tree tree )

                                                 ( left-tree ( left-tree ( right-tree tree ) ) ) )

                                 ( make-avl-tree ( root ( right-tree tree ) )

                                                 ( right-tree ( left-tree ( right-tree tree ) ) )

                                                 ( right-tree ( right-tree tree ) ) ) ) ] ) )



( define ( rotate-left-right tree )

   ( cond [ ( null?

tree ) tree ]

          [ else ( make-avl-tree ( root ( right-tree ( left-tree tree ) ) )

                                 ( make-avl-tree ( root ( left-tree tree ) )

                                                 ( left-tree ( left-tree tree ) )

                                                 ( left-tree ( right-tree ( left-tree tree ) ) ) )

                                 ( make-avl-tree ( root tree )

                                                 ( right-tree ( right-tree ( left-tree tree ) ) )

                                                 ( right-tree tree ) ) ) ] ) )



( define ( balance-avl-tree tree )

   ( define ( factor tree )

      ( - ( height ( right-tree tree ) )

          ( height ( left-tree tree ) ) ) )

   ( let ( [ f ( factor tree ) ] )

      ( cond [ ( = f 2 )

               ( cond [ ( < ( factor ( right-tree tree ) ) 0 )

                        ( rotate-right-left tree ) ]

                      [ else ( rotate-right-right tree ) ] ) ]

             [ ( = f -2 )

               ( cond [ ( > ( factor ( left-tree tree ) ) 0 )

                        ( rotate-left-right tree ) ]

                      [ else ( rotate-left-left tree ) ] ) ]

             [ else tree ] ) ) )



( define ( insert-elem elem tree )

   ( define ( insert-in-son elem tree )

      ( cond [ ( null? tree )

               ( make-leaf elem ) ]

             [ ( < elem ( root tree ) )

               ( let* ( [ newLeftTree ( insert-in-son elem ( left-tree tree ) ) ]

                        [ newAVLTree ( make-avl-tree ( root tree )

                                                     newLeftTree

                                                     ( right-tree tree ) ) ] )

                  ( balance-avl-tree newAVLTree ) ) ]

             [ ( > elem ( root tree ) )

               ( let* ( [ newRightTree ( insert-in-son elem ( right-tree tree ) ) ]

                        [ newAVLTree ( make-avl-tree ( root tree )

                                                     ( left-tree tree )

                                                     newRightTree ) ] )

                  ( balance-avl-tree newAVLTree ) ) ]

             [ else tree ] ) )

   ( cond [ ( contains-elem? elem tree ) tree ]

          [ else ( insert-in-son elem tree ) ] ) )



( define ( delete-elem elem tree )

   ( define ( delete-left-most tree )

      ( cond [ ( left-empty? tree ) tree ]

             [ else ( let* ( [ leftMost ( delete-left-most ( left-tree tree ) ) ]

                             [ newRightTree ( make-avl-tree ( root tree )

                                                            ( right-tree leftMost )

                                                            ( right-tree tree ) ) ] )

                       ( make-avl-tree ( root leftMost )

                                       nil

                                       ( balance-avl-tree newRightTree ) ) ) ] ) )

   ( define ( delete-in-son elem tree )

      ( cond [ ( < elem ( root tree ) )

               ( let* ( [ newLeftTree ( delete-in-son elem ( left-tree tree ) ) ]

                        [ newAVLTree ( make-avl-tree ( root tree )

                                                     newLeftTree

                                                     ( right-tree tree ) ) ] )

                  ( balance-avl-tree newAVLTree ) ) ]

             [ ( > elem ( root tree ) )

               ( let* ( [ newRightTree ( delete-in-son elem ( right-tree tree ) ) ]

                        [ newAVLTree ( make-avl-tree ( root tree )

                                                     ( left-tree tree )

                                                     newRightTree ) ] )

                  ( balance-avl-tree newAVLTree ) ) ]

             [ ( = elem ( root tree ) )

               ( cond [ ( and ( right-empty? tree )

                              ( left-empty? tree ) )

                        nil ]

                      [ ( right-empty? tree )

                        ( left-tree tree ) ]

                      [ ( left-empty? tree )

                        ( right-tree tree ) ]

                      [ else ( let ( [ leftMost ( delete-left-most ( right-tree tree ) ) ] )

                                ( make-avl-tree ( root leftMost )

                                                ( left-tree tree )

                                                ( right-tree leftMost ) ) ) ] ) ] ) )

   ( define ( left-empty? tree )( null?

( left-tree tree ) ) )

   ( define ( right-empty? tree )( null?

( right-tree tree ) ) )

   ( cond [ ( contains-elem?

elem tree )

            ( delete-in-son elem tree ) ]

          [ else tree ] ) )



( define ( list->avl elems )

   ( define ( iter elems tree )

      ( cond [ ( null?

elems ) tree ]

             [ else ( iter ( cdr elems ) 

                           ( insert-elem ( car elems ) tree ) ) ] ) )

   ( cond [ ( null? elems ) '() ]

          [ else ( let( [ avl ( make-leaf ( car elems ) ) ] )

                    ( iter ( cdr elems ) avl ) ) ] ) )







高度平衡树 -- AVL 树的更多相关文章

  1. 【数据结构】平衡二叉树—AVL树

    (百度百科)在计算机科学中,AVL树是最先发明的自平衡二叉查找树.在AVL树中任何节点的两个子树的高度最大差别为一,所以它也被称为高度平衡树.查找.插入和删除在平均和最坏情况下都是O(log n).增 ...

  2. AVL树(一)之 图文解析 和 C语言的实现

    概要 本章介绍AVL树.和前面介绍"二叉查找树"的流程一样,本章先对AVL树的理论知识进行简单介绍,然后给出C语言的实现.本篇实现的二叉查找树是C语言版的,后面章节再分别给出C++ ...

  3. AVL树的左旋右旋理解 (转)

    AVL树是最先发明的自平衡二叉查找树.在AVL树中任何节点的两个子树的高度最大差别为一,所以它也被称为高度平衡树.查找.插入和删除在平均和最坏情况下都是O(log n).增加和删除可能需要通过一次或多 ...

  4. 简单数据结构———AVL树

    C - 万恶的二叉树 Crawling in process... Crawling failed Time Limit:1000MS     Memory Limit:32768KB     64b ...

  5. 算法二叉搜索树之AVL树

    最近学习了二叉搜索树中的AVL树,特在此写一篇博客小结. 1.引言 对于二叉搜索树而言,其插入查找删除等性能直接和树的高度有关,因此我们发明了平衡二叉搜索树.在计算机科学中,AVL树是最先发明的自平衡 ...

  6. AVL树,红黑树

    AVL树 https://baike.baidu.com/item/AVL%E6%A0%91/10986648 在计算机科学中,AVL树是最先发明的自平衡二叉查找树.在AVL树中任何节点的两个子树的高 ...

  7. AVL树的理解及自写AVL树

    AVL树是最先发明的自平衡二叉查找树.在AVL树中任何节点的两个子树的高度最大差别为一,所以它也被称为高度平衡树.查找.插入和删除在平均和最坏情况下都是O(log n).增加和删除可能需要通过一次或多 ...

  8. 红黑树与AVL树

    概述:本文从排序二叉树作为引子,讲解了红黑树,最后把红黑树和AVL树做了一个比较全面的对比. 1 排序二叉树 排序二叉树是一种特殊结构的二叉树,可以非常方便地对树中所有节点进行排序和检索. 排序二叉树 ...

  9. AVL树的实现——c++

    一.概念 AVL树是根据它的发明者G.M. Adelson-Velsky和E.M. Landis命名的.它是最先发明的自平衡二叉查找树,也被称为高度平衡树.相比于"二叉查找树",它 ...

随机推荐

  1. Python的网络编程[6] -> Modbus 协议 -> Modbus 的基本理论与 Python 实现

    Modbus协议 / Modbus Protocol 目录 Modbus 协议简介 Modbus RTU协议 Modbus TCP协议与 Python 实现 Modbus 功能码 Modbus TCP ...

  2. CSS,HTML页面定制

    /*simplememory*/ #google_ad_c1, #google_ad_c2 {display:none;} .syntaxhighlighter a, .syntaxhighlight ...

  3. 路由器漏洞利用工具RouterSploit

     路由器漏洞利用工具RouterSploit 网络中存在大量的嵌入式设备,如路由器.智能摄像头.这类设备安全防护程度较低.由于这些设备更新不方便,一旦发现漏洞,往往不能及时修复.所以,在网络渗透测试中 ...

  4. JAVA中使用freemark生成自定义文件(json、excel、yaml、txt)

    原文:http://blog.csdn.net/jinzhencs/article/details/51461776 场景:在我们工作中,有时需要生成一些文件,可能它不是一种标准的格式,比如JSON. ...

  5. nodejs处理高并发问题

      做了一个nodejs并发测试,先描述一下环境 数据库mysql,大概两张表,读取第一张表test的数据,拿出来-1,存到第二张testlog表记录一下,用jmeter同事模拟50个请求,结果发现, ...

  6. 遨游maxthon打开页面一片黑色,百度地图等黑屏解决办法

    遨游maxthon使用webkit极速核心,打开百度地图等页面一片黑色,黑屏了. 找了好久,不知道什么问题. 版本一样,都是4.4.xxx版本.另外一台机器又正常. 后来上傲游社区,好多人也有这个问题 ...

  7. centos7 mongodb3.2与3.4版本安装(转)

    一.安装环境及配置yum vi /etc/yum.repos.d/mongodb-org-3.2.repo [mongodb-org-3.2] name=MongoDB Repository base ...

  8. 关于hibernate中映射中有many to one等外键关联时的问题

    hibernate中的对象的3种状态的理解及导致报错object references an unsaved transient instance - save the transient insta ...

  9. Filter及FilterChain的详解

    一.Filter的介绍及使用 什么是过滤器? 与Servlet相似,过滤器是一些web应用程序组件,可以绑定到一个web应用程序中.但是与其他web应用程序组件不同的是,过滤器是"链&quo ...

  10. 使用JProfiler分析定位java内存泄露memory leak

    使用jprofiler远程profile JBoss应用服务器 项目中发现JBoss出现内存泄露, 从2G一直涨到3.5G左右 开始考虑使用jmap dump出内存来, 在用jhap打开浏览器分析. ...