IMC / 2024 / Problems / Day 2, P9
IMC 2024 · Day 2 · P9
killerA matrix is called nice, if it has the following properties:
(i) the set of all entries of is for some integer ;
(ii) the entries are non-decreasing in every row and in every column: and ;
(iii) equal entries can appear only in the same row or the same column: if , then either or ;
(iv) for each , there exist and such that and .
Prove that for any positive integers and , the number of nice matrices is even.
For example, the only two nice matrices are and .
(proposed by Fedor Petrov, St Petersburg State University)
Solution (official)
Define a standard Young tableaux of shape as an matrix with the set of entries , increasing in every row and in every column as in (ii).
Call two standard Young tableaux friends, if they differ by a switch of two consecutive numbers (the places of and must be not neighbouring, for such a switch preserving the monotonicity in rows and columns).
For a nice matrix we construct a standard Young tableaux of shape as follows: if has entries equal to (), we replace them by the numbers from to preserving monotonicity.
Note that our has exactly friends, where is the number of distinct entries in , 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
Score distribution (field cohort)
Computed on contestants with a meaningful total (field cohort); discrimination is the corrected item–total correlation.