令和8年度 基本情報技術者試験 科目B 問4の解説｜2つの配列でリストをたどる

令和8年度 科目B 公開問題 問4擬似言語・単方向リスト・繰返し最終更新 2026-08-25

令和8年度の科目B、その4問目です。ここで「単方向リスト」という新しい仕組みが出てきます。名前は難しそうですが、やっていることは「配列を2本ならべて、片方に次の場所の番号を書いておく」だけです。この記事では、その2本の配列を指でたどれるようになるところから始めます。

出題

まず原文のまま読んでみてください。記号の読み方は次の節にまとめてありますので、読めなくてもここでは問題ありません。

大域: 整数型の配列: dataList ← {10, 30, 20, 40, 未定義の値}
大域: 整数型の配列: pointerList ← {3, 4, 2, 未定義の値, 未定義の値}

○整数型の配列: orderList()
  整数型: i, p ← 1
  整数型の配列: linearList ← {}  // 要素数0の配列
  for (i を 1 から dataListの要素数 まで 1 ずつ増やす)
    linearListの末尾 に dataList[p]の値 を追加する
    if (a が 未定義)
      繰返し処理を終了する
    endif
    p ← b
  endfor
  return linearList

この問題に出てくる記号

読めない記号があったときだけ開いてください。先に全部読む必要はありません。

これで手が止まるところがあれば、下の教科書から、先にそこだけ読んでください（G4 のような番号は、当サイトの擬似言語の教科書の第何回かを表します）。

2つの配列で「つながり」を表す

ここがこの問題の背骨です。配列はふつう、並んでいる順に読みます。ところがこの問題では、読む順番を別の配列に書いてあるのです。

図1の2本を、番号をそろえて並べてみます。

dataList　＝　その場所の値

pointerList　＝　次に行く場所の番号

網掛けのところが未定義です。何も入っていない、という意味です。

では、この2本をどう使うのか。問題文に「単方向リストの先頭は，dataList[1] 及びpointerList[1] の組み」とあるので、1番の場所から始めます。1つの場所ですることは2つあって、使う枡がそれぞれ違います。そこを分けて見ます。

1つの場所ですることは、いつもこの2つです。①同じ番号の dataList から値を手にする。②同じ番号の pointerList を見て、次の行き先を知る。これを、行き先が無くなるまでくり返すだけ。値は同じ番号のところ。ちがう番号を指すのは、行き先だけ。

先頭から、指でたどってみる

さっきの2つを、行き先が無くなるまでくり返すだけです。そのとき、手にした値を順に別の配列へ書き写していきます ── この記事では、手にして書き写すところまでをまとめて「拾う」、書き写す先を linearList（問題文の名前）と呼びます。これが、最後に返す答えの配列になります。

まず1回、自分でやってみてください。

最後までたどると、こうなります。

拾った値を順に並べると 10 → 20 → 30 → 40 ── これが図2の配列です。たどった場所は 1 → 3 → 2 → 4 と飛んでいるのに、拾った値は順に並びます。並び順を決めているのは配列の位置ではなく pointerList だ、ということです。5番の場所には一度も来ません ── どの行き先の欄にも 5 と書かれていないからです。

コードの中で、a は「止まる合図」、b は「次の番号」

いま指でやったことを、プログラムはどう書いているのか。注釈を付けて見ます。

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

空欄に入るものを決める

解答群を先に見ると、似た式が4つ並んでいて迷います。入れるべきものを自分で決めてから、最後に照合するほうが速いです。空欄は2つ。どちらもさっき指でやったことが、そのまま答えになります。

空欄 b ── p ← b は「次の場所へ移る」行

指でたどったとき、次の場所の番号はどこに書いてありましたか。1番にいるとき「次は3番」と教えてくれたのは pointerList[1] でした。読む欄の番号は、いまいる場所によって変わります ── そこが p です。決めるのは、この行です。

〔プログラム〕空欄b のある行

    endif
    p ← b
  endfor

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

実際に p が書き換わるところを見ます。

p が変われば、次に読む欄も同じだけずれます。1番にいれば pointerList[1]、3番にいれば pointerList[3] ── いつでも「いまいる番号の欄」です。

空欄 a ── if (a が 未定義) は「もう行き先が無いか」を見る行

決めるのは、この行です。

〔プログラム〕空欄a のある行（前後もいっしょに）

    linearListの末尾 に dataList[p]の値 を追加する
    if (a が 未定義)
      繰返し処理を終了する
    endif

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

たどり終えたのは 4番の場所でした。そこで空になっていたのは、どちらの枡だったか。

dataList[4] には 40 が入っています。空なのは pointerList[4] のほうです。止まる合図は「値が無い」ではなく「次の行き先が無い」。

ここで初めて解答群を見る

a も b も pointerList[p]。解答群でこの組合せは エ ひとつだけです。

ちなみに i は for が数えている周の番号で、行き先の欄を一度も見ません。b に i を入れる ア・ウ は、そもそもリストをたどっていません。

答え合わせ ── 入れて動かすと図2が出る

空欄に エ を入れて、図1のデータで最後まで進めます。見るのは p（いまいる場所）と linearList（並べ終わったぶん）です。

○整数型の配列: orderList()
  整数型: i, p ← 1
  整数型の配列: linearList ← {}  // 要素数0の配列
  for (i を 1 から dataListの要素数 まで 1 ずつ増やす)
    linearListの末尾 に dataList[p]の値 を追加する
    if (pointerList[p] が 未定義)
      繰返し処理を終了する
    endif
    p ← pointerList[p]
  endfor
  return linearList

同じ考え方で解く練習問題

身についたかどうかは、つなぎ方を変えた問題で確かめるのがいちばんです。プログラムは1文字も変えません。

○整数型の配列: orderList()
  整数型: i, p ← 1
  整数型の配列: linearList ← {}  // 要素数0の配列
  for (i を 1 から dataListの要素数 まで 1 ずつ増やす)
    linearListの末尾 に dataList[p]の値 を追加する
    if (pointerList[p] が 未定義)
      繰返し処理を終了する
    endif
    p ← pointerList[p]
  endfor
  return linearList

「リストをたどる」問題を見分ける

この形は、配列が2本あって、片方に要素番号が入っているのが合図です。見つけたら、次の順で読みます。

くり返しの上限が「配列の要素数」になっているのも、この形の目印です。ただしこれはどこかで未定義に行き着くつながり方を前提にしています ── もし pointerList が輪になっていれば同じ場所を何度でも通るので、上限まで回っても正しい答えにはなりません。

次に読む

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