2010-04-19 69 views
5

我的问题是与一个非常类似于递归的代码风格,但不是相当那。递归是,引用Wikipedia,“一种定义函数的方法,其中被定义的函数在其自己的定义中应用”。类似地,相互递归应用另一个直接或间接应用我们定义的函数的函数。这种相互“递归”叫什么?

问题是我正在考虑和处理的代码不使用相同的功能!它在另一个函数(作为方法或闭包)中使用相同的代码

这里的问题是,虽然我的代码是相同的,但功能不是。看看一个下列基本相互递归例如:

def is_even(x): 
    if x == 0: 
     return True 
    else: 
     return is_odd(x - 1) 

def is_odd(x): 
    if x == 0: 
     return False 
    else: 
     return is_even(x - 1) 

这有点直观,很清楚相互递归。不过,如果我包每个功能最多为创建的每个调用一次内部函数,它就会不太清楚:

def make_is_even(): 
    def is_even(x): 
     if x == 0: 
      return True 
     else: 
      return make_is_odd()(x - 1) 
    return is_even 

def make_is_odd(): 
    def is_odd(x): 
     if x == 0: 
      return False 
     else: 
      return make_is_even()(x - 1) 
    return is_odd 

def is_even2(x): 
    return make_is_even()(x) 

def is_odd2(x): 
    return make_is_odd()(x) 

像隐记忆化等忽视的优化,这将产生的函数调用链是不严格递归,创建并调用各种新的函数,而无需再次调用同一个函数。尽管如此,所有这些功能都遵循一个通用模板,并且只是一遍又一遍地创建的功能(可能带有不同的自由变量)。

而且,我们可以想出一个直接等价的(毕竟,类实际上只是这是非常重要的,因为[在此处插入名称]这种样式用于例如Composite Pattern。区别在于,对于复合设计模式以及大多数用途(甚至是封盖),实例通常不会即时创建,它本质上仍然是相同的。

class EvenChecker(object): 
    def check(self, x): 
     if x == 0: 
      return True 
     else: 
      return OddChecker().check(x - 1) 

class OddChecker(object): 
    def check(self, x): 
     if x == 0: 
      return False 
     else: 
      return EvenChecker().check(x - 1) 

def is_even3(x): 
    return EvenChecker().check(x) 

def is_odd3(x): 
    return OddChecker().check(x) 

这时间链是对象创建和方法调用,但原理是相同的。 (我实际上会注意到它略有不同,因为Python在每个对象的基础上定义了一个简单的包装,每个对象本身都会调用相同的函数 - 但这不一定是我们需要知道的东西,吨需要对类和对象的其他实现真实的。但是,是的,严格来说,它是相互递归,以及...更多的东西,而那就是我想另一件事知道的。)

回答

2

正如你指出的那样,这仍然是相互递归。我不认为你所问的“更多”有一个名字;如果是这样,我从来没有听说过。

+0

最后一个例子只能是相互递归,因为Python中的每个方法调用都是针对一个调用函数的包装器(实例方法) - 该函数是您在类中定义的函数,并且只有一个。因此,调用链可能如下所示:'[is_odd3(3)] - > [instance-method [OddChecker.check](3)] - > [OddChecker.check(self,3)] - > ... - > [OddChecker.check(self,1)] - > ... - > True'。这是相互递归的 - 它一直在调用自己。但是,对于关闭一个,或者对于相同的OO示例,但是在E中,相同的功能再也不会被调用。 – 2010-04-19 14:13:00

1

显然,它被称为Mutual Recursion :)

该文章甚至给出与您相同的示例,具有odd?even?函数。

+0

你错过了问题的症结所在。它使用与我的* first *示例相同的示例。那一个我特别标注为“相互递归”。这是我关心的其他人。 – 2010-04-19 14:01:03

+0

是的,但你的其他例子仍然使用相同的基本思想。 – 2010-04-19 14:09:43

+0

是的,但有一个转折:相互递归调用回到相同的功能,但这些不。 – 2010-04-19 14:27:37