zoukankan      html  css  js  c++  java
  • 递归函数

    1.递归函数

    在函数内部,可以调用其他函数。如果一个函数在内部调用自身本身,这个函数就是递归函数。

    递归函数特性:

    1. 必须有一个明确的结束条件;
    2. 每次进入更深一层递归时,问题规模相比上次递归都应有所减少
    3. 相邻两次重复之间有紧密的联系,前一次要为后一次做准备(通常前一次的输出就作为后一次的输入)。
    4. 递归效率不高,递归层次过多会导致栈溢出(在计算机中,函数调用是通过栈(stack)这种数据结构实现的,每当进入一个函数调用,栈就会加一层栈帧,每当函数返回,栈就会减一层栈帧。由于栈的大小不是无限的,所以,递归调用的次数过多,会导致栈溢出)

    先举个简单的例子:计算1到100之间相加之和;通过循环和递归两种方式实现

    1.  
      # 循环方式
    2.  
      def sum_cycle(n):
    3.  
      sum = 0
    4.  
      for i in range(1,n+1) :
    5.  
      sum += i print(sum)
    6.  
       
    7.  
      # 递归方式
    8.  
      def sum_recu(n):
    9.  
      if n>0:
    10.  
      return n +sum_recu(n-1)
    11.  
      else:
    12.  
      return 0
    13.  
       
    14.  
      sum_cycle(100)
    15.  
      sum = sum_recu(100) print(sum)

    结果:

    5050
    5050

    递归函数的优点是定义简单,逻辑清晰。理论上,所有的递归函数都可以写成循环的方式,但循环的逻辑不如递归清晰。

    ***使用递归函数需要注意防止栈溢出。在计算机中,函数调用是通过栈(stack)这种数据结构实现的,每当进入一个函数调用,栈就会加一层栈帧,每当函数返回,栈就会减一层栈帧。由于栈的大小不是无限的,所以,递归调用的次数过多,会导致栈溢出。

    把上面的递归求和函数的参数改成10000就导致栈溢出!

    RecursionError: maximum recursion depth exceeded in comparison

    **解决递归调用栈溢出的方法是通过尾递归优化,事实上尾递归和循环的效果是一样的,所以,把循环看成是一种特殊的尾递归函数也是可以的。

    一般递归

    1.  
      def normal_recursion(n):
    2.  
      if n == 1:
    3.  
      return 1
    4.  
      else:
    5.  
      return n + normal_recursion(n-1)

    执行:

    1.  
      normal_recursion(5)
    2.  
      5 + normal_recursion(4)
    3.  
      5 + 4 + normal_recursion(3)
    4.  
      5 + 4 + 3 + normal_recursion(2)
    5.  
      5 + 4 + 3 + 2 + normal_recursion(1)
    6.  
      5 + 4 + 3 + 3
    7.  
      5 + 4 + 6
    8.  
      5 + 10
    9.  
      15

    可以看到, 一般递归, 每一级递归都需要调用函数, 会创建新的栈,随着递归深度的增加, 创建的栈越来越多, 造成爆栈:boom:

    尾递归(http://www.open-open.com/lib/view/open1480494663229.html

    尾递归基于函数的尾调用, 每一级调用直接返回函数的返回值更新调用栈,而不用创建新的调用栈, 类似迭代的实现, 时间和空间上均优化了一般递归!

    1.  
      def tail_recursion(n, total=0):
    2.  
      if n == 0:
    3.  
      return total
    4.  
      else:
    5.  
      return tail_recursion(n-1, total+n)

    执行:

    1.  
      tail_recursion(5)
    2.  
      tail_recursion(4, 5)
    3.  
      tail_recursion(3, 9)
    4.  
      tail_recursion(2, 12)
    5.  
      tail_recursion(1, 14)
    6.  
      tail_recursion(0, 15)
    7.  
      15

    可以看到, 每一级递归的函数调用变成"线性"的形式.

    深入理解尾递归

    呃, 所以呢? 是不是感觉还不够过瘾... 谁说尾递归调用就不用创建新的栈呢?

    还是让我们去底层一探究竟吧

    1.  
      int tail_recursion(int n, int total) {
    2.  
      if (n == 0) {
    3.  
      return total;
    4.  
      }
    5.  
      else {
    6.  
      return tail_recursion(n-1, total+n);
    7.  
      }
    8.  
      }
    9.  
       
    10.  
      int main(void) {
    11.  
      int total = 0, n = 4;
    12.  
      tail_recursion(n, total);
    13.  
      return 0;
    14.  
      }

    反汇编

    • $ gcc -S tail_recursion.c -o normal_recursion.S

    • $ gcc -S -O2 tail_recursion.c -o tail_recursion.S gcc开启尾递归优化

    对比反汇编代码如下(AT&T语法)

    可以看到, 开启尾递归优化前, 使用call调用函数, 创建了新的调用栈(LBB0_3);

    而开启尾递归优化后, 就没有新的调用栈生成了, 而是直接pop

    bp指向的 _tail_recursion 函数的地址(pushq %rbp)然后返回,

    仍旧用的是同一个调用栈!

    存在的问题

    虽然尾递归优化很好, 但python 不支持尾递归,递归深度超过1000时会报错

    一个牛人想出的解决办法

    实现一个 tail_call_optimized 装饰器

    1.  
      #!/usr/bin/env python2.4
    2.  
      # This program shows off a python decorator(
    3.  
      # which implements tail call optimization. It
    4.  
      # does this by throwing an exception if it is
    5.  
      # it's own grandparent, and catching such
    6.  
      # exceptions to recall the stack.
    7.  
       
    8.  
      import sys
    9.  
       
    10.  
      class TailRecurseException:
    11.  
      def __init__(self, args, kwargs):
    12.  
      self.args = args
    13.  
      self.kwargs = kwargs
    14.  
       
    15.  
      def tail_call_optimized(g):
    16.  
      """
    17.  
      This function decorates a function with tail call
    18.  
      optimization. It does this by throwing an exception
    19.  
      if it is it's own grandparent, and catching such
    20.  
      exceptions to fake the tail call optimization.
    21.  
       
    22.  
      This function fails if the decorated
    23.  
      function recurses in a non-tail context.
    24.  
      """
    25.  
      def func(*args, **kwargs):
    26.  
      f = sys._getframe()
    27.  
      # 为什么是grandparent, 函数默认的第一层递归是父调用,
    28.  
      # 对于尾递归, 不希望产生新的函数调用(即:祖父调用),
    29.  
      # 所以这里抛出异常, 拿到参数, 退出被修饰函数的递归调用栈!(后面有动图分析)
    30.  
      if f.f_back and f.f_back.f_back \
    31.  
      and f.f_back.f_back.f_code == f.f_code:
    32.  
      # 抛出异常
    33.  
      raise TailRecurseException(args, kwargs)
    34.  
      else:
    35.  
      while 1:
    36.  
      try:
    37.  
      return g(*args, **kwargs)
    38.  
      except TailRecurseException, e:
    39.  
      # 捕获异常, 拿到参数, 退出被修饰函数的递归调用栈
    40.  
      args = e.args
    41.  
      kwargs = e.kwargs
    42.  
      func.__doc__ = g.__doc__
    43.  
      return func
    44.  
       
    45.  
      @tail_call_optimized
    46.  
      def factorial(n, acc=1):
    47.  
      "calculate a factorial"
    48.  
      if n == 0:
    49.  
      return acc
    50.  
      return factorial(n-1, n*acc)
    51.  
       
    52.  
      print factorial(10000)

    为了更清晰的展示开启尾递归优化前、后调用栈的变化和tail_call_optimized装饰器抛异常退出递归调用栈的作用, 我这里利用 pudb调试工具 做了动图 <br/>

    开启尾递归优化前的调用栈

    开启尾递归优化后(tail_call_optimized装饰器)的调用栈

    通过pudb右边栏的stack, 可以很清晰的看到调用栈的变化.

    因为尾递归没有调用栈的嵌套, 所以Python也不会报 RuntimeError: maximum recursion depth exceeded 错误了!

    这里解释一下 sys._getframe() 函数:

    1.  
      sys._getframe([depth]):
    2.  
      Return a frame object from the call stack.
    3.  
      If optional integer depth is given, return the frame object that many calls below the top of the stack.
    4.  
      If that is deeper than the call stack, ValueEfror is raised. The default for depth is zero,
    5.  
      returning the frame at the top of the call stack.
    6.  
       
    7.  
      即返回depth深度调用的栈帧对象.
    8.  
       
    9.  
      import sys
    10.  
       
    11.  
      def get_cur_info():
    12.  
      print sys._getframe().f_code.co_filename # 当前文件名
    13.  
      print sys._getframe().f_code.co_name # 当前函数名
    14.  
      print sys._getframe().f_lineno # 当前行号
    15.  
      print sys._getframe().f_back # 调用者的帧

    补充

    二分法查找大家应该听说过;就是一种快速查找的方法,时间复杂度低,逻辑简单易懂,总的来说就是不断的找出中间值,用中间值对比你需要找的实际值;若中间值大,则继续找左边;若中间值小,则继续找右边;可以看出二分法就是不断重复此上过程,所以就可以通过递归方式来实现二分法查找了!

    1.  
      #The binary search function
    2.  
       
    3.  
      def Binary_Search(data_source,find_n):
    4.  
      #判断列表长度是否大于1,小于1就是一个值
    5.  
      if len(data_source) >= 1:
    6.  
      #获取列表中间索引;奇数长度列表长度除以2会得到小数,通过int将转换整型
    7.  
      mid = int(len(data_source)/2)
    8.  
      #判断查找值是否超出最大值
    9.  
      if find_n > data_source[-1]:
    10.  
      print('{}查找值不存在!'.format(find_n))
    11.  
      exit()
    12.  
      #判断查找值是否超出最小值
    13.  
      elif find_n < data_source[0]:
    14.  
      print('{}查找值不存在!'.format(find_n))
    15.  
      exit()
    16.  
      #判断列表中间值是否大于查找值
    17.  
      if data_source[mid] > find_n:
    18.  
      print('查找值在 {} 左边'.format(data_source[mid]))
    19.  
      #调用自己,并将中间值左边所有元素做参数
    20.  
      Binary_Search(data_source[:mid],find_n)
    21.  
      #判断列表中间值是否小于查找值
    22.  
      elif data_source[mid] < find_n:
    23.  
      #print('查找值在 {} 右边'.format(data_source[mid]))
    24.  
      #调用自己,并将中间值右边所有元素做参数
    25.  
      Binary_Search(data_source[mid:],find_n)
    26.  
      else:
    27.  
      #找到查找值
    28.  
      print('找到查找值',data_source[mid])
    29.  
      else:
    30.  
      #特殊情况,返回查找不到
    31.  
      print('{}查找值不存在!'.format(find_n))
    32.  
       
    33.  
      Data = [22,12,41,99,101,323,1009,232,887,97]
    34.  
      #列表从小到大排序
    35.  
      Data.sort()
    36.  
      #查找323
    37.  
      Binary_Search(Data,323)
    38.  
       
    39.  
      执行结果:
    40.  
      找到查找值 323

     总结:

    递归分为两个过程:1.回溯
                   2.递推
    但是递归函数中最重要的一点是就是结束条件,结束条件关系着你的递归函数能不能写出来。
    递归的本质:自己调用自己(可以直接调用也可以间接调用)
  • 相关阅读:
    销售排行榜
    视频合并的问题
    全排列的问题
    24点的游戏
    分数拆分
    竖式
    MVVM
    package
    WP8.1APP执行流程
    W
  • 原文地址:https://www.cnblogs.com/cmd61/p/11176051.html
Copyright © 2011-2022 走看看