MathLabs

第5問

カタツムリのタートルは、2024行2023列のグリッドの最上段の行にいて、最下段の行に到達したいと考えている。しかし、最初と最後の行を除く各行にちょうど1匹ずつ、合計2022匹の隠れたモンスターがいて、どの二匹も同じ列にはいない。タートルは最初の行から最後の行へ到達するために何度も試行を行う。各試行では、最初の行の好きなマスから出発し、その後は上下左右に隣接するマスへの移動を繰り返す(すでに訪れたマスに戻ることも許される)。もしタートルがモンスターのいるマスに到達すると、その試行は終了し、タートルは最初の行に戻されて新しい試行を始める。モンスターは試行の間に動かず、タートルは自分が訪れた各マスにモンスターがいたかどうかを覚えている。最後の行のいずれかのマスに到達すると、その試行は終了しタートルの勝利となる。モンスターの配置によらず、タートルが高々 nn 回の試行で最下段の行に到達できることを保証する戦略が存在するような、最小の整数 nn を求めよ。
ステップ 2/5: 最初の試行で行2のモンスターの位置が分かる
ざっくり言うと

行2にはモンスターがちょうど1匹しかいないので、(最終的な失敗を受け入れつつ)その行を端から端まで歩くことが、本格的に下へ進む前にそのモンスターの正確な位置を知るための最も安上がりな方法である。

Attempt 1: sweep row 2 to find monster M1\text{Attempt 1: sweep row 2 to find monster } M_1
詳しい解説

最初の試行で、タートルは2行目全体を端から端まで歩き、そこにいるモンスター M1M_1 に到達する。この試行は必ず失敗に終わるが、タートルは M1M_1 の正確な列を知ることができる。