跳转到内容

递归 (电脑科学)

本页使用了标题或全文手工转换
维基百科,自由的百科全书

递归(英语:recursion)在电脑科学中是指一种通过重复将问题分解为同类的子问题而解决问题的方法。[1] 递归式方法可以被用于解决很多的电脑科学问题,因此它是电脑科学中十分重要的一个概念。[2] 绝大多数编程语言支持函数的自调用,在这些语言中函数可以通过调用自身来进行递归。计算理论可以证明递归的作用可以完全取代循环,因此有很多在函数编程语言(如Scheme)中用递归来取代循环的例子。

电脑科学家尼克劳斯·维尔特如此描述递归:

递归的强大之处在于它允许用户用有限的语句描述无限的物件。因此,在电脑科学中,递归可以被用来描述无限步的运算,尽管描述运算的程序是有限的。

递归程序

java

public void recursiveTest(){
    recursiveTest();  //自己调用自己,就叫递归
}

python

def RecursiveTest():
    RecursiveTest()  # 自己调用自己

以上两个程序是最简单的递归,但因为无限地调用自己而不会停下,就会因为栈空间溢出而导致程序产生异常而强制停止,而python会因为自身设置的保护措施(限定递归的循环次数,但该次数可更改)而不断抛出异常。

所以如果想要设计一个递归程序,就必须注意设定一个表达式判断(例如if语句)来告诉程序是否应该继续递归下去。[4]

应用

在支持自调用的编程语言中,递归可以通过简单的函数调用来完成,如计算阶乘的程序在数学上可以定义为:

这一程序在Scheme语言中可以写作:

(define (factorial n)
  (if (= n 0)
      1
      (* n (factorial (- n 1)))))

不动点组合子

即使一个编程语言不支持自调用,如果在这语言中函数头等物件(即可以在执行期创建并作为变量处理),递归可以通过不动点组合子(英语:Fixed-point combinator)来产生。以下Scheme程序没有用到自调用,但是利用了一个叫做Z 算子(英语:Z combinator)的不动点组合子,因此同样能达到递归的目的。

(define Z
  (lambda (f)
    ((lambda (recur) (f (lambda arg (apply (recur recur) arg))))
     (lambda (recur) (f (lambda arg (apply (recur recur) arg)))))))

(define fact
  (Z (lambda (f)
       (lambda (n)
         (if (<= n 0)
             1
             (* n (f (- n 1))))))))

这一程序思路是,既然在这里函数不能调用其自身,我们可以用 Z 组合子应用(application)这个函数后得到的函数再应用需计算的参数。

尾部递归

尾部递归是指递归函数在调用自身后直接传回其值,而不对其再加运算。尾部递归与循环是等价的,而且在一些语言(如Scheme中)可以被优化为循环指令。 因此,在这些语言中尾部递归不会占用调用堆栈空间。以下Scheme程序同样计算一个数字的阶乘,但是使用尾部递归[5]

(define (factorial n)
  (define (iter product counter)
    (if (> counter n)
        product
        (iter (* counter product)
              (+ counter 1))))
  (iter 1 1))

能够解决的问题

1、数据的定义是按递归定义的。如费氏数列

2、问题解法按递归算法实现。如汉诺塔

3、数据的结构形式是按递归定义的。如二叉树、广义表等。

递归资料

资料类型可以通过递归来进行定义,比如一个简单的递归定义为自然数的定义:“一个自然数或等于0,或等于另一个自然数加上1”。Haskell中可以定义链接串列为:

data ListOfStrings = EmptyList | Cons String ListOfStrings

这一定义相当于宣告“一个链接串列或是空列表,或是一个链接串列之前加上一个字符串”。可以看出所有链接串列都可以通过这一递归定义来达到。

参考文献

  1. ^ Graham, Ronald; Donald Knuth, Oren Patashnik. Concrete Mathematics. 1990. Chapter 1: Recurrent Problems [2011-12-22]. (原始内容存档于2020-11-06) (英语). 
  2. ^ Epp, Susanna. Discrete Mathematics with Applications 2nd. 1995: 427 (英语). 
  3. ^ Wirth, Niklaus. Algorithms + Data Structures = Programs. Prentice-Hall. 1976: 126 (英语). The power of recursion evidently lies in the possibility of defining an infinite set of objects by a finite statement. In the same manner, an infinite number of computations can be described by a finite recursive program, even if this program contains no explicit repetitions. 
  4. ^ 廖雪峰. 递归函数. [2018年8月18日11:19:21]. (原始内容存档于2018年9月24日). 
  5. ^ Harold Abelson and Gerald Jay Sussman with Julie Sussman. Structure and Interpretation of Computer Programs. Cambridge, MA: MIT Press. 1996 [2011]. ISBN 0-262-01153-0. (原始内容存档于2018-03-09) (英语).