アッカーマン関数 $A(m, n)$ について、$A(2, 1) = 5$ であることを、$A(2, 0) = 3$ と $A(1, 1) = 3$ であることを利用して、途中式を書いて示す。

離散数学アッカーマン関数再帰関数計算量
2025/6/24

1. 問題の内容

アッカーマン関数 A(m,n)A(m, n) について、A(2,1)=5A(2, 1) = 5 であることを、A(2,0)=3A(2, 0) = 3A(1,1)=3A(1, 1) = 3 であることを利用して、途中式を書いて示す。

2. 解き方の手順

アッカーマン関数の定義は次の通りです。
A(0,n)=n+1A(0, n) = n + 1
A(m,0)=A(m1,1)A(m, 0) = A(m-1, 1) for m>0m > 0
A(m,n)=A(m1,A(m,n1))A(m, n) = A(m-1, A(m, n-1)) for m>0m > 0 and n>0n > 0
この定義を用いて、A(2,1)A(2, 1) を計算します。
まず、A(2,1)A(2, 1) を定義に従って展開します。
A(2,1)=A(1,A(2,0))A(2, 1) = A(1, A(2, 0))
A(2,0)=3A(2, 0) = 3 であることを問題文から知っているので、
A(2,1)=A(1,3)A(2, 1) = A(1, 3)
次に、A(1,3)A(1, 3) を展開します。
A(1,3)=A(0,A(1,2))A(1, 3) = A(0, A(1, 2))
A(1,2)=A(0,A(1,1))A(1, 2) = A(0, A(1, 1))
A(1,1)=3A(1, 1) = 3 であることを問題文から知っているので、
A(1,2)=A(0,3)A(1, 2) = A(0, 3)
アッカーマン関数の定義より、A(0,n)=n+1A(0, n) = n + 1 なので、
A(0,3)=3+1=4A(0, 3) = 3 + 1 = 4
したがって、A(1,2)=4A(1, 2) = 4
A(1,3)=A(0,A(1,2))=A(0,4)A(1, 3) = A(0, A(1, 2)) = A(0, 4)
アッカーマン関数の定義より、A(0,n)=n+1A(0, n) = n + 1 なので、
A(0,4)=4+1=5A(0, 4) = 4 + 1 = 5
したがって、A(1,3)=5A(1, 3) = 5
よって、A(2,1)=A(1,3)=5A(2, 1) = A(1, 3) = 5

3. 最終的な答え

A(2,1)=5A(2,1) = 5

「離散数学」の関連問題

東西に5本、南北に6本の格子状の道がある。AからBへ最短距離で行く道順について、以下の問いに答える。 (1) どのような道順でもよい場合、何通りの道順があるか。 (2) Cを通る場合、何通りの道順があ...

組み合わせ最短経路格子状の道
2025/6/24

与えられた命題 $\neg \neg \neg (\forall x \in \mathbb{N} \ \neg (\exists y \in \mathbb{N} \ (x+y>10)))$ と同値...

論理命題論理全称量化子存在量化子
2025/6/24

問題は、与えられた命題 $\neg(\forall x \exists y (\neg P(x,y)))$ と同値な命題を選ぶ問題です。選択肢は以下の通りです。 1. $\exists x \for...

論理命題論理全称 quantifiers存在 quantifiers論理的同値
2025/6/24

与えられた論理式 $\forall x \forall y \exists z P(x, y, z)$ と同値な命題を選択する問題です。選択肢は以下の4つです。 1. $\forall x \exi...

論理量化子論理式同値
2025/6/24

問題9(1): 6人をA, B, Cの3つの組に2人ずつ分ける方法は何通りあるか。 問題9(2): 6人を2人ずつの3つの組に分ける方法は何通りあるか。

組み合わせ場合の数順列
2025/6/24

この問題は、数字の並べ方に関する組み合わせの問題です。 (1) 5つの数字から重複を許して4つ並べる場合の数 (2) 5つの数字から重複を許さず4つ並べる場合の数 (3) 5つの数字の中から1回使う数...

組み合わせ順列重複組合せ場合の数
2025/6/24

与えられた4つの命題の真偽を判定する問題です。 (1) $\forall x (x=x)$ (2) $\exists x (x=1)$ (3) $\forall x (x \in N \rightar...

命題論理全称 quantifiers存在 quantifiers集合
2025/6/24

8人が円形のテーブルに向かって座る座り方の総数を求める問題です。

組み合わせ順列円順列階乗
2025/6/24

問題は以下の2つです。 (1) 命題 $p$ と $q$ に対して、真理値表を完成させる問題です。具体的には、$\neg p$、$\neg p \lor q$、$p \rightarrow q$ の真...

論理真理値表命題論理トートロジード・モルガンの法則論理演算
2025/6/24

与えられた真理値表を完成させる問題です。$p$ と $q$ の真偽値が与えられたとき、$p \land q \rightarrow p$, $p \rightarrow p \land q$, $\l...

論理真理値表命題論理
2025/6/24