アルゴリズムとプログラミング

基本情報技術者試験1, 2, 3, 4 をこの順に push できるスタックがある。push と pop…

アルゴリズムとプログラミングアルゴリズムとプログラミング計算問題難易度:hard
1, 2, 3, 4 をこの順に push できるスタックがある。push と pop は任意の順序で混在してよいが、push は必ず 1→2→3→4 の順に行う。次の手続 canPop は、与えられた取り出し希望列 want が実際に pop で実現できるかを判定する。want = {3, 2, 4, 1}(要素数 4、添字は 1 から)を与えて実行したとき、戻り値はどれか。next は次に push すべき値(初期 1、push のたびに +1)を表す。
○論理型: canPop(整数型の配列: want)
  スタック: stk          // 空で開始
  整数型: next ← 1
  整数型: i
  for (i を 1 から wantの要素数 まで 1 ずつ増やす)
    while ((stk が空 または stk.top が want[i] と等しくない) and next ≦ 4)
      stk.push(next)
      next ← next + 1
    endwhile
    if (stk が空でない and stk.top が want[i] と等しい)
      stk.pop()
    else
      return false
    endif
  endfor
  return true
true(実現可能な系列)
false
true だが要素が残留する系列
next 超過でエラー停止する
正解
ア.true(実現可能な系列)

want[i] を取り出すために必要な値まで push し、頂上が一致したら pop する。3→2→4→1 は 1,2,3 を積んで 3,2 を出し、4 を積んで 4,1 を出す手順で完全に実現できるため true となり、アが正しい。

?選択肢ごとの解説

ア ○want[i] を取り出すために必要な値まで push し、頂上が一致したら pop する。3→2→4→1 は 1,2,3 を積んで 3,2 を出し、4 を積んで 4,1 を出す手順で完全に実現できるため true となり、アが正しい。
イ ×3,2,4,1 を実現不能と誤認した判定だが、上記手順で全要素が pop でき false にはならない。
ウ ×全要素を取り出すとスタックは空になり残留は生じないため、残留ありとするのは誤りである。
エ ×next は最大 4 まで push され 5 以上は積まないため、next 超過によるエラーは起きない。
この問題の「深掘り・誤答の完全解説・覚え方」は、登録すると読めます。

基本情報技術者試験は全4,036問。公開しているのはその一部で、登録すると残りも一問ごとにAI解説つきで解けます。SRS暗記カード・全真模試・弱点診断まで。

登録は1分・クレジットカード不要。無料のまま練習・暗記カード・模試まで使えます。

作成・校閲:ukamiru編集部 · 基本情報技術者試験 過去問 · fe-b-algo-0099

【基本情報技術者試験】1, 2, 3, 4 をこの順に push…|正解「true(実現可能な系列)」|ukamiru 過去問