MathDB
RMM2011, P 6, Day 2 - An array on the torus

Source:

February 26, 2011
analytic geometrymodular arithmeticcombinatorics proposedcombinatorics

Problem Statement

The cells of a square 2011×20112011 \times 2011 array are labelled with the integers 1,2,,201121,2,\ldots, 2011^2, in such a way that every label is used exactly once. We then identify the left-hand and right-hand edges, and then the top and bottom, in the normal way to form a torus (the surface of a doughnut). Determine the largest positive integer MM such that, no matter which labelling we choose, there exist two neighbouring cells with the difference of their labels at least MM. (Cells with coordinates (x,y)(x,y) and (x,y)(x',y') are considered to be neighbours if x=xx=x' and yy±1(mod2011)y-y'\equiv\pm1\pmod{2011}, or if y=yy=y' and xx±1(mod2011)x-x'\equiv\pm1\pmod{2011}.)
(Romania) Dan Schwarz