Maths Olympiad Prep

Library / /164 of 169

Combinatorics Difficulty 8.0 Shortlist Prove it United States

Let nn be a positive integer. Denote by SnS_n the set of points (x,y)(x, y) with integer coordinates such that
x+y+12<n. |x| + \left\lfloor y + \frac{1}{2} \right\rfloor < n.
A path is a sequence of distinct points (x1,y1),(x2,y2),,(x,y)(x_1, y_1), (x_2, y_2), \dots, (x_\ell, y_\ell) in SnS_n such that, for i=2,,i = 2, \dots, \ell, the distance between (xi,yi)(x_i, y_i) and (xi1,yi1)(x_{i-1}, y_{i-1}) is 1 (in other words, the points (xi,yi)(x_i, y_i) and (xi1,yi1)(x_{i-1}, y_{i-1}) are neighbors in the lattice of points with integer coordinates).
Prove that the points in SnS_n cannot be partitioned into fewer than nn paths (a partition of SnS_n into mm paths is a set P\mathcal{P} of mm nonempty paths such that each point in SnS_n appears in exactly one of the mm paths in P\mathcal{P}).

Solution

Color the points in SnS_n as follows (see Figure 1):
- if y0y \ge 0, color (x,y)(x, y) white if x+ynx + y - n is even and black if x+ynx + y - n is odd;
- if y<0y < 0, color (x,y)(x, y) white if x+ynx + y - n is odd and black if x+ynx + y - n is even.

Figure 1
Figure 1: Coloring of S3S_3

Consider a path (x1,y1),(x2,y2),,(x,y)(x_1, y_1), (x_2, y_2), \dots, (x_\ell, y_\ell) in SnS_n. A pair of successive points (xi1,yi1)(x_{i-1}, y_{i-1}) and (xi,yi)(x_i, y_i) in the path is called a pair of successive black points if both points in the pair are colored black.

Suppose now that the points of SnS_n are partitioned into mm paths and the total number of successive pairs of black points in all paths is kk. By breaking the paths at each pair of successive black points,

we obtain k+mk+m paths in each of which the number of black points exceeds the number of white points by at most one. Therefore, the total number of black points in SnS_n cannot exceed the number of white points by more than k+mk+m. On the other hand, the total number of black points in SnS_n exceeds the total number of white points by exactly 2n2n (there is exactly one more black point in each row of SnS_n). Therefore,
2nk+m. 2n \leq k + m.
There are exactly nn adjacent black points in SnS_n (call two points in SnS_n adjacent if their distance is 1), namely the pairs
(x,0)(x, 0) and (x,1)(x, -1),
for x=n+1,n+3,,n3,n1x = -n+1, -n+3, \dots, n-3, n-1. Therefore knk \leq n (the number of successive pairs of black points in the paths in the partition of SnS_n cannot exceed the total number of adjacent pairs of black points in SnS_n) and we have 2nk+mn+m2n \leq k+m \leq n+m, yielding
nm. n \leq m.

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