2つに枝分かれする再帰 問題14

標準 レベル:中級 / このアルゴリズムの解説を読む

練習モードは行番号つきで順に解く形式、本番形式は公開問題と同じ体裁の1問です。

関数 f は、自分自身を 2 回呼び出して値を計算する。

次のプログラムを f(5) で呼び出す。

〔プログラム〕

1○整数型: f(整数型: n)
2 if (n ≦ 1)
3 return 1
4 endif
5 return f(n - 1) + f(n - 3)
ヒント1:トレース表の枠を見る

この列で表を作り、文を1つ実行するたびに1行足していきます。

#行したことn
ヒント2:最初の5ステップを見る

続きを同じ要領で書いていきます。太字は、その文で値が変わった変数です。

#行したこと手続n
12条件判定(偽)f5
22条件判定(偽) f4
32条件判定(偽)  f3
42条件判定(偽)   f2
52条件判定(真)    f1

設問1

2行目の条件式が評価される回数はどれか。

解答群

正解:ウ 11

  • 2行目の条件式は11回評価され、真が6回、偽が5回です。

設問2

3行目が実行される回数はどれか。

解答群

正解:イ 6

  • 3行目が実行されるのは、2行目の条件が真になったときだけです。
  • 2行目の条件は11回評価され、真になるのは6回です。したがって 3行目は6回実行されます。

設問3

f(5) を呼び出したときの戻り値はどれか。

解答群

正解:イ 6

  • 呼出しは全部で11回行われます。
  • 奥の呼出しから順に 1 → 1 → 2 → 1 → 3 → 1 → 4 → 1 → 1 → 2 → 6 を返し、最後に返る 6 が答えです。

本番形式

問 次の記述中の[ a ]に入れる正しい答えを,解答群の中から選べ。

関数 f は,自分自身を 2 回呼び出して値を計算する。

関数 f を f(5) として呼び出すと,戻り値は[ a ]となる。

〔プログラム〕

○整数型: f(整数型: n)
if (n ≦ 1)
return 1
endif
return f(n - 1) + f(n - 3)

解答群

正解:ウ 6

  • 呼出しは全部で11回行われます。
  • 奥の呼出しから順に 1 → 1 → 2 → 1 → 3 → 1 → 4 → 1 → 1 → 2 → 6 を返し、最後に返る 6 が答えです。

解説

f(5) は f(5 - 1) と f(5 - 3) の和です。呼出しを木の形に書き出し、n が 1 以下になった所に 1 を書いて、下から足し上げます。 戻り値は 6 です。

行番号つきのプログラム

1○整数型: f(整数型: n)
2 if (n ≦ 1)
3 return 1
4 endif
5 return f(n - 1) + f(n - 3)

トレース表(全ステップ)

太字は、その文で値が変わった変数です。設問が指している行は黄色、その回は濃い黄色、変数は青い列で示します。

#行したこと手続n
12条件判定(偽)f5
22条件判定(偽) f4
32条件判定(偽)  f3
42条件判定(偽)   f2
52条件判定(真)    f1
63戻る(1)    f1
72条件判定(真)    f-1
83戻る(1)    f-1
95戻る(2)   f2
102条件判定(真)   f0
113戻る(1)   f0
125戻る(3)  f3
132条件判定(真)  f1
143戻る(1)  f1
155戻る(4) f4
162条件判定(偽) f2
172条件判定(真)  f1
183戻る(1)  f1
192条件判定(真)  f-1
203戻る(1)  f-1
215戻る(2) f2
225戻る(6)f5