擬似言語トレースドリル

同じ文字が続く最長の長さ　問題23

じっくり レベル：中級　／　このアルゴリズムの解説を読む

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

関数 longestRun は、文字の配列 s の中で、同じ文字が連続する部分の最長の長さを返す。配列の要素番号は 1 から始まる。

次のプログラムを longestRun({"b", "a", "c", "c", "c", "c"}) で呼び出す。

〔プログラム〕

1○整数型: longestRun(文字型の配列: s)
2 整数型: best ← 1
3 整数型: run ← 1
4 整数型: i
5 for (i を 2 から sの要素数 まで 1 ずつ増やす)
6 if (［　ａ　］)
7 run ← run ＋ 1
8 else
9 run ← 1
10 endif
11 if (run > best)
12 best ← run
13 endif
14 endfor
15 return best
ヒント1：トレース表の枠を見る

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

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

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

#行したことsbestruni
12宣言{"b", "a", "c", "c", "c", "c"}1——
23宣言{"b", "a", "c", "c", "c", "c"}11—
34宣言{"b", "a", "c", "c", "c", "c"}11未設定
45繰返しの初期化{"b", "a", "c", "c", "c", "c"}112
55条件判定（真）{"b", "a", "c", "c", "c", "c"}112
66条件判定（偽）{"b", "a", "c", "c", "c", "c"}112

設問1

longestRun({"b", "a", "c", "c", "c", "c"}) を呼び出すと戻り値は 4 になる。プログラム中の ［　ａ　］ に入れる正しい答えはどれか。

解答群

正解：ウ　s[i] ＝ s[i － 1]

  • それぞれの選択肢を空欄に入れて、実際に動かした結果は次のとおりです。
  • 「s[i] ＝ s[1]」→ 戻り値は 1
  • 「i ＝ run」→ 戻り値は 1
  • 「s[i] ＝ s[i － 1]」→ 戻り値は 4（正解）
  • 「s[i] ≠ s[i － 1]」→ 戻り値は 3

設問2

7行目を3回目に実行した直後の、変数 run の値はどれか。

解答群

正解：ウ　4

  • 7行目は全部で3回実行されます。
  • 実行した直後の run は、順に 2 → 3 → 4 です。
  • 3回目の直後なので、答えは 4 です。

設問3

9行目が実行される回数はどれか。

解答群

正解：イ　2

  • 9行目は2回実行されます。トレース表で 9行目の行を数えると確かめられます。

本番形式

問　次の記述中の［　ａ　］と［　ｂ　］に入れる正しい答えの組合せを，解答群の中から選べ。

関数 longestRun は，文字の配列 s の中で，同じ文字が連続する部分の最長の長さを返す。配列の要素番号は 1 から始まる。

関数 longestRun を longestRun({"b", "a", "c", "c", "c", "c"}) として呼び出すと，プログラム中の α の行は［　ａ　］回実行され，戻り値は［　ｂ　］となる。

〔プログラム〕

○整数型: longestRun(文字型の配列: s)
整数型: best ← 1
整数型: run ← 1
整数型: i
for (i を 2 から sの要素数 まで 1 ずつ増やす)
if (s[i] ＝ s[i － 1])
run ← run ＋ 1
else
run ← 1　/*** α ***/
endif
if (run > best)
best ← run
endif
endfor
return best

解答群

ａｂ
11
13
14
23
24
31
33
34

正解：オ　ａ 2，ｂ 4

  • 9行目は2回実行されます。トレース表で 9行目の行を数えると確かめられます。
  • 戻り値になる best は、1 → 2 → 3 → 4 と変わります。
  • 15行目で返す時点の値 4 が答えです。

α の行は，下のトレース表（行番号つき）では 9 行目です。

解説

run は「今続いている同じ文字の長さ」、best は「これまでの最長」です。 前の文字と同じなら run を 1 増やし、違えば 1 に戻します。最長の長さは 4 です。

行番号つきのプログラム

1○整数型: longestRun(文字型の配列: s)
2 整数型: best ← 1
3 整数型: run ← 1
4 整数型: i
5 for (i を 2 から sの要素数 まで 1 ずつ増やす)
6 if (s[i] ＝ s[i － 1])
7 run ← run ＋ 1
8 else
9 run ← 1
10 endif
11 if (run > best)
12 best ← run
13 endif
14 endfor
15 return best

トレース表（全ステップ）

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

#行したことsbestruni
12宣言{"b", "a", "c", "c", "c", "c"}1——
23宣言{"b", "a", "c", "c", "c", "c"}11—
34宣言{"b", "a", "c", "c", "c", "c"}11未設定
45繰返しの初期化{"b", "a", "c", "c", "c", "c"}112
55条件判定（真）{"b", "a", "c", "c", "c", "c"}112
66条件判定（偽）{"b", "a", "c", "c", "c", "c"}112
79代入{"b", "a", "c", "c", "c", "c"}112
811条件判定（偽）{"b", "a", "c", "c", "c", "c"}112
95繰返しの更新{"b", "a", "c", "c", "c", "c"}113
105条件判定（真）{"b", "a", "c", "c", "c", "c"}113
116条件判定（偽）{"b", "a", "c", "c", "c", "c"}113
129代入{"b", "a", "c", "c", "c", "c"}113
1311条件判定（偽）{"b", "a", "c", "c", "c", "c"}113
145繰返しの更新{"b", "a", "c", "c", "c", "c"}114
155条件判定（真）{"b", "a", "c", "c", "c", "c"}114
166条件判定（真）{"b", "a", "c", "c", "c", "c"}114
177代入{"b", "a", "c", "c", "c", "c"}124
1811条件判定（真）{"b", "a", "c", "c", "c", "c"}124
1912代入{"b", "a", "c", "c", "c", "c"}224
205繰返しの更新{"b", "a", "c", "c", "c", "c"}225
215条件判定（真）{"b", "a", "c", "c", "c", "c"}225
226条件判定（真）{"b", "a", "c", "c", "c", "c"}225
237代入{"b", "a", "c", "c", "c", "c"}235
2411条件判定（真）{"b", "a", "c", "c", "c", "c"}235
2512代入{"b", "a", "c", "c", "c", "c"}335
265繰返しの更新{"b", "a", "c", "c", "c", "c"}336
275条件判定（真）{"b", "a", "c", "c", "c", "c"}336
286条件判定（真）{"b", "a", "c", "c", "c", "c"}336
297代入{"b", "a", "c", "c", "c", "c"}346
3011条件判定（真）{"b", "a", "c", "c", "c", "c"}346
3112代入{"b", "a", "c", "c", "c", "c"}446
325繰返しの更新{"b", "a", "c", "c", "c", "c"}447
335条件判定（偽）{"b", "a", "c", "c", "c", "c"}447
3415戻る（4）{"b", "a", "c", "c", "c", "c"}447