跳转到内容

英文维基 | 中文维基 | 日文维基 | 草榴社区

阿克曼函數

本页使用了标题或全文手工转换
维基百科,自由的百科全书

阿克曼函數是非原始递归函数的例子;它需要兩個自然數作為輸入值,輸出一個自然數。它的輸出值增長速度非常高。

歷史

[编辑]

1920年代後期,數學家大衛·希爾伯特的學生Gabriel Sudan和威廉·阿克曼,當時正研究計算的基礎。Sudan發明了一個遞歸卻非原始遞歸的苏丹函数。1928年,阿克曼又獨立想出了另一個遞歸卻非原始遞歸的函數。[1]

他最初的念頭是一個三個變數的函數A(m,n,p),使用康威鏈式箭號表示法mnp。阿克曼證明了它是遞歸函數。希爾伯特在On the Infinite猜想這個函數不是原始遞歸函數。阿克曼在On Hilbert's Construction of the Real Numbers證明了這點。

後來Rózsa Péter英语Rózsa Péter拉斐尔·米切尔·罗宾逊定義了一個類似的函數,但只用兩個變數。

定義

[编辑]
若m=0
若m>0且n=0
若m>0且n>0

以下是阿克曼函數的虛擬碼

 function ack(m, n)
     while m ≠ 0
         if n = 0
             n := 1
         else
             n := ack(m, n-1)
         m := m - 1
     return n+1

Haskell 语言能生成更精确的定义:

 ack 0 n = n + 1
 ack m 0 = ack (m - 1) 1
 ack m n = ack (m - 1) (ack m (n - 1))

递归是有界的,因为在每次应用递归時,要么 m 递减,要么 m 保持不变而 n 递减。每次 n 达到零,m 递减,所以 m 最终可以达到零。(較技術性的表达:在每种情况下,有序对(m, n)按字典次序递减,它保持了非负整数的良序关系)。但是,在 m 递减的时候, n 的增加没有上界,而且增加的幅度比較大。

這個函數亦可用康威鏈式箭號表示法來作一個非遞迴性的定義:

對於m>2,A(m, n) = (2 → (n+3) → (m - 2)) - 3。

即是

對於n>2,2 → nm = A(m+2,n-3) + 3。

使用hyper運算符就是

A(m, n) = hyper(2, m, n + 3) - 3。

使用高德納箭號表示法則為

A(m, n) = 2↑m-2(n+3) - 3。

函数值表

[编辑]
A(mn) 的值
m\n 0 1 2 3 4 n
0 1 2 3 4 5
1 2 3 4 5 6
2 3 5 7 9 11
3 5 13 29 61 125
4 13 65533 265536 − 3 A(3, 265536 − 3) A(3, A(4, 3)) (n+3个数字2)
5 65533 A(4, 65533) A(4, A(5, 1)) A(4, A(5, 2)) A(4, A(5, 3))
6 A(5, 1) A(5, A(5, 1)) A(5, A(6, 1)) A(5, A(6, 2)) A(5, A(6, 3))

反函數

[编辑]

由於函數f (n) = A(nn)的增加速率非常快,因此其反函數f−1則會以非常慢的速度增加。阿克曼反函數常用α表示。因為A(4, 4)的數量級約等於,因此對於一般可能出現的數值n,α(n)均小於5。

阿克曼反函數會出現在一些演算法的時間複雜度分析中,例如并查集或是Chazelle針對最小生成树的演算法中。有時會使用一些阿克曼函數的變體,例如省略運算式中的-3等,但其增加的速率都相當慢。

以下是一個两個輸入值的阿克曼反函數,其中下取整函數

許多演算法的複雜度分析會用到此函數,可以以此得到一個較好的時間上限。在并查集的資料結構中,m表示其運算的次數,而n表示元素的個數。在最小生成树演算法中,m表示其邊的個數,而n表示其頂點的個數。

有些定義方式會用上述的定義略作修改,例如log2 n改為n,或是下取整函數改為上取整函數。

有些研究則是用上述的定義,但是令m為常數,因此只需要一個輸入值[2]

参见

[编辑]

引用

[编辑]
  • Wilhelm Ackermann, Zum Hilbertschen Aufbau der reelen Zahlen, Math. Annalen 99 (1928), pp. 118-133.
  • von Heijenoort. From Frege To Gödel, 1967. This is an invaluable reference in understanding the context of Ackermann's paper On Hilbert’s Construction of the Real Numbers, containing his paper as well as Hilbert’s On The Infinite and Gödel’s two papers on the completeness and consistency of mathematics.
  • Raphael M. Robinson, Recursion and double recursion, Bull. Amer. Math. Soc., Vol. 54, pp. 987-993.

参考资料

[编辑]

外部链接

[编辑]