函数式编程实验3/华科

任务一

编写函数listToTree: int list -> tree，将一个表转换成一棵平衡树。

提示：可调用split函数，split函数定义如下：

如果L非空，则存在L1, x, L2，满足：

split L = (L1, x, L2) 且 L = L1 @ x :: L2 且 length(L1)和length(L2)差值小于1。

datatype tree=Empty | Node of tree*int*tree;fun split [] =([],[])| split [x]=([],[x])| split (x::y::L)=let val (A,B)=split Lin (x::A,y::B)end;fun listToTree []=Empty| listToTree L=let val( l1 , x::r1 ) = split Lin Node(listToTree l1,x,listToTree r1)end;

对于递归的深刻理解（在这门课上，上课听讲，会对递归有一个更深的认识），listToTree得到的是平衡树

Node(listToTree l1 , x , listToTree r1)得到的一定也是平衡树

任务二

编写函数revT: tree -> tree，对树进行反转，使trav(revT t) = reverse(trav t)。（trav为树的中序遍历函数）。假设输入参数为一棵平衡二叉树，验证程序的正确性，并分析该函数的执行性能（work和span）。

fun revT Empty:tree=Empty:tree|  revT (Node(l1,x,r1))=Node(revT r1,x,revT l1);

同上，递归的思路，大一上的数据结构课里有类似的递归算法

work = O(n)

span = O(log n)

任务三

编写函数binarySearch: tree * int -> bool。当输入参数1为有序树时，如果树中包含值为参数2的节点，则返回true；否则返回false。要求：程序中请使用函数Int.compare（系统提供），不要使用<, =, >。

datatype order = GREATER | EQUAL | LESSfun binarySearch (Empty,x)=false|  binarySearch (Node(L,x,R),y)= case Int.compare(x,y) ofEQUAL => true|    _    => binarySearch(L,y) orelse binarySearch(R,y);

还是数据结构里树的思想

任务四

一棵minheap树定义为： 1. t is Empty; 2. t is a Node(L, x, R), where R, L are minheaps and values(L), value® >= x (value(T)函数用于获取树T的根节点的值）

编写函数

treecompare, SwapDown 和heapify：treecompare: tree * tree -> order(* when given two trees, returns a value of type order, based on which tree has a largervalue at the root node *)

fun treecompare (Empty,Empty) = EQUAL
|   treecompare (Node(l,x,r),Empty)=GREATER
|   treecompare (Empty,Node(l,x,r))=LESS
|   treecompare (Node(l1,x,r1),Node(l2,y,r2))=Int.compare(x,y);

SwapDown: tree -> tree(* REQUIRES the subtrees of t are both minheaps* ENSURES swapDown(t) = if t is Empty or all of t’s immediate children are empty then* just return t, otherwise returns a minheap which contains exactly the elements in t. *)

fun SwapDown Empty=Empty| SwapDown (Node(Empty,x,Empty))=Node(Empty,x,Empty)| SwapDown (Node(Empty,x,R)) =let val Node(l,t,r) = Rin  case Int.compare(x,t) ofGREATER => Node(Empty,t,SwapDown(Node(l,x,r)))| _ => Node(l,t,r)end| SwapDown (Node(L,x,Empty)) =let val Node(l,t,r) = Lin    case Int.compare(x,t) ofGREATER => Node(SwapDown(Node(l,x,r)),t,Empty)| _ => Node(l,t,r)end| SwapDown (Node(L,x,R))=let val Node(l1,x1,r1)=L val Node(l2,x2,r2)=Rin case treecompare(L,R) ofGREATER => if Int.compare(x,x2)=GREATER then Node(L,x2,SwapDown(Node(l2,x,r2)))else Node(L,x,R)|  _ => if Int.compare(x,x1)=GREATERthen Node(SwapDown(Node(l1,x,r1)),x1,R)else Node(L,x,R)end;

可以参考数据结构堆排序，最小堆

函数式编程实验3/华科相关推荐

java实验四集合与函数式编程实验
(2020.4.28版) desktop/javacode/javatesthomework4 5.12版改了StudentServiceImpl 为stream方式 5.19 优化removeif ...
JAVA实验四集合与函数式编程实验
前言:代码是分开写的,大家用的时候写在一个包里面就行题目内容: 在com.experiment04.entity下,创建Student类,代码如下: 在com.experiment04.resour ...
Standard ML泛函程序函数式编程
Standard ML函数式编程实验提示实验实例1 实验实例2 实验实例3 华中科技大学函数式编程实验提示在'-'提示符下直接输入SML语句,以分号结束; 表达式计算的结果缺省赋值给变量&qu ...
Java实验（4）集合与函数式编程
一.实验目的 1.掌握集合的基本操作方法 2.掌握Lambda表达式的声明编写规范 3.掌握基于集合Stream的过滤/映射/聚合等操作 4.掌握基于函数式编程集合元素的移除方法 1.实验的目的是掌握 ...
函数式编程的兴衰与当前之崛起
本文作者: Eric Elliott 编译:胡子大哈翻译原文:http://huziketang.com/blog/posts/detail?postId=58e3062ba58c240ae35bb ...
用Lambda表达式进行函数式编程
Visual Studio 2008正式发布了,我们.NET开发者也走进了新的.NET 3.5时代.相对于.NET 3.0中的Foundations,3.5的改进更注重编码体验了.新的Linq系列语法 ...
函数式编程中的两个棘手问题
作者 | Matthew Butterick 译者 | 弯月出品 | CSDN(ID:CSDNnews) 大约从十年前,我开始使用Lisp编程语言,后来我喜欢上了函数式编程.每当使用非Lisp语言 ...
【廖雪峰官方网站/Java教程】函数式编程
本博客是函数式编程这一节的学习笔记,网址:https://www.liaoxuefeng.com/wiki/1252599548343744/1255943847278976 这一节课内容分为3个主题 ...
182_赵陈雄_java核心编程实验
Java-核心编程实验课笔记(一) 一:Java特性和优势 1:简单性 2:面向对象 3:可移植性 4:高性能 5:分布式 6:动态性 7:多线程 8:安全性 9:健壮性二:Java程序运行机制 1 ...
JavaScript 什么是函数式编程
原文: Master the JavaScript Interview: What is Functional Programming? 译文: 什么是函数式编程?什么是命令式?声明式 - 一起学习可 ...

函数式编程实验3/华科

任务一

任务二

任务三

任务四

函数式编程实验3/华科相关推荐

最新文章

热门文章