MathDB
Modular Strip

Source: IMO Shortlist 2023 C4

July 17, 2024
combinatoricsgraph theoryIMO Shortlist

Problem Statement

Let n2n\geqslant 2 be a positive integer. Paul has a 1×n21\times n^2 rectangular strip consisting of n2n^2 unit squares, where the ithi^{\text{th}} square is labelled with ii for all 1in21\leqslant i\leqslant n^2. He wishes to cut the strip into several pieces, where each piece consists of a number of consecutive unit squares, and then translate (without rotating or flipping) the pieces to obtain an n×nn\times n square satisfying the following property: if the unit square in the ithi^{\text{th}} row and jthj^{\text{th}} column is labelled with aija_{ij}, then aij(i+j1)a_{ij}-(i+j-1) is divisible by nn.
Determine the smallest number of pieces Paul needs to make in order to accomplish this.