![](https://img-blog.csdnimg.cn/20201014180756922.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
Standard ML
文章平均质量分 78
Numlogn
这个作者很懒,什么都没留下…
展开
-
SML—括号最大匹配距离问题(一)
暴力求解算法fun parenMatch (parens : paren seq) : bool = let fun pm ((NONE, _) | (SOME 0, CPAREN)) = NONE | pm (SOME c, CPAREN) = SOME (c-1) | pm (SOME c, OPAREN) = SOME (c+1)原创 2016-11-17 16:24:40 · 1328 阅读 · 0 评论 -
SML-大数运算问题
大数相加求解思路:对于carry状态,两串对应bit相加,结果为ONE+ONE=ZERO则标记GEN,为ONE标记PROP,ZERO+ZERO=ZERO标记为STOP定义copy函数,使得用scani copy 操作上述所得串,GEN开始向右将非STOP标记的所有bit修改为ZERO,遇到STOP标记的ZERO停止,并将之改为ONE对于GEN右侧所有的GEN标记过的bit进行加一操原创 2016-12-03 21:01:05 · 1713 阅读 · 0 评论 -
SML-Abridgelab
Abridgelab实验背景本实验主要研究了割边(桥)的寻找算法(Tarjan)以及A*启发式算法实验细节1 Bridges假设有连通图G,e是其中一条边,如果G-e是不连通的,则边e是图G的一条割割边,即桥。此情形下,G-e必包含两个连通分支。1.1 makeGraph makeGraph : edge seq -> ugraph type vertex = in原创 2017-02-07 10:10:22 · 640 阅读 · 0 评论 -
SML-Segmentlab
Segmentlab实验背景本实验研究了如何将星型收缩法应用至生成无向图的最小生成树的方法(Bor˚ uvka’s Algorithm),并在此基础上通过Python处理图像实验细节1 Bor˚ uvka’s Algorithm1.1 MSTMST : edge seq * int -> edge seq函数功能:生成所给图的最小生成树,并以edge seq 的形式原创 2017-02-07 18:51:55 · 678 阅读 · 0 评论 -
SML-Babblelab
Babblelab实验背景“图灵测试”是指测试者在与被测试者(一个人和一台机器)隔开的情况下,通过一些装置(如键盘)向被测试者随意提问。进行多次测试后,如果有超过30%的测试者不能确定出被测试者是人还是机器,那么这台机器就通过了测试,并被认为具有人类智能。本实验设计了一个算法,使得机器能够通过图灵测试。即通过对所提供的文本进行分析,根据每个词之后的一定词数范围内的词出现的频率决定机器所原创 2017-02-06 10:09:31 · 678 阅读 · 0 评论 -
SML-Thesauruslab
Thesauruslab实验背景在所给的字典或者词料库之中,给定任意两个词,出乎意料地,一般可以找到一条或者多条语义线路,使得在找寻一个词的同义词的过程之中,完成找寻给定的另外一个往往毫不相干的词的工作。本实验首先通过设计算法解决无向图的最短路径问题(ASP),其次视词间的同一关系为边,以此给出两个词之间的变化线路。实验细节1 Unweighted Shortest Paths原创 2017-02-06 17:49:53 · 668 阅读 · 0 评论 -
SML-Dplab
Dplab实验背景本实验介绍了一种快速的横向或者纵向缩放图片的算法,采用了动态规划的思想,即通过找寻一张图中像素相近的一条条“缝”,然后去这条缝上的全部像素,这样的话删除多条缝即可达到缩放的目的。实验代码functor MkSeamFind(structure Seq : SEQUENCE) : SEAMFIND =struct structure Seq = Seq o原创 2017-02-14 20:09:50 · 599 阅读 · 0 评论 -
SML-Rangelab
Rangelab实验背景为实现范围查找,设计orderTable数据结构,本实验实现了一些基本的接口,并实现一定条件下的Rane query实验细节1 Ordered Tables思路:原创 2017-02-06 21:42:20 · 605 阅读 · 0 评论