Olympiad Maths Prep

Track / Stage 6 / 188 of 400 #1188 of 2000

Problem 1188

National olympiad, first round
Combinatorics Difficulty 6.3 Prove it

C2. Fix an integer n2n \geq 2 and let AA be an n×nn \times n array with nn cells cut out so that exactly one cell is removed out of every row and every column. A stick is a 1×k1 \times k or k×1k \times 1 subarray of AA, where kk is a suitable positive integer.

(a) Determine the minimal number of sticks AA can be dissected into.

(b) Show that the number of ways to dissect AA into a minimal number of sticks does not exceed 100n100^{n}.

Palmer Mebane and Nikolai Beluhov

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

Solution 1. (a) The required minimum is 2n22 n-2 and is achieved, for instance, by dissecting AA along all horizontal (or vertical) grid lines.

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.

Consider a dissection of AA into 2n22 n-2 or fewer sticks. Horizontal sticks are all labelled hh, and vertical sticks are labelled v;1×1v ; 1 \times 1 sticks are both horizontal and vertical, and labelled 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 2n22 n-2 sticks and exactly nn crosses, either there is a cross assigned to no stick in the dissection, or there are two crosses each of which is assigned to exactly one stick in the dissection.

Case 1: There is a cross assigned to no stick in the dissection. In this case, the vertical arms of the cross are both all- hh, and the horizontal arms are both all- vv, so no stick in the dissection covers more than one of the 2n22 n-2 cells along the arms of the cross. Consequently, there are at least 2n22 n-2 sticks.

Case 2: There are two crosses each of which is assigned to exactly one stick in the dissection. Let the crosses be cc and dd, centred at a=(xa,ya)a=\left(x_{a}, y_{a}\right) and b=(xb,yb)b=\left(x_{b}, y_{b}\right), respectively, and assume, without loss of generality, xayjx_{a}y_{j} for some indices ii and jj, the cell (xj,yi)\left(x_{j}, y_{i}\right) is covered by no stick having a cell on the bottom row or on the leftmost column, so the number of dissections satisfying the condition in the lemma is zero.

Otherwise, label the holes so that xi<xi+1x_{i}<x_{i+1} and yi<yi+1y_{i}<y_{i+1} and notice that the union of all horizontal sticks in a dissection satisfying the conditions in the lemma is separated from the union of all vertical sticks in that dissection by a broken line running up-and-to-the-right along grid lines from the lower left corner of BB to the upper right corner of BB.

Since each such path determines at most one dissection satisfying the condition in the lemma, the number of possible dissections does not exceed the number of such paths, which is (p+qp)\binom{p+q}{p} \leq 2p+q2^{p+q}.

Back to the problem, consider dissections D\mathcal{D} of AA into 2n22 n-2 sticks, along with the two cases in the solution to part (a).

Case 1: There is a cross cc, assigned to no stick in D\mathcal{D}; let aa be the hole at the center of cc. The cross cc subdivides AA into four quadrants. Extend each of these quadrants by adding the two arms of cc that bound it, along with the hole aa, to obtain an array as described in the lemma. Since D=2n2|\mathcal{D}|=2 n-2, each stick in D\mathcal{D} contains exactly one cell of the cross cc. Therefore, the restriction of D\mathcal{D} to each extended quadrant satisfies the condition in the lemma, so there are at most 24n+42^{4 n+4} such dissections involving cc; and since there are nn options for the centre of cc, the number of these dissections does not exceed 24n+4n2^{4 n+4} n.

Case 2: There are two crosses each of which is assigned to exactly one stick in D\mathcal{D}. Use the notation, conventions and choices in the solution to part (a). Since D=2n2|\mathcal{D}|=2 n-2, the evaluation in part (a) exhausts the sticks in D\mathcal{D}. So the restriction of D\mathcal{D} to the strip flanked by the two rows through aa and bb, respectively, consists of vertical sticks only; and the restrictions of D\mathcal{D} to the extensions of the upper (respectively, lower) quadrants around bb (respectively, aa ) satisfy the condition in the lemma. It follows that there are at most 24n+22^{4 n+2} such dissections involving cc and dd. Since there are (n2)=n(n1)/2\binom{n}{2}=n(n-1) / 2 options for the centres of cc and dd, and the sticks covering the cells (xa,yb)\left(x_{a}, y_{b}\right) and (xb,ya)\left(x_{b}, y_{a}\right) may be labelled two ways (recall that they have like labels), the number of these dissections does not exceed 24n+2n(n1)2^{4 n+2} n(n-1).

Consequently, the total number of minimal dissections of AA into sticks does not exceed 24n+2n(n+3)2^{4 n+2} n(n+3); the latter is less than 100n100^{n}, provided that n3n \geq 3, and the case n=2n=2 is clear.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.