Maths Olympiad Prep

Library / /190 of 397

Combinatorics Difficulty 5.8 AIME, harder Prove it Taiwan

Let nn be a positive integer. Find the smallest positive integer kk satisfying: there exists a way to color kk cells of a 2n×2n2n \times 2n white chessboard black, such that we have a unique way of covering the board using 1×21 \times 2 and 2×12 \times 1 dominoes, such that:
(1) All dominoes are aligned with the board's grid lines and do not extend beyond the board;
(2) No two dominoes overlap;
(3) Each domino covers at most 1 black cell.

Solution

1. We first construct the coloring for k=2nk=2n. Label the cells of the board by (i,j)(i, j), and color all {(i,j):j=i or j=i+1,in}\{(i, j) : j = i \text{ or } j = i + 1, i \le n\} black, as shown in the figure below:
Figure 1
We now prove that there is only one way to arrange the dominoes. Consider the four regions, upper, lower, left, and right, cut out on the board by the two diagonals.
- First, note that for ini \le n, the domino covering (i,i)(i, i) must also cover (i,i+1)(i, i+1), that is, it must be placed vertically. This forces all dominoes in the left region to be placed vertically (this can be proven by induction.)
- Similarly, for all ini \le n, the domino covering (i,i+1)(i, i+1) must be placed horizontally, which forces all dominoes in the upper region to be placed horizontally.
- The vertical placement of the dominoes on the left will force the dominoes on the lower side to all be placed horizontally.
- Finally, the dominoes on the right are forced to be placed vertically. In other words, there is only one arrangement.

2. We now prove that k=2nk = 2n is the minimum. In other words, suppose k<2nk < 2n, kk cells of the board are colored black, and there exists a covering method PP; then we want to prove that there exists another covering method PP'. For convenience, let D={(i,i):1i2n}D = \{(i, i) : 1 \le i \le 2n\} denote the main diagonal of the board.

a. First, construct a graph whose vertices are all the cells of the board, with edges colored red and blue:
– If two cells are covered by the same domino, connect them with a red line;
– If two cells that are symmetric to each other with respect to the main diagonal are covered by the same domino, connect them with a blue line.
Note the following points:
– Two points may be connected by both a red line and a blue line at the same time.
– Every point has degree 1 with respect to red lines and degree 1 with respect to blue lines.
– In other words, we can decompose this graph into several disjoint cycles, each cycle consisting of alternating red and blue lines. Here we accept cycles of length 2, that is, the case where two points are connected by both a red and a blue line.

b. Consider a cell dDd \in D on the main diagonal. Note that dd is symmetric with respect to DD, so it cannot be connected to the same point by both a red and a blue line at the same time; in other words, it must belong to a cycle of length at least 4, call it C(d)C(d).

c. Suppose the vertices of C(d)C(d) are c0,c1,,cnc_0, c_1, \cdots, c_n, where c0=dc_0 = d. Let mm be the smallest positive integer such that cmDc_m \in D; clearly, cmdc_m \neq d. But note that by our construction, if we reflect the path connecting c0,c1,,cmc_0, c_1, \cdots, c_m across DD, the reflected path will also appear in the original graph; in other words, C(d)C(d) must consist of c0,c1,,cmc_0, c_1, \cdots, c_m together with its reflection. This means that for every dDd \in D, C(d)C(d) has exactly two points belonging to DD.
In summary, the 2n2n points in DD must be distributed among nn cycles C1,C2,,Cn,C_1, C_2, \cdots, C_n, each of which has length at least 4.

d. Now, by the pigeonhole principle, there must be some CiC_i containing at most one colored black cell (otherwise there would be at least 2n>k2n > k black cells, a contradiction). We can modify PP in the following way to obtain a new covering method PP':
- Remove all dominoes corresponding to red lines of CiC_i.
- Place dominoes according to the blue lines in CiC_i.
Since Ci4|C_i| \ge 4, PP' must differ from PP; and since CiC_i has at most one black cell, every domino still covers at most one black cell.

This proves that if k<2nk < 2n, the covering method cannot be unique. Q.E.D.

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 zh; metadata (topic, difficulty) added by this project.