基本情報技術者試験 科目B サンプル問題 問11の解説｜ビンソートの関数 binSort に渡す配列を選ぶ

科目B サンプル問題 問11難易度 ★擬似言語・配列・for・未定義最終更新 2026-09-22

気づけば解けるのは1点 ── bins[data[i]] ← data[i] は、値を、その値と同じ番号の枡へ置いています。そこが読めると、条件の「昇順」はひとりでに満たされ、残るのは未定義が残らないかだけになります。

出題

○整数型の配列: binSort(整数型の配列: data)
  整数型: n ← dataの要素数
  整数型の配列: bins ← {n個の未定義の値}
  整数型: i

  for (i を 1 から n まで 1 ずつ増やす)
    bins[data[i]] ← data[i]
  endfor

  return bins

この問題に出てくる記号

読めない記号があったときだけ開いてください。

コードは何をしているか ── 値を、その値と同じ番号の枡へ置く

行数は8行、くり返しの中は1行だけです。どの行が何をしているかを先に見ておきます。

※ 右側の注釈は当サイトで書き加えたものです。プログラム自体は原文のまま引用しています。

返すのは bins です。問題文は、その bins について「未定義の要素は含まれておらず，値は昇順に並んでいる」と言っています。つまり、最後の bins がそうなるように data を選べ、ということです。

では bins はどう作られるのか。書き込む行は bins[data[i]] ← data[i] の1か所だけなので、この行を1回ぶん動かせば分かります。data に ア の {2, 6, 3, 1, 4, 5} を渡して、1周目を見ます。

値 v は、いつでも bins の v 番目に入ります。ということは、1番目には 1、2番目には 2、… しか入りません。もし枡が全部埋まったなら、その並びは {1, 2, 3, 4, 5, 6} ── 昇順以外にはなりようがありません。2つの条件のうち「値は昇順に並んでいる」のほうは、未定義の枡が1つも残らなければ、ついてきます。

残る条件は未定義の要素が残らないことのほう。これだけが、渡す配列を選び分けます。

未定義が残らない配列を決める

〔プログラム〕枡を作るところと、書き込むところ

  整数型の配列: bins ← {n個の未定義の値}
  整数型: i

  for (i を 1 から n まで 1 ずつ増やす)
    bins[data[i]] ← data[i]
  endfor

※ 上の〔プログラム〕からの抜粋です（1字も変えていません）。

bins の枡は n 個で、for は i を 1 から n まで動かすので、書き込みは n 回です。解答群はどれも要素数が 6 なので、6つの枡に、6回書き込むことになります。ちょうど同じ数です。

ということは、6つの枡を全部埋めるには毎回ちがう枡に書くしかありません。書く枡の番号は値そのものでしたから、同じ値が2回出てくると、2回とも同じ枡に書くことになります。ア以外の選択肢で、それがどうなるかを見ます。

渡す配列に求められるのは、これで出そろいました。値はどれも 1 から 6 のあいだ（枡は6つしかないので、これを外れると書く枡がありません）、値は6個、同じ値が2回出てこない。1 から 6 の6種類から、重ならないように6個選ぶのですから、6種類が1つずつ全部使われるしかありません。

空欄に入るのは、1 から 6 までが1回ずつ並んだ配列です。

解答群を見る

同じ値が2回出てこないものを探します。

ア だけが 1 から 6 までを1回ずつ持っています。

答え合わせ

正解は ア {2, 6, 3, 1, 4, 5}。戻り値は {1, 2, 3, 4, 5, 6} になります。

イ・ウ・エ は、2回出てくる値のぶんだけ書き込みが重なるので、上の表のとおり戻り値に未定義が1つ残ります。この問題で見るのは、2つの条件のうち未定義のほうだけでした ── 未定義さえ残らなければ、昇順は置き方から必ず成り立つからです。

アを入れて、最後まで動かします。

次に読む

この問題でどこに手間取ったかで、行き先が変わります。