Unofficial archive — problems, solutions & results © IMC, reproduced with permission.

IMC / 2024 / Problems / Day 2, P9

IMC 2024 · Day 2 · P9

killer

A matrix A=(aij)A = (a_{ij}) is called nice, if it has the following properties:

(i) the set of all entries of AA is {1,2,,2t}\{1, 2, \dots, 2t\} for some integer tt;

(ii) the entries are non-decreasing in every row and in every column: ai,jai,j+1a_{i,j} \le a_{i,j+1} and ai,jai+1,ja_{i,j} \le a_{i+1,j};

(iii) equal entries can appear only in the same row or the same column: if ai,j=ak,a_{i,j} = a_{k,\ell}, then either i=ki = k or j=j = \ell;

(iv) for each s=1,2,,2t1s = 1, 2, \dots, 2t-1, there exist iki \ne k and jj \ne \ell such that ai,j=sa_{i,j} = s and ak,=s+1a_{k,\ell} = s + 1.

Prove that for any positive integers mm and nn, the number of nice m×nm \times n matrices is even.

For example, the only two nice 2×32 \times 3 matrices are (111222)\begin{pmatrix} 1 & 1 & 1 \\ 2 & 2 & 2 \end{pmatrix} and (113244)\begin{pmatrix} 1 & 1 & 3 \\ 2 & 4 & 4 \end{pmatrix}.

(proposed by Fedor Petrov, St Petersburg State University)

Solution (official)

Define a standard Young tableaux of shape m×nm \times n as an m×nm \times n matrix with the set of entries {1,2,,mn}\{1, 2, \dots, mn\}, increasing in every row and in every column as in (ii).

Call two standard Young tableaux Y1,Y2Y_1, Y_2 friends, if they differ by a switch of two consecutive numbers x,x+1x, x+1 (the places of xx and x+1x+1 must be not neighbouring, for such a switch preserving the monotonicity in rows and columns).

For a nice m×nm \times n matrix AA we construct a standard Young tableaux YAY_A of shape m×nm \times n as follows: if AA has nin_i entries equal to ii (i=1,2,,2ti = 1, 2, \dots, 2t), we replace them by the numbers from n1++ni1+1n_1 + \dots + n_{i-1} + 1 to n1++nin_1 + \dots + n_i preserving monotonicity.

Note that our YAY_A has exactly 2t12t - 1 friends, where 2t2t is the number of distinct entries in AA, and moreover, every standard Young tableaux with odd number of friends corresponds to a unique nice matrix. It remains to apply the handshaking lemma (i.e., the sum of the degrees equals twice the number of edges in this graph).

How the field did

contestants scored
397
average (of 10)
0.22
solved (≥ 80%)
0.5%
near-0 (≤ 10%)
97.5%
discrimination
0.34

Score distribution (field cohort)

Computed on contestants with a meaningful total (field cohort); discrimination is the corrected item–total correlation.

Similar problems

IMC 2004 · Day 2 · P12killeravg 0.2/10 · solved 1% · near-0 97% · disc 0.13
IMC 2020 · Day 1 · P3killeravg 0.1/10 · solved 1% · near-0 98% · disc 0.22
IMC 2021 · Day 2 · P8killeravg 0.0/10 · solved 0% · near-0 99% · disc 0.08
IMC 1999 · Day 2 · P11killeravg 0.3/10 · solved 0% · near-0 90% · disc 0.41