Question

Wikipedia中对生成递归的描述对我来说很清楚，但我对结构递归的概念感到困惑。

有人可以解释计算第n个Fibonacci数的函数和从1到N计算阶乘的函数是结构还是生成？

Answer 1

结构递归和生成递归之间的关键区别在于递归过程获取它所处理的数据以及它如何处理该数据。具体地，对于结构递归，对原始输入数据的子集进行递归调用。而对于生成递归，对从原始输入数据构造/计算的数据进行递归调用。

例如，如果要计算链表中的元素数，可以执行以下操作：

int NumberOfNodes(ListNode* node) {
    if (node == nullptr) return 0;
    return 1 + NumberOfNodes(node->next);
}

此处，NumberOfNodes的递归调用正在node->next进行，这是原始输入的一部分，已经存在。在这种情况下，递归通过将输入分解为较小的片段，然后在较小的片段上递归来起作用。

类似地，在BST中搜索值的代码是结构递归，因为递归调用是原始输入的子部分：

TreeNode* Find(TreeNode* root, DataType value) {
    if (root == nullptr) return nullptr;
    if (value < root->value) return Find(root->left, value);
    else return Find(root->right, value);

术语“结构递归”来自于这些结构（列表，BST等）可以递归定义的事实：

列表没有任何内容，或者单元格后跟列表。
二叉树要么没有，要么是有两个二叉树作为子节点的节点。

进行结构递归时，您正在“撤消”这些结构彼此构建的操作。例如，NumberOfNodes函数“撤消”获取节点并将其预先添加到现有列表的构造。 Find运算符“撤消”将节点粘贴到另外两个树的操作。因此，很容易理解为什么这些函数必须终止 - 最终，你“撤消”首先构建对象的所有操作，并且递归停止。

另一方面，考虑Quicksort，它执行以下操作：

选择一个支点。
创建三个新列表：小于枢轴的所有元素之一，大于枢轴的所有元素之一，以及等于枢轴的所有元素之一。
递归排序这些列表中的第一个和第二个。
连接较小，相等和较大值的列表。

这里，递归调用是在不属于原始输入的较小数组上进行的 - 必须从数据创建列表。（通常，实现会为这些列表重用空间，但不保证这些子列表直接存在于输入中）。

当谈到自然数时，这种区别是模糊的。通常，自然数以递归方式定义如下：

0是一个自然数。
如果n是自然数，则n + 1是自然数。
没有其他东西是自然数字。

在这个定义下，数字n是n + 1的“部分”。因此，这个递归代码来计算n！是结构递归：

int Factorial(int n) {
    if (n == 0) return 1;
    return n * Factorial(n - 1);
}

这是结构递归，因为参数n - 1是原始输入n的“部分”。

类似地，通过这个定义，计算第n个Fibonacci数递归计为结构递归：

int Fibonacci(int n) {
    if (n <= 1) return n;
    return Fibonacci(n - 1) + Fibonacci(n - 2);
}

这被认为是结构递归，因为n - 1是n的一部分（由“撤消”+1形成）而n - 2是n - 1的一部分（再次由“撤消”+1形成）。

另一方面，这个计算gcd的代码将被视为生成递归，而不是结构递归：

int gcd(int a, int b) {
    if (b == 0) return a;
    return gcd(b, a % b);
}

原因在于a % b是从a和b“计算”的，而不是通过“撤消”某些+1次操作来形成，而是生成数据。 / p>

生成递归与结构递归不同的原因是不能保证它终止。例如，考虑一下这个函数：

int BadTimes(int a, int b) {
    if (a == 0 && b == 0) return 0;
    return BadTimes(a * 2, b - 1);
}

这种生成递归函数永远不会终止：a即使b不断变小也会不断变大。

老实说，我以前从未听说过这种区别，我教过离散数学和编程课程。除非有人要求你知道其中的差异，否则我不会过分担心它。

希望这有帮助！

结构递归与生成递归有何不同？

1 个答案: