Question

我是一名程序员，我做了一些C＃perl和python，无论如何，我发现这个递归代码生成一个符号和字母列表的排列，但我无法弄清楚它是如何工作的？有人可以解释吗？

#!/usr/bin/env python
#-*- coding:utf-8 -*-

def generate(charlist,state,position):
    for i in charlist:
        state[position] = i
        if position == (len(state)-1):
            print "".join(state)
        else:
            generate(charlist,state,position+1)

generate("1234567890qwertyuiopasdfghjklzxcvbnm",[None]*8,0)

这是代码，所有间距都正确。

Answer 1

这不生成排列。它生成n维笛卡尔积。（在此过程中，它还会生成所有排列，但生成仅排列的算法会有所不同。）

解释它是如何工作有点困难，但是如果你看一下小输入的输出，你可以看到发生了什么。考虑'abc'和[None] * 3的输出（我修改了代码以充当真正的生成器）：

>>> def generate(charlist,state,position):
...     for i in charlist:
...         state[position] = i
...         if position == (len(state)-1):
...             yield "".join(state)
...         else:
...             for j in generate(charlist,state,position+1):
...                 yield j
... 
>>> print list(generate('abc', [None] * 3, 0))
['aaa', 'aab', 'aac', 'aba', 'abb', 'abc', 'aca', 'acb', 'acc', 
 'baa', 'bab', 'bac', 'bba', 'bbb', 'bbc', 'bca', 'bcb', 'bcc', 
 'caa', 'cab', 'cac', 'cba', 'cbb', 'cbc', 'cca', 'ccb', 'ccc']

正如您所看到的，最初，generate调用自身三次，每次递增position（从0到1再到2 }）。每次通过递归循环时，它会将'a'放在当前位置并测试它是否已到达state列表的末尾。如果是这样，它会产生结果并且不调用自身。

在这种情况下，当发生这种情况时，position == 2。现在，for循环启动，将'b'和'c'存储在state[2]中并产生每个状态。然后函数结束，并将控制权返回给position == 1的调用者。然后呼叫者继续通过其for循环;它设置了state[1] = 'b'然后，由于position不再位于state列表的末尾，它再次调用自身......现在position == 2和for循环设置{ {1}}，state[2] == 'a'，'b'等。

顺便说一句，如果你想在python中计算笛卡尔积，这是一个不需要你的读者解析递归算法的好方法：

'c'

您也可以

>>> import itertools
>>> [''.join(c) for c in itertools.product('abc', 'abc', 'abc')]
['aaa', 'aab', 'aac', 'aba', 'abb', 'abc', 'aca', 'acb', 'acc', 
 'baa', 'bab', 'bac', 'bba', 'bbb', 'bbc', 'bca', 'bcb', 'bcc', 
 'caa', 'cab', 'cac', 'cba', 'cbb', 'cbc', 'cca', 'ccb', 'ccc']

Answer 2

你无法弄清楚它是如何工作的？将此行放在def generate...：

之后

print charlist, state, position

它会告诉你每次调用时使用的变量。

Answer 3

该函数输出每个可能的（除非第三个参数为非零）给定字符的组合。

它需要输入：

将合并的列表或字符串
一个列表，其长度表示应该一次合并多少个字符，
一个数字，表示每个组合的字符数应该用第二个列表中的相应字符替换（这将相应减少可能的组合数量）。

如果第二个参数是8个None值的列表（因为[None] * 8 == [None, None, None, None, None, None, None, None]），则将第三个参数设置为非零值将导致TypeError。

@ senderle的回答解释了函数中发生的事情。

我应该说这是非Pythonic代码的一个例子，正是因为很难从第一眼看出它的目的。

帮助理解这个递归python函数是如何工作的？

3 个答案: