递归与回溯算法课件.ppt

《递归与回溯算法课件.ppt》由会员分享，可在线阅读，更多相关《递归与回溯算法课件.ppt（50页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、递归的定义递归的定义 所谓递归就是一个函数或过程可以直接或间接地调用自己。所谓递归就是一个函数或过程可以直接或间接地调用自己。我们大家都熟悉一个民间故事：从前有一座山，山上有一我们大家都熟悉一个民间故事：从前有一座山，山上有一座庙，庙里有一个老和尚正在给小和尚讲故事，故事里说，座庙，庙里有一个老和尚正在给小和尚讲故事，故事里说，从前有一座山，山上有一座庙，庙里有一个老和尚正在给从前有一座山，山上有一座庙，庙里有一个老和尚正在给小和尚讲故事，故事里的故事是说小和尚讲故事，故事里的故事是说。象这种形式，我。象这种形式，我们就可以称之为递归的一种形象描述，老和尚什么时候不们就可以称之为递归的一种形象

2、描述，老和尚什么时候不向下讲了，故事才会往回返，最终才会结束。向下讲了，故事才会往回返，最终才会结束。再如：前面多次提到的求再如：前面多次提到的求N!的问题。的问题。我们知道：当我们知道：当N0时，时，N!=N*(N-1)!，因此，求，因此，求N!的问题化成的问题化成了求了求N*(N-1)!的问题，而求的问题，而求(N-1)!的问题又与求的问题又与求N!的解法相同，的解法相同，只不过是求阶乘的对象的值减去了只不过是求阶乘的对象的值减去了1，当，当N的值递减到的值递减到0时，时，N!=1，从而结束以上过程，求得了，从而结束以上过程，求得了N!的解。的解。也就是说，求解也就是说，求解N!的过程可以

3、用以下递归方法来表示：的过程可以用以下递归方法来表示： 在这里，为了定义在这里，为了定义n!，就必须先定义，就必须先定义(n-1)!，为了定义，为了定义(n-1)!，又必须先定义，又必须先定义(n-2)!，上述这种用自身的简单情况，上述这种用自身的简单情况来定义自己的方式称为递归定义。来定义自己的方式称为递归定义。一个递归定义必须是有确切含义的，也就是说，必须一步一个递归定义必须是有确切含义的，也就是说，必须一步比一步简单，最后是有终结的，决不允许无限循环下去。比一步简单，最后是有终结的，决不允许无限循环下去。上面的例子中，当上面的例子中，当N=0时定义一个数时定义一个数1，是最简单的情况，是

4、最简单的情况，称为递归的边界，它本身不再使用递归定义。称为递归的边界，它本身不再使用递归定义。与递推一样，每一递归都有其边界条件。但不同的是，递与递推一样，每一递归都有其边界条件。但不同的是，递推是由边界条件出发，通过递推式来求值，而递归则是从自推是由边界条件出发，通过递推式来求值，而递归则是从自身出发来达到边界条件。身出发来达到边界条件。 递归的调用递归的调用 在在Pascal程序中，子程序可以直接自己调用自己或间程序中，子程序可以直接自己调用自己或间接调用自己，则将这种调用形式称之为递归调用。接调用自己，则将这种调用形式称之为递归调用。其中，我们将前者的调用方式称为简单递归，后者称为间其中

5、，我们将前者的调用方式称为简单递归，后者称为间接递归。由于目前我们介绍、掌握的知识尚还无法实现间接接递归。由于目前我们介绍、掌握的知识尚还无法实现间接递归，只有留待在以后的内容中我们再作介绍。本节只介绍递归，只有留待在以后的内容中我们再作介绍。本节只介绍直接递归。直接递归。递归调用时必须符合以下三个条件：递归调用时必须符合以下三个条件： （1）可将一个问题转化为一个新的问题，而新问题的）可将一个问题转化为一个新的问题，而新问题的解决方法仍与原问题的解法相同，只不过所处理的对象有所解决方法仍与原问题的解法相同，只不过所处理的对象有所不同而已，即它们只是有规律的递增或递减。不同而已，即它们只是有规

6、律的递增或递减。 （2）可以通过转化过程使问题回到对原问题的求解。）可以通过转化过程使问题回到对原问题的求解。 （3）必须要有一个明确的结束递归的条件，否则递归）必须要有一个明确的结束递归的条件，否则递归会无止境地进行下去。会无止境地进行下去。 下面我们通过一些例子，来解释递归程序的设计。下面我们通过一些例子，来解释递归程序的设计。 program aa; var t:longint; n:integer; function fac(n:integer):longint; begin if n=0 then fac:=1 else fac:=fac(n-1)*n; end;例例1：按照以上的分

