递归

时间 2019-11-11

原文原文链接

程序调用自身的编程技巧称为递归（ recursion）。递归作为一种算法在程序设计语言中普遍应用。一个过程或函数在其定义或说明中有直接或间接调用自身的一种方法，它一般把一个大型复杂的问题层层转化为一个与原问题类似的规模较小的问题来求解，递归策略只需少许的程序就可描述出解题过程所须要的屡次重复计算，大大地减小了程序的代码量。递归的能力在于用有限的语句来定义对象的无限集合。通常来讲，递归须要有边界条件、递归前进段和递归返回段。当边界条件不知足时，递归前进；当边界条件知足时，递归返回。算法

递归定义

递归，就是在运行的过程当中调用本身。

构成递归需具有的条件：

函数嵌套调用过程示例

1. 子问题须与原始问题为一样的事，且更为简单；

2. 不能无限制地调用自己，须有个出口，化简为非递归情况处理。

在数学和计算机科学中，递归指由一种（或多种）简单的基本状况定义的一类对象或方法，并规定其余全部状况都能被还原为其基本状况。

例如，下列为某人祖先的递归定义：

某人的双亲是他的祖先（基本状况）。某人祖先的双亲一样是某人的祖先（递归步骤）。斐波纳契数列（Fibonacci Sequence），又称黄金分割数列，指的是这样一个数列：一、一、二、三、五、八、1三、21..... I[1]

斐波纳契数列是典型的递归案例：

递归关系就是实体本身和本身创建关系。

Fib(0) = 1 [基本状况] Fib(1) = 1 [基本状况] 对全部n > 1的整数：Fib(n) = (Fib(n-1) + Fib(n-2)) [递归定义] 尽管有许多数学函数都可以递归表示，但在实际应用中，递归定义的高开销每每会让人望而却步。例如：

阶乘（1) = 1 [基本状况] 对全部n > 1的整数：阶乘（n) = (n * 阶乘（n-1)) [递归定义] 一种便于理解的心理模型，是认为递归定义对对象的定义是按照“先前定义的”同类对象来定义的。例如：你怎样才能移动100个箱子？答案：你首先移动一个箱子，并记下它移动到的位置，而后再去解决较小的问题：你怎样才能移动99个箱子？最终，你的问题将变为怎样移动一个箱子，而这时你已经知道该怎么作的。

如此的定义在数学中十分常见。例如，集合论对天然数的正式定义是：1是一个天然数，每一个天然数都有一个后继，这一个后继也是天然数。

德罗斯特效应

德罗斯特效应是递归的一种视觉形式。图中女性手持的物体中有一幅她本人手持同一物体的小图片，进而小图片中还有更小的一幅她手持同一物体的图片，依此类推。

又例如，咱们在两面相对的镜子之间放一根正在燃烧的蜡烛，咱们会从其中一面镜子里看到一根蜡烛，蜡烛后面又有一面镜子，镜子里面又有一根蜡烛……这也是递归的表现。

递归应用

递归算法通常用于解决三类问题：

(1)数据的定义是按递归定义的。（Fibonacci函数）

(2)问题解法按递归算法实现。

这类问题虽则自己没有明显的递归结构，但用递归求解比迭代求解更简单，如Hanoi问题。

(3)数据的结构形式是按递归定义的。

如二叉树、广义表等，因为结构自己固有的递归特性，则它们的操做可递归地描述。

递归的缺点：

递归算法解题相对经常使用的算法如普通循环等，运行效率较低。所以，应该尽可能避免使用递归，除非没有更好的算法或者某种特定状况，递归更为适合的时候。在递归调用的过程中系统为每一层的返回点、局部量等开辟了栈来存储。递归次数过多容易形成栈溢出等。

递归典型问题：梵塔问题（汉诺塔问题）

已知有三根针分别用A, B, C表示，在A中从上到下依次放n个从小到大的盘子，现要求把全部的盘子

从A针所有移到B针，移动规则是：可使用C临时存放盘子，每次只能移动一块盘子，并且每根针上

不能出现大盘压小盘，找出移动次数最小的方案.

