コンテンツにスキップ

アッカーマン関数

出典: フリー百科事典『ウィキペディア(Wikipedia)』

アッカーマン関数(アッカーマンかんすう、: Ackermann function: Ackermannfunktion)とは、非負整数 mn に対し、

によって定義される関数のことである。[1]

与える数が大きくなると爆発的に計算量が大きくなるという特徴があり、性能測定などに用いられることもある。

また、数学的な意味として、原始再帰関数でないμ再帰関数の実例として有名である。

歴史

[編集]

1920年代後半、数学者ダフィット・ヒルベルトの教導を受けていた学生だったガブリエル・スーダン英語版ヴィルヘルム・アッカーマンは、計算の基礎を研究していた。ヒルベルトは、すべての計算可能関数が 原始再帰的であると仮定していた[要出典]。簡単に言えば、これは、コンピューターで計算できる各関数をいくつかの非常に単純なルールからまとめて、計算の期間を事前に推定できることを意味する。実際にこれは人々が利用するほとんどの関数に適用出来るが、2人の研究はそれを覆した。

1927年に、スーダンはスーダン関数を発表した。それとは独立に、1928年アッカーマンは自分の生み出した関数 を公表する。その関数は3つの引数を必要とし の様に表記された[2]。スーダンとアッカーマンの双方が全域計算可能関数(いくつかの参考文献では単純に "再帰的"と呼ばれる)でありながら原始再帰的でない関数の発見に功績が有ったと信じられている[3]

ヒルベルトはÜber das Unendliche[4]の中でアッカーマン関数が原始再帰的では無いと仮定したが、この仮説は彼の個人秘書となっていたアッカーマンによって実際に証明され、ヒルベルトの執筆した実数の論文上に掲載された。[2][5]

2変数形式に単純化されたアッカーマン関数は、1935年ペーテル・ロージャ英語版によって開発された[6]

概念

[編集]

アッカーマンが1928年に発表した3変数の関数は次のような定義である[2]

この関数において、b 回繰り返すことによって定義されていることがわかる。すなわち、

となるように定義されている。

アッカーマン関数の値の表

[編集]

アッカーマン関数の計算は、無限の表を使った手順に言い換えることができる。まず、一番上の列に自然数を1から順番に並べる。表の値を決めるためは、すぐ左の値を見て、一つ上の列でその順番の値を取る。もし左に数値がない場合は、単に一つ上の列のカラム 1 (n = 1) の数値を取る。

A(m,n) の値
m\n 0 1 2 3 4 n
0 1 2 3 4 5 n+1
1 A(0, 1) A(0, A(1, 0)) A(0, A(1, 1)) A(0, A(1, 2)) A(0, A(1, 3)) A(0, A(1, n-1))
2 A(1, 1) A(1, A(2, 0)) A(1, A(2, 1)) A(1, A(2, 2)) A(1, A(2, 3)) A(1, A(2, n-1))
3 A(2, 1) A(2, A(3, 0)) A(2, A(3, 1)) A(2, A(3, 2)) A(2, A(3, 3)) A(2, A(3, n-1))

計算できる範囲で具体的な数値に置き換えていくと、表は次のようになる。

A(m,n) の値
m\n 0 1 2 3 4 n
0 1 2 3 4 5 n + 1
1 2 3 4 5 6 n + 2 = 2 + (n + 3) - 3
2 3 5 7 9 11
3 5 13 29 61 125
4 13 65533
5 65533

一般の値は非常に大きいが、クヌースの矢印表記コンウェイのチェーン表記ハイパー演算子等を使えば

と簡潔に表す事が出来る。

十分にxの値を大きくしたとき、アッカーマン関数の値は急増加関数(は定数)と近似できる。

逆アッカーマン関数

[編集]

自然数nに対してを満たすようなmを取り、として関数αを定義する。この関数を逆アッカーマン関数という。このとき定義から逆アッカーマン関数は全域かつ上界を持たないが、その値は非常にゆっくりと大きくなる。

ロバート・タージャンの1975年の論文において提唱された素集合データ構造(Union-Find)の探索および結合アルゴリズムについて、その計算量がで見積もられた[7]

逆アッカーマン関数は原始再帰関数である。

関連項目

[編集]

脚注

[編集]
  1. ^ 日本数学会 編『岩波数学辞典第4版』(1版)岩波書店、2007年、334頁。ISBN 978-4000803090 
  2. ^ a b c Wilhelm Ackermann (1928). “Zum Hilbertschen Aufbau der reellen Zahlen”. Mathematische Annalen 99: 118–133. doi:10.1007/BF01459088. http://gdz.sub.uni-goettingen.de/en/dms/loader/img/?PPN=PPN235181684_0099&DMDID=DMDLOG_0009. 
  3. ^ Cristian Calude, Solomon Marcus英語版 and Ionel Tevy (November 1979). “The first example of a recursive function which is not primitive recursive”. Historia Math. 6 (4): 380?84. doi:10.1016/0315-0860(79)90024-7. 
  4. ^ Hilbert, David (1926-12-01). “Über das Unendliche” (ドイツ語). Mathematische Annalen 95 (1): 161–190. doi:10.1007/BF01206605. ISSN 1432-1807. https://doi.org/10.1007/BF01206605. 
  5. ^ von Heijenoort. From Frege To Godel Archived May 4, 2008, at the Wayback Machine., 1967.
  6. ^ Raphael M. Robinson (1948). “Recursion and Double Recursion”. アメリカ数学会紀要英語版 54 (10): 987?93. doi:10.1090/S0002-9904-1948-09121-2. http://projecteuclid.org/DPubS?verb=Display&version=1.0&service=UI&handle=euclid.bams/1183512393&page=record. 
  7. ^ Tarjan, Robert Endre (1975-04-01). “Efficiency of a Good But Not Linear Set Union Algorithm”. Journal of the ACM 22 (2): 215–225. doi:10.1145/321879.321884. ISSN 0004-5411. https://doi.org/10.1145/321879.321884. 

参考文献

[編集]
  • Y. Sundblad: The Ackermann Function. A theoretical, computational, and formulamanipulative study. BIT 11, 107–119 (1971)
  • 竹内外史『数学基礎論の世界 ロジックの雑記帳から』日本評論社、1972年、ISBN 4-535-78126-5
  • マイケル・シプサー著、『計算理論の基礎』太田和夫・田中圭介 監訳, 共立出版。原著: "Introduction to the Theory of Computation" (Michael Sipser, Thomson Course Technology)

外部リンク

[編集]