7、析，用递归的方法来求：按照以上的分析，用递归的方法来求N！的解。！的解。程序如下：程序如下：测试数据：测试数据：输入：输入：input n=5输出：输出：5! =120begin write(input n=); read(n); if n0 then writeln(n0,data errer) else begin t:=fac(n); writeln(n,! =,t) end end.如图展示了程序的执行过程：如图展示了程序的执行过程： 在这里，因为函数在这里，因为函数FAC的形的形参是值形参，因此每调用一次参是值形参，因此每调用一次该函数，系统就为本次调用的该函数，系统就为本次调用的值

8、形参值形参N开辟了一个存储单元，开辟了一个存储单元，以便存放它的实参的值。也就以便存放它的实参的值。也就是说，对于递归函数或递归过是说，对于递归函数或递归过程，每当对它调用一次时，系程，每当对它调用一次时，系统都要为它的形式参数与局部统都要为它的形式参数与局部变量（在函数或过程中说明的变量（在函数或过程中说明的变量）分配存储单元（这是一变量）分配存储单元（这是一个独立的单元，虽然名字相同，个独立的单元，虽然名字相同，但实际上是互不相干的，只在但实际上是互不相干的，只在本层内有效），并记下返回的本层内有效），并记下返回的地点，以便返回后程序从此处地点，以便返回后程序从此处开始执行。开始执行。例例

9、2：读入一串字符倒序输出，以字符：读入一串字符倒序输出，以字符&为结束标志，用为结束标志，用过程来实现。过程来实现。分析：由题意可知，读一串字符当然只能一个个地读入，要分析：由题意可知，读一串字符当然只能一个个地读入，要倒序输出，就要一直读到字符倒序输出，就要一直读到字符&。如输入的一段字符为。如输入的一段字符为ABCDEFGH&，则倒序输出的结果应该，则倒序输出的结果应该是是&HGFEDCBA。 （1）读入一个字符；）读入一个字符；（2）读（该字符后的）子串并倒序输出；）读（该字符后的）子串并倒序输出；（3）然后输出读入字符（指（）然后输出读入字符（指（1）读入的字符）读入的字符）（4）在（

10、）在（2）中若子串是空（即遇字符）中若子串是空（即遇字符&），表示子），表示子串已完，不再处理子串。串已完，不再处理子串。 以上（以上（2）表示一操作依赖另一操作，所以需要用递归调）表示一操作依赖另一操作，所以需要用递归调用。（用。（4）表示已知操作（递归的终止）。）表示已知操作（递归的终止）。程序如下：程序如下：program aa; procedure reverse; var ch:char; begin read(ch); if ch& then reverse; write(ch); end; begin reverse; writeln; end.测试数据：测试数据：输入：输入：a

11、bcdefghijklmn&输出：输出：&nmlkjihgfedcba例例3：利用递归，将一个十进制整数：利用递归，将一个十进制整数K转化为转化为N进制整数（进制整数（N=10）。）。 测试数据：测试数据：输入：输入：K和和N的值的值19 3输出：转化后的输出：转化后的N进制整数进制整数201program aa; var n,k:integer; procedure tentok(k,n:integer); var r:integer; begin r:=k mod n; k:=k div n; if k0 then tentok(k,n); write(r); end;begin read

12、(k,n); tentok(k,n); writeln; end.递归的一般适合场合1数据的定义形式是按递归定义的数据的定义形式是按递归定义的.如：裴波那契数列的定义为：如：裴波那契数列的定义为：Fn=Fn-1+Fn-2 F1=0 F2=1begin read(n); s:=fib(n); writeln(s); end.测试数据：测试数据：输入：输入：5输出：输出：3program aa; var n:integer; s:longint; Function FIB(N:integer):integer; Begin If n=1 then FIB:=0 Else if n=2 then F

13、IB:=1 Else FIB:=FIB(n-1)+FIB(n-2) End;例如；著名的例如；著名的Hanoi塔（汉诺塔）问题。塔（汉诺塔）问题。 3数据之间的结构关系按递归定义的数据之间的结构关系按递归定义的例如：大家将在后面的学习内容中遇到的树的例如：大家将在后面的学习内容中遇到的树的遍历、图的搜索等问题。遍历、图的搜索等问题。2问题的求解方法是按递归算法来实现的。问题的求解方法是按递归算法来实现的。判断运行结果1.program d1; var s,n:integer; function f(n:integer):integer; begin if n=1 then f:=1 else

