Maths Olympiad Prep

Library / /1 of 2

Combinatorics Difficulty 7.6 National olympiad, round 2 Prove it Romania

Fix an integer n2n \ge 2. An n×nn \times n sieve is an n×nn \times n array with nn cells removed so that exactly one cell is removed from every row and every column. A stick is a 1×k1 \times k or k×1k \times 1 array for any positive integer kk. For any sieve AA, let m(A)m(A) be the minimal number of sticks required to partition AA. Find all possible values of m(A)m(A), as AA varies over all possible n×nn \times n sieves.

Palmer Mebane, U.S.A., and Nikolai Beluhov, Bulgaria

Solution

By *holes* we mean the cells which are cut out from the board. The *cross* of a hole in AA is the union of the row and the column through that hole.

Arguing indirectly, consider a dissection of AA into 2n32n - 3 or fewer sticks. Horizontal sticks are all labeled hh, and vertical sticks are labeled vv; 1×11 \times 1 sticks are both horizontal and vertical, and labeled arbitrarily. Each cell of AA inherits the label of the unique containing stick.

Assign each stick in the dissection to the cross of the unique hole on its row, if the stick is horizontal; on its column, if the stick is vertical.

Since there are at most 2n32n - 3 sticks and exactly nn crosses, there are two crosses each of which is assigned to at most one stick in the dissection. Let the crosses be cc and dd, centered at a=(xa,ya)a = (x_a, y_a) and b=(xb,yb)b = (x_b, y_b), respectively, and assume, without loss of generality, xa<xbx_a < x_b and ya<yby_a < y_b. The sticks covering the cells (xa,yb)(x_a, y_b) and (xb,ya)(x_b, y_a) have like labels, for otherwise one of the two crosses would be assigned to at least two sticks. Say the common label is vv, so each of cc and dd contains a stick covering one of those two cells. It follows that the lower (respectively, upper) arm of cc (respectively, dd) is all-hh, and the horizontal arms of both crosses are all-vv, as illustrated below.

Figure 1

All other columns contain at least one vv-stick each. In addition, all rows below aa and all rows above bb contain at least one hh-stick each. This amounts to a total of at least 2(ybya1)+(nyb+ya+1)+(nyb)+(ya1)=2n22(y_b - y_a - 1) + (n - y_b + y_a + 1) + (n - y_b) + (y_a - 1) = 2n - 2 sticks – a contradiction.

Remark. The solution may equally well be concluded as follows. Since cc and dd are proved to contain one stick each, there is a third cross ee centered at (x,y)(x_*, y_*) also containing at most one stick. It meets the horizontal arms of cc and dd at two vv-cells, so the cells where two of the three crosses meet are all labeled vv. Assuming, without loss of generality, ya<y<yby_a < y_* < y_b, it follows that both vertical arms of ee contain vv-cells, so ee is assigned to two different vv-sticks – a contradiction.

*Second solution.* (Ilya Bogdanov) We provide a different proof that m(A)2n2m(A) \ge 2n - 2.

Call a stick *vertical* if it is contained in some column, and *horizontal* if it is contained in some row; 1×11 \times 1 sticks may be called arbitrarily, but any of them is supposed to have only one direction. Assign to each vertical/horizontal stick the column/row it is contained in. If each row and each column is assigned to some stick, then there are at least 2n2n sticks, which is even more than we want. Thus we assume, without loss of generality, that some *exceptional* row RR is not assigned to any stick. This means that all n1n-1 existing cells in RR belong to n1n-1 distinct vertical sticks; call these sticks *central*.

Now we mark n1n-1 cells on the board in the following manner. (↓) For each hole cc below RR, we mark the cell just under cc; (↑) for each hole cc above RR, we mark the cell just above cc; and (●) for the hole rr in RR, we mark both the cell just above it and just below it. We have described n+1n + 1 cells, but exactly two of them are out of the board; so n1n - 1 cells are marked within the board. A sample marking is shown in the figure below, where the marked cells are crossed.

Figure 2

