翻訳と辞書
Words near each other
・ アッカリーン
・ アッカルド
・ アッカンベー
・ アッカンベー橋
・ アッカ・ネットワークス
・ アッカ・ワイヤレス
・ アッカー
・ アッカード
・ アッカーマン
・ アッカーマン・ジャントー
アッカーマン函数
・ アッカーマン関数
・ アッカーヴィル (アラバマ州)
・ アッカー・ビルク
・ アッガ
・ アッガイ
・ アッガイダンス
・ アッキー
・ アッキー (曖昧さ回避)
・ アッキーインターナショナル


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

アッカーマン函数 : ウィキペディア日本語版
アッカーマン関数[あっかーまんかんすう]
アッカーマン関数(アッカーマンかんすう、)とは、非負整数 ''m'' と ''n'' に対し、
:(m, n) = \begin
n + 1, & \mboxm = 0\\
(m - 1, 1), & \mboxn = 0\\
(m - 1, (m, n - 1)), & \mbox\\
\end
によって定義される関数のことである。
与える数が大きくなると爆発的に計算量が大きくなるという特徴があり、性能測定などに用いられることもある。
また、数学的な意味として、原始再帰関数でないμ再帰関数の実例として有名である。これを(再帰のない手続き型の)プログラミング言語の言葉で言えば、whileループを使えばアッカーマン関数をプログラミングできるが、whileを使わずにforループだけでは実現不能だということである。
なお、アッカーマン関数のグラフは原始再帰的である。
== アッカーマン関数の値の表 ==
アッカーマン関数の計算は、無限の表を使った手順に言い換えることができる。まず、一番上の列に自然数を順番に並べる。表の値を決めるためは、すぐ左の値を見て、一つ上の列でその順番の値を取る。もし左に数値がない場合は、単に一つ上の列のカラム 1(n=1) の数値を取る。表の左上の部分は以下のようになる。

再帰的な参照で表示している値は非常に大きいが、クヌースの矢印表記コンウェイのチェーン表記ハイパー演算子等を使えば
:(m, n)
:: = \left( 2\uparrow^ \left(n+3 \right) \right) -3
:: = \left( 2\rightarrow \left(n+3 \right) \rightarrow \left(m-2 \right) \right) - 3
:: = \operatorname(2, m, n+3)-3
:: = \operatorname m (2, n+3)-3
と簡潔に表す事が出来る。
以下は、上記のテーブルと同じものであるが、パターンを分かりやすくするため、値を関数定義の表現に置き換えている。


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「アッカーマン関数」の詳細全文を読む

英語版ウィキペディアに対照対訳語「 Ackermann function 」があります。



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.