14、f:=n*n+f(n-1); end; begin write(input n:);readln(n); s:=f(n); writeln(f(,n,)=,s) end.输入输入:input n:3输出输出:练习一2program d2; var a,b:integer; function f(n:integer):integer; begin if n=1 then f:=1 else if n=2 then f:=2 else f:=f(n-1)+f(n-2); end; begin read(a); b:=f(a); writeln(b); end.输入输入:4输出输出:3program

15、 d3; var a,b,c,d:integer; procedure p(a:integer; var b:integer); var c:integer; begin a:=a+1;b:=b+1;c:=2;d:=d+1; writeln(m,a,b,c,d); if a=3时时f(N)=f(N-1)+f(N-2)递归及其应用请计算请计算ack(m,n)的值。的值。(m,n=n）的最大公约数，应先将）的最大公约数，应先将m除以除以n；求得；求得余数余数r,如果等于零，除数如果等于零，除数n就是就是m,n的最大公约数；的最大公约数；如果如果r不等于零，就用不等于零，就用n除以除以r，再看所得余

16、数是否，再看所得余数是否为零。重复上面过程，直到余数为零。重复上面过程，直到余数r为零时，则上一为零时，则上一次的余数值即为次的余数值即为m,n的最大公约数。用其数学方的最大公约数。用其数学方式描述如下式描述如下:program aa; var m,n,t:integer; function f(m,n:integer):integer; var r:integer; begin if (m mod n)=0 then f:=n else begin r:=m mod n; f:=f(n,r); end; end;begin readln(m,n); if m2)，记走法为f(n)： 第1次走

17、1个台阶，还剩(n-1)个台阶，走法为f(n-1)； 第1次走2个台阶，还剩(n-2)个台阶，走法为f(n-2)。所以，f(n)=f(n-1)+f(n-2)。定义f(0)=1，则有： 递归过程或函数直接（或间接）调用自身，但如果仅有这些操作，那么将会由于无休止地调用而引起死循环。因此一个正确的递归程序虽然每次调用的是相同的子程序，但它的参数、输入数据等均有所变化，并且在正常的情况下，随着调用的深入，必定会出现调用到某一层时，不再执行调用而是终止函数的执行。 递归思路是把一个不能或不好直接求解的“大问题”转化成一个或几个“小问题”来解决，再把这些“小问题”进一步分解成更小的“小问题”来解决，如此

