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

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

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

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

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

〔プログラム〕

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

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

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

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

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

設問1

tally({2, 2, 3, 2, 1, 1, 2}, 3) を呼び出すと戻り値は {2, 4, 1} になる。プログラム中の [ a ] に入れる正しい答えはどれか。

解答群

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

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

設問2

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

解答群

正解:ウ {2, 3, 1}

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

本番形式

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

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

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

〔プログラム〕

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

解答群

正解:イ {2, 4, 1}

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

解説

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

行番号つきのプログラム

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