Back to Mathematical Olympiad
Difficulty: 10/102022 IMO 2022 (Q6)

Let be a positive integer. A Nordic square is an board containing all the integers from to so that each cell contains exactly one number. Two cells are considered adjacent if they share an edge. A cell is a valley if the number written in it is less than the numbers written in all adjacent cells. An uphill path is a sequence of one or more cells such that:

(i) the first cell in the sequence is a valley,

(ii) each subsequent cell in the sequence is adjacent to the previous cell,

(iii) the numbers written in the cells of the sequence are in strictly increasing order.

Find, as a function of , the smallest possible total number of uphill paths in a Nordic square.

Options:

  • A.

    .

  • B.

    .

  • .

  • D.

    .

Guide / Hint

Hint 1: An uphill path starts at a valley (local minimum) and follows strictly increasing adjacent cells. Count all such paths.

Hint 2: Try small cases: for , what's the minimum? The answer should match .

Hint 3: For the lower bound, analyze how paths branch at each row. For the construction, use a snake-like numbering with 2 valleys.

Solution

Step 1 (Count uphill paths): Each uphill path starts at a valley and follows increasing values. The total count depends on the number of valleys and the branching structure of increasing paths from each valley.

Step 2 (Lower bound): Each cell with value contributes to uphill paths: the number of uphill paths ending at equals the number of valleys from which is reachable via increasing paths. We show the total is at least .

Step 3 (Construction achieving ): Arrange numbers in a snake pattern along rows, with values increasing along each row and alternating direction. This creates exactly 2 valleys (in corners) and the path structure is a binary tree of depth , giving total paths.

Step 4 (Proof of lower bound): Consider the contribution of each row: each row introduces at least one new branching point for uphill paths. A careful inductive argument shows the minimum doubles with each row, giving the factor.

Ready to track your progress and master these topics?

Create a free account