olymmath

ISL 2020 C3

    Let nn be an integer with n⩾2n \geqslant 2. On a slope of a mountain, n2n^{2} checkpoints are marked, numbered from 1 to n2n^{2} from the bottom to the top. Each of two cable car companies, AA and BB, operates kk cable cars numbered from 1 to kk; each cable car provides a transfer from some checkpoint to a higher one. For each company, and for any ii and jj with 1⩽i<j⩽k1 \leqslant i<j \leqslant k, the starting point of car jj is higher than the starting point of car ii; similarly, the finishing point of car jj is higher than the finishing point of car ii. Say that two checkpoints are linked by some company if one can start from the lower checkpoint and reach the higher one by using one or more cars of that company (no movement on foot is allowed). Determine the smallest kk for which one can guarantee that there are two checkpoints that are linked by each of the two companies. (India)

    Official text Transcription from NuminaMath olympiads, checked word for word against the official paper. Quoted with source.

    Official text: IMO 2020 Shortlist booklet, page 8.

    Solutions

    Official solution Solution 1 by the IMO Problem Selection Committee

    The terms of the source let olymmath link to this solution but not copy it. Read the solution (IMO official site).

    Locator isl/2020/c3 · Tag AC2GKMAGVP · Edit this page on GitHub · Keys: j next, k previous