Maths Olympiad Prep

Library / /1 of 2

Combinatorics Difficulty 8.5 Shortlist Prove it Taiwan

Let NN be a positive integer, and consider a N×NN \times N grid. A right-down path is a sequence of grid cells such that each cell is either one cell to the right or one cell below the previous cell in the sequence. A right-up path is a sequence of grid cells such that each cell is either one cell to the right or one cell above the previous cell in the sequence.
Prove that the cells of the N×NN \times N grid cannot be partitioned into less than NN right-down and/or right-up paths. For example, the following partition of the 5×55 \times 5 grid uses 5 paths
Figure 2

Solution

We proceed by mathematical induction on NN. Suppose the statement holds for N1N-1. Consider the path PP containing the topmost-leftmost cell. If PP is a right-up path, then all cells of PP lie in the topmost row or in the rightmost column. This means that when we remove the topmost row or the rightmost column, the remaining (N1)×(N1)(N-1) \times (N-1) grid together with the corresponding partition on it still satisfies the conditions of the problem, so by the induction hypothesis it is partitioned into at least N1N-1 paths, and hence the original N×NN \times N grid is partitioned into at least NN pieces.
Thus we only need to consider the case where PP is a right-down path. The key observation here is: if PP contains the bottommost-rightmost cell, then the two regions separated by PP can be merged into a single (N1)×(N1)(N-1) \times (N-1) grid (as shown in the figure below), so by the induction hypothesis the sub-grid has at least N1N-1 paths, and therefore the original N×NN \times N grid has at least NN paths.
Figure 3
Now suppose PP is a right-down path that does not contain the bottommost-rightmost cell. We will construct, according to the following procedure, a right-down path QQ from the topmost-leftmost cell to the bottommost-rightmost cell. Let Q0=PQ_0 = P. For each i0i \ge 0, consider the bottommost-rightmost cell qiq_i of QiQ_i, let the cells to its right and below it be rir_i and did_i, and let the paths containing them be RiR_i and DiD_i respectively.
Depending on the case, we add different cells to QiQ_i to expand it into Qi+1Q_{i+1} (if multiple cases apply simultaneously, we may choose any one of them):
(a) If Ri(Di)R_i(D_i) is a right-down path, then we add to QiQ_i the portion of Ri(Di)R_i(D_i) from ri(di)r_i(d_i) to its endpoint;
(b) If RiR_i is a right-up path whose starting point is rir_i, then we add to QiQ_i the cells of RiR_i lying in the same row as rir_i;
(c) If DiD_i is a right-up path whose ending point is did_i, then we add to QiQ_i the cells of DiD_i lying in the same column as did_i;
(d) If none of the above hold, then it must be that Ri=DiR_i = D_i, in which case we add did_i and the cell to its right to QiQ_i.
We repeat this operation until no further expansion is possible. It is clear that the resulting expanded QQ is a right-down path from the topmost-leftmost cell to the bottommost-rightmost cell, so the two regions separated by QQ can be merged into a single (N1)×(N1)(N-1) \times (N-1) grid. However, unlike the discussion for PP, QQ is not one of the paths in the original partition, so QQ may split some original path XX into two pieces.
We now show that being split into two pieces cannot actually occur, so that we may proceed with the same argument as for PP. Consider the intersection point xx of XX and QQ:
- If xx arises from case (a) above, then QQ contains the latter half of XX, so after removing QQ, XX remains a single right-down path;
- If xx arises from case (b) or (c) above, then QQ contains the former half or the latter half of XX, so after removing QQ, XX remains a single right-up path;
- If XX arises from case (d) above, then since XQX \cap Q consists of exactly two cells, we see that after removing QQ, the two pieces into which XX is split will rejoin exactly into a single right-up path.
Hence the situation of splitting into two pieces described above cannot occur, so by the induction hypothesis and the same argument as for PP, we know that the original N×NN \times N grid must be partitioned into at least NN paths. This completes the proof.

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.