Notice that all the marked cells lie in different rows, and all of them are marked in different columns, except for those two marked for (●); but the latter two have a hole rr between them. So no two marked cells may belong to the same stick. Moreover, none of them lies in a central stick, since the marked cells are separated from RR by the holes. Thus the marked cells should be covered by n1n - 1 different sticks (call them *border*) which are distinct from the central sticks. This shows that there are at least (n1)+(n1)=2n2(n-1) + (n-1) = 2n-2 distinct sticks, as desired.

*Third solution.* To prove m(A)2n2m(A) \ge 2n-2, it is sufficient to show that there are 2n22n-2 cells in AA, no two of which may be contained in the same stick.

To this end, consider the bipartite graph GG with parts GhG_h and GvG_v, where the vertices in GhG_h (respectively, GvG_v) are the 2n22n-2 maximal sticks AA is dissected into by all horizontal (respectively, vertical) grid lines, two sticks being joined by an edge in GG if and only if they share a cell.

We show that GG admits a perfect matching by proving that it fulfils the condition in Hall's theorem; the 2n22n-2 cells corresponding to the edges of this matching form the desired set. It is sufficient to show that every subset SS of GhG_h has at least S|S| neighbours (in GvG_v, of course).

Let LL be the set of all sticks in SS that contain a cell in the leftmost column of AA, and let RR be the set of all sticks in SS that contain a cell in the rightmost column of AA;
let \ell be the length of the longest stick in LL (zero if LL is empty), and let rr be the length of the longest stick in RR (zero if RR is empty).
Since every row of AA contains exactly one hole, LL and RR partition SS; and since every column of AA contains exactly one hole, neither LL nor RR contains two sticks of the same size, so L\ell \ge |L| and rRr \ge |R|, whence +rL+R=S\ell + r \ge |L| + |R| = |S|.
If +rn\ell + r \le n, we are done, since there are at least +rS\ell + r \ge |S| vertical sticks covering the cells of the longest sticks in LL and RR. So let +r>n\ell + r > n, in which case the sticks in SS span all nn columns, and notice that we are again done if Sn|S| \le n, to assume further S>n|S| > n.
Let S=GhSS' = G_h \setminus S, let TT be set of all neighbours of SS, and let T=GvTT' = G_v \setminus T. Since the sticks in SS span all nn columns, Tn|T| \ge n, so Tn2|T'| \le n - 2. Transposition of the above argument (replace SS by TT'), shows that TS|T'| \le |S'|, so ST|S| \le |T|.

Remark. The case S>n|S| > n may equally well be dealt with as follows. Add to SS two *empty sticks* formally present to the left (respectively, right) of the leftmost (respectively, rightmost) hole. Then there are at least Sn+2|S| - n + 2 rows containing two sticks from SS, so two of these rows are separated by at least Sn|S| - n other rows. Each hole in these Sn|S| - n rows separates two vertical sticks from GvG_v both of which are neighbours of SS. Consequently, SS has at least n+(Sn)=Sn + (|S| - n) = |S| neighbours.

*Fourth solution.* Induct on n2n \ge 2 to prove that m(A)2n2m(A) \ge 2n - 2. The base cases n=2n = 2 and n=3n = 3 are readily dealt with, so let n>3n > 3 and consider any dissection of AA into sticks. Define the *cross* of a hole as in Solution 1, and notice that each stick is contained in some cross.

If the dissection contains more than nn sticks, some cross contains at least two sticks. Remove such a cross from the sieve and glue pieces together along corresponding edges to form an (n1)×(n1)(n-1) \times (n-1) sieve. The dissection of the original sieve induces a dissection of the new sieve: Upon removal, a stick may split into two substicks that glue back together to form a stick in the new sieve. After this operation has been performed, the number of sticks decreases by at least 2, and since by the induction hypothesis the number of sticks in the new dissection is at least 2n42n-4, the initial dissection contains at least (2n4)+2=2n2(2n-4)+2 = 2n-2 sticks.

There are several different ways to rule out the case where the dissection contains at most nn sticks. For instance, removal of a cross containing some stick. The induced dissection of the resulting (n1)×(n1)(n-1) \times (n-1) sieve contains at most n1n-1 sticks, which is impossible by the induction hypothesis, since n1<2(n1)2n-1 < 2(n-1) - 2.

Therefore, for any n×nn \times n sieve AA, m(A)=2n2m(A) = 2n - 2.

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 and solution reproduced as published; topic and difficulty added by this site.