18、分解，直至每个“小问题”都可以直接解决。 递归分解不是随意地分解，要保证“大问题”和“小问题”相似相似。例：采用递归算法求实数数组A0.n中的最小值。算法1:设f(a,i)为数组元素a0.ai中的最小值。当i=0时，有f(a,i)=a0；假设f(a,i-1)已求出，则：其他情况时当),1,(min(00),(iaiafiaiaf算法2：设f(i,j)为ai.aj中的最小值。将a0.an看作一个线性表，它可以分解成a0.ai和ai+1.an两个子表，分别求得各自的最小值x和y，较小者就是a0.an中的最小值。而求解子表中的最小值方法与总表相同，即再分别把它们分成两个更小的子表，如此不断分解，直到

19、表中只有一个元素为止(该元素就是该表中的最小值)。function min(i,j:integer):real;var mid:integer; min1,min2:real;begin if i=j then min:=ai else begin mid:=(i+j) div 2; min1:=min(i,mid); min2:=min(mid+1,j); if min1,c) else begin move (n-1,a,c,b); writeln(a,-,c); move(n-1,b,a,c); end; end; begin readln(n); move(n,1,2,3); end.

20、测试数据：测试数据：输入输入:3输出输出:1-31-23-21-32-12-31-3例例7:数的计算数的计算（1）问题描述）问题描述我们要求找出具有下列性质数的个数我们要求找出具有下列性质数的个数(包含输入包含输入的自然数的自然数n):先输入一个自然数先输入一个自然数n(n0,N位数小于等于位数小于等于9位），位），用递归方法把这个多位数颠倒过来输出。用递归方法把这个多位数颠倒过来输出。（2）问题解析）问题解析由于由于N比较大，所以需要长整型。长整型的位数比较大，所以需要长整型。长整型的位数=10位。位。（3）测试数据）测试数据输入：输入：12345678输出：输出：87654321progr

21、am aa; var n:Longint; procedure rd(number:Longint); begin write(number mod 10:1); number:=number div 10; if number0 then rd(number); end; begin write(input n=); readLn(n); rd(n); end.1.(文件名文件名:d6.pas)有一对雌雄兔，每两个月就繁有一对雌雄兔，每两个月就繁殖各一对兔子。问殖各一对兔子。问N个月后共有多少对兔子？个月后共有多少对兔子？提示：提示：测试数据测试数据:输入输入:10输出输出:55练习二2.(

22、文件名:d7.pas) 计算组合数提示：测试数据测试数据:输入输入:6 2输出输出:153.前前N项和项和（1）问题描述）问题描述给定给定N(N=1)，用递归的方法计算，用递归的方法计算1+2+3+4+.+(N-1)+N,结果赋值给结果赋值给S。（2）测试数据）测试数据输入输入:5输出输出:s=15程序提示:program aa; var t:integer;s:Longint; function fac(n:integer):Longint; begin if n=1 then fac:= （1） eLse fac:= （2） ; end; begin read(t); s:=fac(t);

23、 writeLn(s=, （3） ); end.搜索算法 对于给定的问题,如果有简明的数学模型揭示问题的本质,我们尽量用解析法求解；如果无法建立数学模型,或者即使有一定的数学模型,但采用数学方法解决有一定的困难,我们只好用模拟或搜索来求解。 尽管搜索的时间复杂度一般是指数级的，但在缺乏解决问题的有效模型时，搜索却是一种行之有效的解决问题的基本方法，而且使用搜索算法解决问题时，在实现过程中有很大的优化空间。信息学奥赛中考察搜索算法，一是考察选手算法运用能力，二是考察选手算法优化能力。枚举法（穷举法）回溯（深度优先搜索）广度优先搜索 回溯法是搜索算法中的一种控制策略，它是从初始状态出发，运用题目给

24、出的条件、规则，按照深度优先搜索的顺序扩展所有可能情况，从中找出满足题意要求的解答。即： 从问题的某一种可能出发, 搜索从这种情况出发所能达到的所有可能, 如果有路可以走下去，就走到下一个状态，继续按照这种规则搜索；当这一条路走到“ 尽头 ”而没达到目标状态的时候, 再倒回上一个出发点, 从另一个可能出发, 继续搜索，直到达到目标状态。例：迷宫求解 从迷宫的入口进去后是如何找到出口的？ 如果你不了解迷宫结构显然只能是摸索着前进，比如先往一个方向走，若走不通那就只能退回来再试试另一个方向。但在走的过程中你一定会有意识地“记住” 你已经走过的路，否则你会被困在迷宫中永远也走不出来了。计算机解迷宫时

25、，通常用的是“穷举求解”的方法，即从入口出发，顺某一方向向前探索，若能走通，则继续往前走；否则沿原路退回，换一个方向再继续探索，直至所有可能的通路都探索到为止,如果所有可能的通路都试探过，还是不能走到终点，那就说明该迷宫不存在从起点到终点的通道。先看两个动画演示的例子。由此，求迷宫中一条路径的算法的基本思想是： 若当前位置“可通”，则纳入“当前路径”，并继续朝“下一位置”探索； 若当前位置“不可通”，则应顺着“来的方向”退回到“前一通道块”，然后朝着除“来向”之外的其他方向继续探索；若该通道块的四周四个方块均“不可通”，则应从“当前路径”上删除该通道块。 例：n皇后问题 在nn的国际象棋棋盘上

26、，放置n个皇后，使任何一个皇后都不能吃掉另一个,需满足的条件是： 同一行、同一列、同一对角线上只能有一个皇后。求所有满足要求的放置方案。【分析】一、问题解的形式：x:array 1.n of integer;/xi:第i个皇后放在第i行，第xi列，保证所有皇后不同行问题的解变成求（x1，x2，xn）4皇后问题的解： （2，4，1，3）， （3，1，4，2）二、放置第k(1=k0 do /计算所有方案，回溯到第0行结束 begin xk:=xk+1; /下一列 while(xk=n)and (colxk or leftk+xk or rightk-xk) do xk:=xk+1; /尝试第k行上能放皇后的位置 if xk=n then /第k行的皇后可以放在xk列 begin /设置列、对角线标志 colxk:=true; leftk+xk:=true; rightk-xk:=true; k:=k+1; /进入下一行 xk:=0; /初始化 if k=n+1 then /n个皇后都放置完毕，输出解 begin tot:=tot+1; out; end; end