Maths Olympiad Prep

Library / /14 of 30

Combinatorics Difficulty 8.3 Shortlist Prove it Germany

Problem:

Determine the smallest positive number kk for which the following holds: If Kain writes integers into the cells of a 2011×20112011 \times 2011 chessboard in such a way that the 4022 sums obtained by adding up all numbers in a row or in a column agree pairwise, then it is possible for Abel to achieve, by changing the entries of only kk of the cells, that these 4022 sums become pairwise distinct.

Solution

Solution:

k=2681k=2681.

Proof of k2681k \geq 2681 : Abel must change at least 4021 of the sums, w.l.o.g. all column sums and all but at most one row sum. To change the column sums, Abel must alter at least one entry in every column. W.l.o.g. Abel does this first and then pauses. At the moment of this pause let nn rows be unchanged. Thus Abel must alter an entry in n1n-1 of these rows so that the row sums can differ. W.l.o.g. Abel does this next and pauses again. For n671n \geq 671 at least 2681 entries have already been altered. Now let n670n \leq 670. A cell is called insufficient if Abel has changed its entry but no other entry of a cell in the same row or column. Since the row sum and column sum of an insufficient cell are equal, no cell may be insufficient at the end. During Abel's first pause there are at least 20112n2011 - 2 n insufficient cells. By each change up to the second pause Abel can eliminate at most one of these insufficient cells (by changing an entry in the same column), and by each change after the second pause at most two insufficient cells. Hence after the second pause at least 12(20112n(n1))\frac{1}{2}(2011-2 n-(n-1)) entries must still be altered, so altogether at least 2011+(n1)+12(20112n(n1))=3016n226812011+(n-1)+\frac{1}{2}(2011-2 n-(n-1))=3016-\frac{n}{2} \geq 2681.

Sketch of proof for k2681k \leq 2681 : For 1m,n20111 \leq m, n \leq 2011 let the cell in row mm and column nn be denoted by m;n\langle m ; n\rangle. Abel increases the entry of 2681 cells m;n\langle m ; n\rangle each by 2(m+n)+12(m+n)+1, namely of 2;1\langle 2 ; 1\rangle as well as, for l=1,,670l=1, \ldots, 670, of 3l1;3l1,3l;3l1,3l+1;3l\langle 3 l-1 ; 3 l-1\rangle,\langle 3 l ; 3 l-1\rangle,\langle 3 l+1 ; 3 l\rangle and 3l+1;3l+1\langle 3 l+1 ; 3 l+1\rangle.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from de; metadata (topic, difficulty) added by this project.