[2]

 
        /*Name:HANOITOWER 
       
        *Description:solvethehanoitowerproblembyrecursion 
       
        */ 
       
        #include<stdio.h> 
       
        #include<stdlib.h> 
       
        /*movenplates:from-->to, 
       
        *thebuffercanbeusedifneeded*/ 
       
        inthanoi(intn,charfrom,charbuffer,charto) 
       
        { 
       
        if 
        (n==1) 
       
        { 
       
        /*movetheNO.1platedirectly:from-->to*/ 
       
        printf 
        ( 
        "Moveplate#%dfrom%cto%c\n" 
        ,n,from,to); 
       
        /*theNO.1plateismovedsoreturn*/ 
       
        return0; 
       
        } 
       
        else 
       
        { 
       
        /*nplatestobemoved:from-->to, 
       
        *movethen-1platesabove:from-->buffer, 
       
        *givethistasktothenextrecursion*/ 
       
        hanoi(n-1,from,to,buffer); 
       
        /*then-1platesaboveweremovedtobuffer, 
       
        *sotheNO.nplatecanbemoveddirectly*/ 
       
        printf 
        ( 
        "Moveplate#%dfrom%cto%c\n" 
        ,n,from,to); 
       
        /*howeverthen-1platesarestillinbuffer, 
       
        *movethemtotheterminalposition, 
       
        *(the"from"positionhasnoplate,&canbeoneso-calledbuffer)*/ 
       
        hanoi(n-1,buffer,from,to); 
       
        /*thetaskgivenisdonesoreturn*/ 
       
        return0; 
       
        } 
       
        } 
       
        intmain() 
       
        { 
       
        #defineN4 
       
        /*NplatesinA,let'smovethemtoC*/ 
       
        hanoi(N, 
        'A' 
        , 
        'B' 
        , 
        'C' 
        ); 
       
        return0; 
       
        }

如：

 
        //pascal 
       
        procedurea; 
       
        begin 
       
        a; 
       
        end;

这种方式是直接调用.

又如：

 
        //pascal 
       
        procedureb; 
       
        begin 
       
        c; 
       
        end; 
       
        procedurec; 
       
        begin 
       
        b; 
       
        end;

这种方式是间接调用.

例1计算n!可用递归公式以下：

1 当 n=0 时

fac(n)={n*fac(n-1) 当n>0时

可编写程序以下：

 
        //pascal 
       
        programfac2; 
       
        var 
       
        n:integer; 
       
        functionfac(n:integer):real; 
       
        begin 
       
        ifn=0thenfac:=1elsefac:=n*fac(n-1)； 
       
        end; 
       
        begin 
       
        write( 
        'n=' 
        );readln(n); 
       
        writeln( 
        'fac(' 
        ,n, 
        ')=' 
        ,fac(n):6:0); 
       
        end.

例2 楼梯有n阶台阶，上楼能够一步上1阶，也能够一步上2阶，编一程序计算共有多少种不一样的走法.

设n阶台阶的走法数为f(n)

显然有

1 n=1

f(n)={2 n=2

f(n-1)+f(n-2) n>2

可编程序以下：

 
        //pascal 
       
        programlouti; 
       
        varn:integer; 
       
        functionf(x:integer):integer; 
       
        begin 
       
        ifx=1thenf:=1else 
       
        ifx=2thenf:=2elsef:=f(x-1)+f(x-2); 
       
        end; 
       
        begin 
       
        write( 
        'n=' 
        );read(n); 
       
        writeln( 
        'f(' 
        ,n, 
        ')=' 
        ,f(n)) 
       
        end.

2.2 如何设计递归算法

1.肯定递归公式

2.肯定边界（终了)条件

练习：

用递归的方法完成下列问题

1.求数组中的最大数

2.1+2+3+...+n

3.求n个整数的积

4.求n个整数的平均值

5.求n个天然数的最大公约数与最小公倍数

6.有一对雌雄兔，每两个月就繁殖雌雄各一对兔子.问n个月后共有多少对兔子

7.已知：数列1,1,2,4,7,13,24,44,...求数列的第 n项.

2.3典型例题

例3 快速排序

快速排序的思想是：先从数据序列中选一个元素,并将序列中全部比该元素小的元素都放到它的右边或左边，再对左右两边分别用一样的方法处之直到每个待处理的序列的长度为1,处理结束.

程序以下：

 
        programkspv; 
       
        var 
       
        a:array[0..10000]oflongint; 
       
        i,n:integer; 
       
        procedurequicksort(l,r:longint); 
       
        vari,j,mid:longint; 
       
        begin 
       
        i:=l;j:=r;mid:=a[(l+r)div2]; 
       
        repeat 
       
        whilea[i]<middoinc(i); 
       
        whilea[j]>middodec(j); 
       
        ifi<=jthen 
       
        begin 
       
        a[0]:=a[i];a[i]:=a[j];a[j]:=a[0]; 
       
        inc(i);dec(j); 
       
        end; 
       
        untili>j; 
       
        ifi<rthenquicksort(i,r); 
       
        ifl<jthenquicksort(l,j); 
       
        end; 
       
        begin 
       
        write( 
        'inputdata:' 
        ); 
       
        readln(n); 
       
        fori:=1tondoread(a[i]); 
       
        writeln; 
       
        quicksort(1,n); 
       
        write( 
        'outputdata:' 
        ); 
       
        fori:=1tondowrite(a[i], 
        '' 
        ); 
       
        writeln; 
       
        end.

练习：

1.计算ackerman函数值:

n+1 m=0

ack(m,n)={ ack(m-1,1) m<>0,n=0

ack(m-1,ack(m,n-1)) m<>0,n<>0

求ack(5,4)