値ごとの個数を数える 問題06

じっくり レベル:基礎 / このアルゴリズムの解説を読む

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

関数 tally は、配列 data に 1 から kinds までの整数がそれぞれ何個あるかを数え、個数の配列を返す。data の要素は 1 以上 kinds 以下の整数である。配列の要素番号は 1 から始まる。

次のプログラムを tally({2, 1, 1, 3, 1, 2, 3}, 3) で呼び出す。

〔プログラム〕

1○整数型の配列: tally(整数型の配列: data, 整数型: kinds)
2 整数型の配列: count ← {kinds 個の 0}
3 整数型: i
4 for (i を 1 から dataの要素数 まで 1 ずつ増やす)
5 count[data[i]] ← count[data[i]] + 1
6 endfor
7 return count
ヒント1:トレース表の枠を見る

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

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

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

#行したことdatakindscounti
12宣言{2, 1, 1, 3, 1, 2, 3}3{0, 0, 0}—
23宣言{2, 1, 1, 3, 1, 2, 3}3{0, 0, 0}未設定
34繰返しの初期化{2, 1, 1, 3, 1, 2, 3}3{0, 0, 0}1
44条件判定(真){2, 1, 1, 3, 1, 2, 3}3{0, 0, 0}1

設問1

5行目を1回目に実行した直後の、変数 count の値はどれか。

解答群

正解:ウ {0, 1, 0}

  • 5行目は全部で7回実行されます。
  • 実行した直後の count は、順に {0, 1, 0} → {1, 1, 0} → {2, 1, 0} → {2, 1, 1} → {3, 1, 1} → {3, 2, 1} → {3, 2, 2} です。
  • 1回目の直後なので、答えは {0, 1, 0} です。

設問2

tally({2, 1, 1, 3, 1, 2, 3}, 3) を呼び出したときの戻り値はどれか。

解答群

正解:イ {3, 2, 2}

  • 戻り値になる count は、{0, 0, 0} → {0, 1, 0} → {1, 1, 0} → {2, 1, 0} → {2, 1, 1} → {3, 1, 1} → {3, 2, 1} → {3, 2, 2} と変わります。
  • 7行目で返す時点の値 {3, 2, 2} が答えです。

本番形式

問 次のプログラム中の[ a ]に入れる正しい答えを,解答群の中から選べ。

関数 tally は,配列 data に 1 から kinds までの整数がそれぞれ何個あるかを数え,個数の配列を返す。data の要素は 1 以上 kinds 以下の整数である。配列の要素番号は 1 から始まる。

関数 tally を tally({2, 1, 1, 3, 1, 2, 3}, 3) として呼び出すと,戻り値は {3, 2, 2} となる。

〔プログラム〕

○整数型の配列: tally(整数型の配列: data, 整数型: kinds)
整数型の配列: count ← {kinds 個の 0}
整数型: i
for (i を 1 から dataの要素数 まで 1 ずつ増やす)
count[data[i]] ← [ a ]
endfor
return count

解答群

正解:ウ count[data[i]] + 1

  • それぞれの選択肢を空欄に入れて,実際に動かした結果は次のとおりです。
  • 「count[i] + 1」→ 途中で止まる(配列の範囲外です(要素番号 4、要素数 3))
  • 「count[1] + 1」→ 戻り値は {3, 4, 4}
  • 「count[data[i]] + 1」→ 戻り値は {3, 2, 2}(正解)
  • 「count[data[i]]」→ 戻り値は {0, 0, 0}
  • 「count[data[i]] + data[i]」→ 戻り値は {3, 4, 6}
  • 「data[i] + 1」→ 戻り値は {2, 3, 4}
  • 「i」→ 戻り値は {5, 6, 7}

解説

data[i] の値を、そのまま count の要素番号として使います。値が 2 なら count[2] を 1 増やします。 戻り値は {3, 2, 2} です。

行番号つきのプログラム

1○整数型の配列: tally(整数型の配列: data, 整数型: kinds)
2 整数型の配列: count ← {kinds 個の 0}
3 整数型: i
4 for (i を 1 から dataの要素数 まで 1 ずつ増やす)
5 count[data[i]] ← count[data[i]] + 1
6 endfor
7 return count

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

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

#行したことdatakindscounti
12宣言{2, 1, 1, 3, 1, 2, 3}3{0, 0, 0}—
23宣言{2, 1, 1, 3, 1, 2, 3}3{0, 0, 0}未設定
34繰返しの初期化{2, 1, 1, 3, 1, 2, 3}3{0, 0, 0}1
44条件判定(真){2, 1, 1, 3, 1, 2, 3}3{0, 0, 0}1
55代入{2, 1, 1, 3, 1, 2, 3}3{0, 1, 0}1
64繰返しの更新{2, 1, 1, 3, 1, 2, 3}3{0, 1, 0}2
74条件判定(真){2, 1, 1, 3, 1, 2, 3}3{0, 1, 0}2
85代入{2, 1, 1, 3, 1, 2, 3}3{1, 1, 0}2
94繰返しの更新{2, 1, 1, 3, 1, 2, 3}3{1, 1, 0}3
104条件判定(真){2, 1, 1, 3, 1, 2, 3}3{1, 1, 0}3
115代入{2, 1, 1, 3, 1, 2, 3}3{2, 1, 0}3
124繰返しの更新{2, 1, 1, 3, 1, 2, 3}3{2, 1, 0}4
134条件判定(真){2, 1, 1, 3, 1, 2, 3}3{2, 1, 0}4
145代入{2, 1, 1, 3, 1, 2, 3}3{2, 1, 1}4
154繰返しの更新{2, 1, 1, 3, 1, 2, 3}3{2, 1, 1}5
164条件判定(真){2, 1, 1, 3, 1, 2, 3}3{2, 1, 1}5
175代入{2, 1, 1, 3, 1, 2, 3}3{3, 1, 1}5
184繰返しの更新{2, 1, 1, 3, 1, 2, 3}3{3, 1, 1}6
194条件判定(真){2, 1, 1, 3, 1, 2, 3}3{3, 1, 1}6
205代入{2, 1, 1, 3, 1, 2, 3}3{3, 2, 1}6
214繰返しの更新{2, 1, 1, 3, 1, 2, 3}3{3, 2, 1}7
224条件判定(真){2, 1, 1, 3, 1, 2, 3}3{3, 2, 1}7
235代入{2, 1, 1, 3, 1, 2, 3}3{3, 2, 2}7
244繰返しの更新{2, 1, 1, 3, 1, 2, 3}3{3, 2, 2}8
254条件判定(偽){2, 1, 1, 3, 1, 2, 3}3{3, 2, 2}8
267戻る({3, 2, 2}){2, 1, 1, 3, 1, 2, 3}3{3, 2, 2}8