Olympiad Maths Prep

Track / Stage 10 / 16 of 40 #1976 of 2000

Problem 1976

Hardest shortlist tier
Combinatorics Difficulty 9.3 Prove it IMO Team Selection Test 3 · Netherlands

Let mm and nn be positive integers with mnmn even. Jetze is going to cover an m×nm \times n-board (with mm rows and nn columns) with domino tiles, in such a way that every domino tile covers exactly two squares, domino tiles do not protrude out of the board or overlap one another, and every square is covered by a domino tile. Merlijn then is going to colour all domino tiles on the board either red or blue. Determine the smallest non-negative integer VV (depending on mm and nn) such that Merlijn can always make sure that in each row, the number of squares covered by a red domino tile and the number of squares covered by a blue domino tile differ by at most VV, no matter in what way Jetze covers the board.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

First suppose that nn is odd. Then we must have V1V \ge 1, as the difference must be odd. We show that V=1V = 1 is always possible. Colour the vertical domino tiles in the odd numbered columns red and the vertical domino tiles in the even numbered columns blue. As in every row, every horizontal domino tile covers a square in an even numbered column and one in an odd numbered column, every row contains one more square covered by a red domino tile than squares covered by a blue domino tile. Now colour the horizontal domino tile in each row alternatingly blue and red (starting with blue). If the number of horizontal domino tiles is even, then at the end, the number of red squares will be one more than that of blue squares; if the number of horizontal domino tiles is odd, then at the end, the number of blue squares will be one more than that of red squares. The difference will therefore always be equal to 1.

Now suppose that n2(mod4)n \equiv 2 \pmod 4. Then we have V2V \ge 2 if Jetze places every domino tile horizontally; then every row contains an odd number of horizontal domino tiles. We show that V=2V = 2 is always possible. Use the same strategy as in the odd case. After colouring the vertical domino tiles, the numbers of red and blue squares are equal. If we alternatingly colour the horizontal domino tiles in each row blue and red again, we see that in the end, in every row the difference between the number of red and blue squares is 0 or 2.

Finally, suppose that n0(mod4)n \equiv 0 \pmod 4. We show that V=0V = 0 is always possible. Number the rows from top to bottom from 1 up to mm, and let bib_i be the number of vertical domino tiles of which the top square is in row ii. By induction on ii, we easily show that bib_i is even, using the fact that a horizontal domino tile always covers an even number of squares in a row. We now colour the vertical domino tiles in rows ii and i+1i+1 as follows: if bi0(mod4)b_i \equiv 0 \pmod 4, we colour half of them red, and the other half blue, and if bi2(mod4)b_i \equiv 2 \pmod 4 we colour two more domino tiles red than we colour blue if ii is even, and we colour two more domino tiles blue than we colour red if ii is odd. We show that we can now colour the horizontal domino tiles in each row kk in such a way that every row has the same number of red and blue squares. If bk1bk0(mod4)b_{k-1} \equiv b_k \equiv 0 \pmod 4, then vertical domino tiles in row kk cover the same number of red squares as blue squares. Moreover, the number of horizontal domino tiles in row kk is even, so we can simply colour half of them red and half of them blue. If bk1bk2(mod4)b_{k-1} \equiv b_k \equiv 2 \pmod 4, then vertical domino tiles in row kk again cover the same number of red squares as blue squares, since of k1k-1 and kk, one is odd and one is even. Again, the number of horizontal domino tiles in row kk is even, so we can again simply colour half of them red and half of them blue. If bk1≢bk(mod4)b_{k-1} \not\equiv b_k \pmod 4, then the difference in the number of squares covered by red vertical domino tiles and blue vertical ones is equal to 2. The number of horizontal domino tiles is odd, so we can colour those in such a way that in the end, the number of red and blue squares are equal.

Hence the minimal values for VV are: V=1V = 1 if nn is odd, V=2V = 2 if n2(mod4)n \equiv 2 \pmod{4}, and V=0V = 0 if n0(mod4)n \equiv 0 \pmod{4}. \square

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.