- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
在两周内,我一直在使用 OCaml 编写一些简单的程序。我注意到,当我们使用递归结构 T
时,我们希望在 T
上获得信息 I
,然后根据信息I
我们有两种类型的递归函数。
为了简单起见,我们假设T
是一棵二叉树。所以我将使用以下类型:
type 'a tree = Empty | 'a * 'a tree * 'a tree
现在假设信息I
可以在二叉树上从左到右计算。当我说从左到右时,意味着可以从根到叶计算信息I
,而无需向后计算。
更清楚地说,我们想要的信息I
只是“二叉树的节点数”。那么这个信息的好处是,当我们到达所有叶子时,我们就会得到I
,所以我们从左到右,从根开始,递归地向左和右扩展。子树和最终情况是我们到达叶子的时候。
所以我们只需:
let rec nodes = function
|Empty -> 0 (*it's ok we are done here*)
|Node(_,l,r) -> 1 + nodes l + nodes r
非常好的一点是,当信息可以从左到右计算时,OCaml 的模式匹配是一个非常强大的工具,并且信息 I
可以以简单的方式计算。所以更一般地说,我们有:
let rec get_information = function
| Empty -> (*here we are done so we return a constant value*)
|Node(_,l,r)-> (*here we apply recusrively the function to the left and right tree*)
现在我的问题来了。假设I
是一个不能从左到右计算而是从右到左计算的信息。所以这意味着要获取信息I
,我们需要从树的叶子开始并递归地扩展到顶部,只有当我们到达二叉树的根时我们才完成(所以最终情况是我们到达二叉树的根而不是叶子)。
例如,假设信息 I
是:“二叉树具有以下特性:对于每个节点,其左子树中的节点数严格优于其右子树中的节点数子树”。如果我们想在线性时间内解决这个问题,那么我们需要从叶子开始并递归地扩展到顶部(请注意,我不一定想要问题的解决方案)。
所以对我来说,当 I
是从右到左的信息时(它需要从叶子开始并扩展),编写一个获取信息 I
的函数是很棘手的到顶部)。相反,当信息是从左到右的信息时,模式匹配是完美的。
所以我的问题是,当我们需要编写一个获取信息I
的函数时(当I
从右到左时)怎么办?有没有技术可以解决这类问题?是否仍然可以通过一种棘手的方式使用模式匹配来获得所需的结果?
最佳答案
模式匹配对于编写这两种函数都很有用。还可以使用称为折叠的高阶函数。
首先是具体版本。我们想知道一棵树是否是左倾的,如果是的话,它有多少个节点。 int 选项
可以很好地表示这一点,None
表示任何非左倾树。
type 'a tree = Empty | Branch of 'a * 'a tree * 'a tree
let rec tree_info = function
| Empty -> Some 0
| Branch (_, l, r) ->
match tree_info l, tree_info r with
| Some x, Some y when x >= y -> Some (x + y + 1)
| _ -> None
let is_left_leaning tree =
match tree_info tree with
| Some _ -> true
| None -> false
(请注意,条件 x >= y
并不是“严格大于”,但这是故意的;x > y
是一个糟糕的选择。我会把找出原因作为练习。)
我们还可以用称为右折叠的操作来表达这种类型的函数。对于此操作,为要折叠的数据类型的每个构造函数提供一个值:在构造函数出现的每个位置,折叠操作将使用该值来计算折叠结果:
let rec foldr empty branch = function
| Empty -> empty
| Branch (x, l, r) ->
branch x (foldr empty branch l) (foldr empty branch r)
请注意,empty
值和 Empty
构造函数具有相同的元数,并且 branch
值和 Branch
构造函数具有相同的数量,以及相应的参数类型。这是右折叠的特征。
给定foldr
,我们可以轻松定义map
:
let map f tree =
foldr Empty (fun x l r -> Branch (f x, l, r)) tree
或者当然是“tree_info”:
let tree_info tree =
foldr
(Some 0)
(fun _ l r ->
match l, r with
| Some x, Some y when x >= y -> Some (x + y + 1)
| _ -> None)
tree
这是树
构造函数上模式匹配的替代方法。
关于recursion - 两种不同类型的 OCaml 递归函数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/52678402/
在本教程中,您将借助示例了解 JavaScript 中的递归。 递归是一个调用自身的过程。调用自身的函数称为递归函数。 递归函数的语法是: function recurse() {
我的类(class) MyClass 中有这段代码: public new MyClass this[int index] { get {
我目前有一个非常大的网站,大小约为 5GB,包含 60,000 个文件。当前主机在帮助我将站点转移到新主机方面并没有做太多事情,我想的是在我的新主机上制作一个简单的脚本以 FTP 到旧主机并下载整个
以下是我对 AP 计算机科学问题的改编。书上说应该打印00100123我认为它应该打印 0010012但下面的代码实际上打印了 3132123 这是怎么回事?而且它似乎没有任何停止条件?! publi
fun fact(x: Int): Int{ tailrec fun factTail(y: Int, z: Int): Int{ if (y == 0) return z
我正在尝试用c语言递归地创建线性链表,但继续坚持下去,代码无法正常工作,并出现错误“链接器工具错误 LNK2019”。可悲的是我不明白发生了什么事。这是我的代码。 感谢您提前提供的大力帮助。 #inc
我正在练习递归。从概念上讲,我理解这应该如何工作(见下文),但我的代码不起作用。 请告诉我我做错了什么。并请解释您的代码的每个步骤及其工作原理。清晰的解释比只给我有效的代码要好十倍。 /* b
我有一个 ajax 调用,我想在完成解析并将结果动画化到页面中后调用它。这就是我陷入困境的地方。 我能记忆起这个功能,但它似乎没有考虑到动画的延迟。即控制台不断以疯狂的速度输出值。 我认为 setIn
有人愿意用通俗易懂的语言逐步解释这个程序(取自书籍教程)以帮助我理解递归吗? var reverseArray = function(x,indx,str) { return indx == 0 ?
目标是找出数组中整数的任意组合是否等于数组中的最大整数。 function ArrayAdditionI(arr) { arr.sort(function(a,b){ return a -
我在尝试获取 SQL 查询所需的所有数据时遇到一些重大问题。我对查询还很陌生,所以我会尽力尽可能地描述这一点。 我正在尝试使用 Wordpress 插件 NextGen Gallery 进行交叉查询。
虽然网上有很多关于递归的信息,但我还没有找到任何可以应用于我的问题的信息。我对编程还是很陌生,所以如果我的问题很微不足道,请原谅。 感谢您的帮助:) 这就是我想要的结果: listVariations
我一整天都在为以下问题而苦苦挣扎。我一开始就有问题。我不知道如何使用递归来解决这个特定问题。我将非常感谢您的帮助,因为我的期末考试还有几天。干杯 假设有一个包含“n”个元素的整数数组“a”。编写递归函
我有这个问题我想创建一个递归函数来计算所有可能的数字 (k>0),加上数字 1 或 2。数字 2 的示例我有两个可能性。 2 = 1+1 和 2 = 2 ,对于数字 3 两个 poss。 3 = 1+
目录 递归的基础 递归的底层实现(不是重点) 递归的应用场景 编程中 两种解决问题的思维 自下而上(Bottom-Up) 自上而下(Top-
0. 学习目标 递归函数是直接调用自己或通过一系列语句间接调用自己的函数。递归在程序设计有着举足轻重的作用,在很多情况下,借助递归可以优雅的解决问题。本节主要介绍递归的基本概念以及如何构建递归程序。
我有一个问题一直困扰着我,希望有人能提供帮助。我认为它可能必须通过递归和/或排列来解决,但我不是一个足够好的 (PHP) 程序员。 $map[] = array("0", "1", "2", "3")
我有数据 library(dplyr, warn.conflicts = FALSE) mtcars %>% as_tibble() %>% select(mpg, qsec) %>% h
在 q 中,over 的常见插图运算符(operator) /是 implementation of fibonacci sequence 10 {x,sum -2#x}/ 1 1 这确实打印了前 1
我试图理解以下代码片段中的递归调用。 static long fib(int n) { return n <= 1 ? n : fib(n-1) + fib(n-2); } 哪个函数调用首先被
我是一名优秀的程序员,十分优秀!