同じ文字が続く最長の長さ 問題01
練習モードは行番号つきで順に解く形式、本番形式は公開問題と同じ体裁の1問です。
関数 longestRun は、文字の配列 s の中で、同じ文字が連続する部分の最長の長さを返す。配列の要素番号は 1 から始まる。
次のプログラムを longestRun({"b", "c", "a", "a", "a", "c", "b", "c", "b"}) で呼び出す。
〔プログラム〕
| 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行足していきます。
| # | 行 | したこと | s | best | run | i |
|---|
ヒント2：最初の6ステップを見る
続きを同じ要領で書いていきます。太字は、その文で値が変わった変数です。
| # | 行 | したこと | s | best | run | i |
|---|---|---|---|---|---|---|
| 1 | 2 | 宣言 | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 1 | — | — |
| 2 | 3 | 宣言 | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 1 | 1 | — |
| 3 | 4 | 宣言 | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 1 | 1 | 未設定 |
| 4 | 5 | 繰返しの初期化 | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 1 | 1 | 2 |
| 5 | 5 | 条件判定（真） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 1 | 1 | 2 |
| 6 | 6 | 条件判定（偽） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 1 | 1 | 2 |
設問1
longestRun({"b", "c", "a", "a", "a", "c", "b", "c", "b"}) を呼び出すと戻り値は 3 になる。プログラム中の ［ ａ ］ に入れる正しい答えはどれか。
正解：ア s[i] ＝ s[i － 1]
- それぞれの選択肢を空欄に入れて、実際に動かした結果は次のとおりです。
- 「s[i] ＝ s[i － 1]」→ 戻り値は 3（正解）
- 「s[i] ＝ s[1]」→ 戻り値は 2
- 「s[i] ≠ s[i － 1]」→ 戻り値は 5
- 「i ＝ run」→ 戻り値は 1
設問2
7行目を2回目に実行した直後の、変数 run の値はどれか。
正解：イ 3
- 7行目は全部で2回実行されます。
- 実行した直後の run は、順に 2 → 3 です。
- 2回目の直後なので、答えは 3 です。
設問3
9行目が実行される回数はどれか。
正解：ウ 6
- 9行目は6回実行されます。トレース表で 9行目の行を数えると確かめられます。
本番形式
問 次のプログラム中の［ ａ ］と［ ｂ ］に入れる正しい答えの組合せを，解答群の中から選べ。
関数 longestRun は，文字の配列 s の中で，同じ文字が連続する部分の最長の長さを返す。配列の要素番号は 1 から始まる。
関数 longestRun を longestRun({"b", "c", "a", "a", "a", "c", "b", "c", "b"}) として呼び出すと，戻り値は 3 となる。
〔プログラム〕
| ○整数型: longestRun(文字型の配列: s) |
| 整数型: best ← 1 |
| 整数型: run ← 1 |
| 整数型: i |
| for (i を 2 から sの要素数 まで 1 ずつ増やす) |
| if (［ ａ ］) |
| run ← run ＋ 1 |
| else |
| run ← 1 |
| endif |
| if (［ ｂ ］) |
| best ← run |
| endif |
| endfor |
| return best |
解答群
| ａ | ｂ | |
|---|---|---|
| i ＝ run | i > best | |
| i ＝ run | run < best | |
| i ＝ run | run > best | |
| s[i] ＝ s[i － 1] | i > best | |
| s[i] ＝ s[i － 1] | run < best | |
| s[i] ＝ s[i － 1] | run > best | |
| s[i － 1] ＝ s[1] | i > best | |
| s[i － 1] ＝ s[1] | run < best |
正解：カ ａ s[i] ＝ s[i － 1]，ｂ run > best
- それぞれの選択肢を空欄に入れて，実際に動かした結果は次のとおりです。
- ａ「i ＝ run」，ｂ「i > best」→ 戻り値は 1
- ａ「i ＝ run」，ｂ「run < best」→ 戻り値は 1
- ａ「i ＝ run」，ｂ「run > best」→ 戻り値は 1
- ａ「s[i] ＝ s[i － 1]」，ｂ「i > best」→ 戻り値は 1
- ａ「s[i] ＝ s[i － 1]」，ｂ「run < best」→ 戻り値は 1
- ａ「s[i] ＝ s[i － 1]」，ｂ「run > best」→ 戻り値は 3（正解）
- ａ「s[i － 1] ＝ s[1]」，ｂ「i > best」→ 戻り値は 1
- ａ「s[i － 1] ＝ s[1]」，ｂ「run < best」→ 戻り値は 1
解説
run は「今続いている同じ文字の長さ」、best は「これまでの最長」です。 前の文字と同じなら run を 1 増やし、違えば 1 に戻します。最長の長さは 3 です。
行番号つきのプログラム
| 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 |
トレース表（全ステップ）
太字は、その文で値が変わった変数です。設問が指している行は黄色、その回は濃い黄色、変数は青い列で示します。
| # | 行 | したこと | s | best | run | i |
|---|---|---|---|---|---|---|
| 1 | 2 | 宣言 | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 1 | — | — |
| 2 | 3 | 宣言 | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 1 | 1 | — |
| 3 | 4 | 宣言 | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 1 | 1 | 未設定 |
| 4 | 5 | 繰返しの初期化 | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 1 | 1 | 2 |
| 5 | 5 | 条件判定（真） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 1 | 1 | 2 |
| 6 | 6 | 条件判定（偽） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 1 | 1 | 2 |
| 7 | 9 | 代入 | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 1 | 1 | 2 |
| 8 | 11 | 条件判定（偽） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 1 | 1 | 2 |
| 9 | 5 | 繰返しの更新 | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 1 | 1 | 3 |
| 10 | 5 | 条件判定（真） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 1 | 1 | 3 |
| 11 | 6 | 条件判定（偽） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 1 | 1 | 3 |
| 12 | 9 | 代入 | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 1 | 1 | 3 |
| 13 | 11 | 条件判定（偽） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 1 | 1 | 3 |
| 14 | 5 | 繰返しの更新 | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 1 | 1 | 4 |
| 15 | 5 | 条件判定（真） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 1 | 1 | 4 |
| 16 | 6 | 条件判定（真） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 1 | 1 | 4 |
| 17 | 7 | 代入 | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 1 | 2 | 4 |
| 18 | 11 | 条件判定（真） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 1 | 2 | 4 |
| 19 | 12 | 代入 | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 2 | 2 | 4 |
| 20 | 5 | 繰返しの更新 | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 2 | 2 | 5 |
| 21 | 5 | 条件判定（真） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 2 | 2 | 5 |
| 22 | 6 | 条件判定（真） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 2 | 2 | 5 |
| 23 | 7 | 代入 | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 2 | 3 | 5 |
| 24 | 11 | 条件判定（真） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 2 | 3 | 5 |
| 25 | 12 | 代入 | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 3 | 3 | 5 |
| 26 | 5 | 繰返しの更新 | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 3 | 3 | 6 |
| 27 | 5 | 条件判定（真） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 3 | 3 | 6 |
| 28 | 6 | 条件判定（偽） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 3 | 3 | 6 |
| 29 | 9 | 代入 | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 3 | 1 | 6 |
| 30 | 11 | 条件判定（偽） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 3 | 1 | 6 |
| 31 | 5 | 繰返しの更新 | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 3 | 1 | 7 |
| 32 | 5 | 条件判定（真） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 3 | 1 | 7 |
| 33 | 6 | 条件判定（偽） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 3 | 1 | 7 |
| 34 | 9 | 代入 | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 3 | 1 | 7 |
| 35 | 11 | 条件判定（偽） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 3 | 1 | 7 |
| 36 | 5 | 繰返しの更新 | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 3 | 1 | 8 |
| 37 | 5 | 条件判定（真） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 3 | 1 | 8 |
| 38 | 6 | 条件判定（偽） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 3 | 1 | 8 |
| 39 | 9 | 代入 | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 3 | 1 | 8 |
| 40 | 11 | 条件判定（偽） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 3 | 1 | 8 |
| 41 | 5 | 繰返しの更新 | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 3 | 1 | 9 |
| 42 | 5 | 条件判定（真） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 3 | 1 | 9 |
| 43 | 6 | 条件判定（偽） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 3 | 1 | 9 |
| 44 | 9 | 代入 | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 3 | 1 | 9 |
| 45 | 11 | 条件判定（偽） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 3 | 1 | 9 |
| 46 | 5 | 繰返しの更新 | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 3 | 1 | 10 |
| 47 | 5 | 条件判定（偽） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 3 | 1 | 10 |
| 48 | 15 | 戻る（3） | {"b", "c", "a", "a", "a", "c", "b", "c", "b"} | 3 | 1 | 10 |