首页 >
递归
✍ dations ◷ 2025-12-09 21:37:17 #递归
递归(英语:Recursion),又译为递回,在数学与计算机科学中,是指在函数的定义中使用函数自身的方法。递归一词还较常用于描述以自相似方法重复事物的过程。例如,当两面镜子相互之间近似平行时,镜中嵌套的图像是以无限递归的形式出现的。也可以理解为自我复制的过程。在数学和计算机科学中,递归指由一种(或多种)简单的基本情况定义的一类对象或方法,并规定其他所有情况都能被还原为其基本情况。例如,下列为某人祖先的递归定义:斐波那契数列是典型的递归案例:尽管有许多数学函数均可以递归表示,但在实际应用中,递归定义的高开销往往会让人望而却步。例如:一种便于理解的心理模型,是认为递归定义对对象的定义是按照“先前定义的”同类对象来定义的。例如:你怎样才能移动100个箱子?答案:你首先移动一个箱子,并记下它移动到的位置,然后再去解决较小的问题:你怎样才能移动99个箱子?最终,你的问题将变为怎样移动一个箱子,而这时你已经知道该怎么做的。如此的定义在数学中十分常见。例如,集合论对自然数的正式定义是:1是一个自然数,每个自然数都有一个后继,这一个后继也是自然数。以下是另一个可能更有利于理解递归过程的解释:这样就有一种更有趣的描述:“为了理解递归,则必须首先理解递归。”或者更准确地,按照安德鲁·普洛特金(英语:Andrew Plotkin)的解释:“如果你已经知道了什么是递归,只需记住答案。否则,找一个比你更接近侯世达的人;然后让他/她来告诉你什么是递归。”数学中常见的以递归形式定义的案例参见函数、集合以及分形等。
、
举例:
编写一个程序使用递归求n的阶乘递归定义集关于递归定义集的经典示例,可透过自然数来说明:另一个有趣示例为,公理系统中,所有可导出命题之集合此集合称为,可导出之命题之集合,因为在数学基础方法中,依非创建性法构建的命题之集合,可能大于由公理系统及推理规则所递归构建出之集合,详细请参见 哥德尔不完备定理有限次分割法为几何形式之递归,可用以创建类分形之图案。次分割原则的运作如后所述,从多个已被有限个标签标注的多边形开始,接着每个多边形仅根据其标签,继续细切到更小的多边形,此一细切的过程可不断重复。
相关
- 巴雷斯特食道症巴雷斯特食道症(Barrett's esophagus)又称为巴洛氏食道症、巴雷特症候群、巴瑞特氏食道症,是一种食道细胞病变的症状,是远端食道黏膜的鳞状上皮细胞由柱状上皮细胞所取代的病变,
- 裂解裂解(英语:pyrolysis,或称热解、热裂、热裂解、高温裂解)指有机物质于无氧气存在下的高温(英语:Thermal decomposition)分解反应。它涉及的化学成分和物理相位的同时变化,并且是不可
- 单糖单糖(monosaccharides (源自希腊语 monos: single, sacchar: sugar), 亦称:simple sugars)是碳水化合物的一种,其结构在众多糖分子中是最简单的。味道甜美,能溶于水和会结晶。单
- 红州与蓝州红州与蓝州是指美国近年来选举得票数分布的倾向。红色为共和党的代表色,蓝色则是民主党的代表色。一般说来,在西部沿海、东北部新英格兰地区的选民投票倾向较支持民主党,故有蓝
- 狩猎猎物是任何作为动物的狩猎运动或者肉类食物的物品。世界不同地区的捕猎动物的类型和范围各不相同。在一些国家,猎物被分类,包括所需许可证的法定分类,即“小猎物”或“大猎物”
- 水俣公约《关于汞的水俣公约》(简称:《汞公约》英语:the Minamata Convention on Mercury)是一部全面对汞进行规制的国际公约。公约要求缔约国自2020年起,禁止生产及进出口含汞产品。2013
- 马其顿安提柯王朝陆军马其顿安提柯王朝陆军,是马其顿王国于安提柯王朝时期的陆上武装力量,存在时间从前276年到前168年。它是希腊化时期希腊最强大的陆军,维持到前168年彼得那战役战败为止,并被解散
- 康德伊曼努尔·康德(德语:Immanuel Kant;德语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000
- 斯拉夫人斯拉夫人(英语:Slavic peoples)是欧洲各民族和语言集团中人数最多的之一,有三亿四千万人。主要分布于东欧和中欧,语言属于斯拉夫语族。 斯拉夫人发源于今波兰东南部维斯杜拉河上
- 半乳糖血症半乳糖血症(Galactosemia)是一种遗传性代谢疾病,病患不能正常地将半乳糖代谢,但病患具有可以将乳糖分解成半乳糖与葡萄糖的酶,所以这个症状与乳糖不耐症不应混为一谈。半乳糖血症
