两个算法在什么情况下是相同的？迈向解决希尔伯特第 24 问题.pdfVIP

两个算法在什么情况下是相同的？迈向解决

希尔伯特第24问题

KonstantinDoubrovinski∗

2025年8月7日

本

译

中摘要

两个定理证明在什么时候是“本质上相同”的非正式问题可以追溯到大

1

v卫·希尔伯特，他曾考虑将其（或大致等价的问题）添加到他著名的未解决问

4题列表中，但最终决定不列入。鉴于形式证明的概念与程序（计算机程序）紧

6密相关，即递归函数，提出同样的问题是很有用的。这里我们建议在递归理

7

2论中以极简主义的方式处理这个问题，并且大量使用柯尔莫哥洛夫复杂度。

0

.

8

01背景

5

2

:我们的符号紧跟[1]，尽管它基本上是标准的。我们规定递归函数的

v

i哥德尔编码为。我们需要（i）所有部分递归函数都在中，以

x

r及（ii）对于任何两个参数的部分递归函数，都存在一个全递归

a

的，使得。最后一个等式是为了使编号成为哥德尔

数，见[1]。我们将使用“程序”这个词来非正式地指代我们哥德尔编号

中某个函数的某个索引。我们可以非正式地将递归函数的哥德尔

编号称为“编程语言”，并将这些哥德尔编号的同构（即上面定义的）

称为“解释器”，其工作是将一种语言翻译成另一种语言。显然，解释器

也可以将一种编程语言映射到自身（定义一个自同构）。接下来，我们将

只关注这种情况，即一个解释器意味着全递归函数，使得对于我们的

固定哥德尔编号和所有,.表示两个程序作为函数的

等价性，即。当且仅当对所有成立。我们还需

∗correspondence:Konstantin.Doubrovinski@UTS

1

要集合的递归同构的概念，即自然数之间的递归双射将一个集合映射到

另一个集合。在下文中，柯尔莫哥洛夫复杂度特指普通复杂度，参见例如[7]。

在任何哥德尔编号中，一个给定的函数会出现无限多次（这可以从克林

递归定理[1,2]推出）。然而，经验表明，并非所有计算相同函数的程序都是

“同样相等”的。例如，考虑一个实现Kruskal的多项式时间算法来在一个

边带权重的图中找到最小生成树的程序（如[3]第10章所述）。相反，可以

实现一种在超多项式时间内工作的暴力搜索。这两个程序非常不同，尽管它

们计算的是同一个函数。另一方面，使用完全相同的代码来实现暴力搜索但

包含不同注释的两个程序似乎“以同样的方式工作”，因此比上一个例子中

的两个程序更“平等”。这个问题已在几个先前的研究中被指出和阐述，特