递归

最新推荐文章于 2023-12-20 23:57:42 发布

只愿做你的君王

最新推荐文章于 2023-12-20 23:57:42 发布

阅读量220

点赞数

转自：https://yq.aliyun.com/articles/72757?utm_campaign=wenzhang&utm_medium=article&utm_source=QQ-qun&2017329&utm_content=m_15284

数论函数

自然数集一般记为 N={0,1,2,⋯} ，那么 n 个自然数集的笛卡尔积记为 Nn ，
于是，我们称集合 Nn 到 N 的部分函数为 n 元部分数论函数。
作为数论函数， 2x 是一个全函数，而 x/2 ， x−y ， x√ 只是部分函数，
它们的计算结果， 3/2 ， 4−6 ， 5√ 都不在 N 中，于是相应定义域中的点可视为没有定义。

为什么讨论数论函数呢，其一是因为它是一个典型数学的问题，
另外一点，则是因为我们经常把其他数学问题转换成数论问题，例如，哥德尔编码。
本文中，使用数论函数，可以简化我们的描述方式。

一个谓词，指的是返回布尔值的函数，
我们还可以将谓词看做值域为 {0,1} 的一个数论函数。
0 代表True， 1 代表False。

极小化算子

在前一篇中，我们从三个初始函数出发，
通过合成运算和原始递归运算，得到了原始递归函数集，
递归函数集是相对于这两种运算封闭的。

然而，这样定义的原始递归函数，并不能包括所有的数论函数，
一个典型的例子就是，阿克曼函数，

ackermann :: Int -> Int -> Int
ackermann 0 x = x+1
ackermann k 0 = ackermann (k-1) 1
ackermann k x = ackermann (k-1) $ ackermann k x-1

它并不是一个原始递归函数，（证略
因此原始递归函数集并不足以表示计算机程序中的所有函数。

为此，我们需要对原始递归函数集进行扩充，我们定义一个新的运算，称为极小化运算，
设 P(x1,⋯,xn,t) 是一个谓词，令
f(x1,⋯,xn)=min P(x1,⋯,xn,t)

f(x1,⋯,xn) 的值，或者是使 P(x1,⋯,xn,t) 为真的最小 t 值，
或者无定义，此时不存在 t 使得 P(x1,⋯,xn,t) 为真。
这样通过 min 得到 f(x1,⋯,xn) 的过程称为极小化运算，
也称部分函数 f(x1,⋯,xn) 是由谓词经过极小化运算得到的。

以上我们给谓词定义了极小化运算，现在我们将极小化运算推广到一般的函数上面，
设 g(x1,⋯,xn,t) 是一个 n+1 元函数，令
f(x1,⋯,xn)=min{g(x1,⋯,xn,t)=0}
则称部分函数 f(x1,⋯,xn) 是由函数 g(x1,⋯,xn,t) 经过极小化运算得到的。

递归函数集

和定义原始递归函数集一样，我们从以下三个初始函数出发，
（1）零函数 n(x)=0
（2）后继函数 s(x)=x+1
（3）投影函数 uni(x1,⋯,xn)=xi ， i⩽i⩽n
由初始函数，经过有限次合成运算，原始递归运算，以及极小化运算，得到的函数称为递归函数。

递归函数并不一定是全函数，因为极小化运算可能会导致结果函数在某些点无定义，
递归的部分函数称为部分递归函数。

可以证明阿克曼函数是递归函数，但不是原始递归函数，
因此，原始递归函数集是递归函数集的真子集。

递归可枚举集

在具体实践中，我们经常会遇到这样的问题，
给定一个元素，我们需要判断这个元素是否属于某个集合。
这种问题，称为集合的成员资格问题。

沿用这一思路，我们可以使用一个谓词 χB 来定义相应的集合 B⊆N ，
B={x∈N|χB(x)}
谓词 χB(x) 为真，则 x∈B 。
这个谓词 χB(x) ，通常称为集合 B 的特征函数。

如果特征函数 χB 是第一个递归的全函数，
则我们总是可以判断 χB(x) 等于 0 还是 1 ，
这样的集合 B 称为递归集。

如果存在部分递归函数 g ，使得 B={x∈N|g(x)↓} ，
即， x∈B 当且仅当 g 在 x 处有定义，
则称集合 B 是一个递归可枚举集。

因此，对于每一个自然数 x∈N ，
我们总是可以通过递归集 B 的特征函数 χB ，来判断 x 是否 B 的成员。
而对于递归可枚举集，就不容乐观了，
如果某个自然数 x∈N 是 B 的成员，那么我们可以断定这件事，因为 g(x) 有定义，
但是如果某个自然数 y∈N 不是 B 的成员，我们就不能确定，因为这时候 g(x) 无定义。
（ g(x) 无定义，则它对应的图灵机不停机，后文我们详细讨论