Maths Olympiad Prep

Library / /472 of 520

Combinatorics Difficulty 7.3 National olympiad, round 2 Prove it

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|y+\frac{1}{2}\right|<n
A path is a sequence of distinct points (x1,y1),(x2,y2),,(x,y)\left(x_{1}, y_{1}\right),\left(x_{2}, y_{2}\right), \ldots,\left(x_{\ell}, y_{\ell}\right) in SnS_{n} such that, for i=2,,i=2, \ldots, \ell, the distance between (xi,yi)\left(x_{i}, y_{i}\right) and (xi1,yi1)\left(x_{i-1}, y_{i-1}\right) is 1. Prove that the points in SnS_{n} cannot be partitioned into fewer than nn paths.

Solution

【First solution (local). We proceed by induction on nn. The base case n=1n=1 is clear, so suppose n>1n>1. Let SS denote the set of points
S={(x,y):x+y+12n2} S=\left\{(x, y): x+\left|y+\frac{1}{2}\right| \geq n-2\right\}
An example when n=4n=4 is displayed below. !
For any minimal partition P\mathcal{P} of SnS_{n}, let PP denote the path passing through the point a=(n1,0)a=(n-1,0). Then the intersection of PP with SS consists of several disconnected paths; let NN be the number of nodes in the component containing aa, and pick P\mathcal{P} such that NN is maximal. We claim that in this case P=SP=S. Assume not. First, note a=(n1,0)a=(n-1,0) must be connected to b=(n1,1)b=(n-1,-1) (otherwise join them to decrease the number of paths).
Now, starting from a=(n1,0)a=(n-1,0) walk along PP away from bb until one of the following three conditions is met:
- We reach a point vv not in SS. Let ww be the point before vv, and xx the point in SS adjacent to ww. Then delete vwv w and add wxw x. This increases NN while leaving the number of edges unchanged: so this case can't happen.
- We reach an endpoint vv of PP (which may be aa), lying inside the set SS, which is not the topmost point (0,n1)(0, n-1). Let ww be the next point of SS. Delete any edge touching ww and add edge vwv w. This increases NN while leaving the number of edges unchanged: so this case can't happen.
- We reach the topmost point (0,n1)(0, n-1).
Thus we see that PP must follow SS until reaching the topmost point (0,n1)(0, n-1). Similarly it must reach the bottom-most point (0,n)(0,-n). Hence P=SP=S.
The remainder of SnS_{n} is just Sn1S_{n-1}, and hence this requires at least n1n-1 paths to cover by the inductive hypothesis. So SnS_{n} requires at least nn paths, as desired.
Remark (Motivational comments from Evan). Basically the idea is that I wanted to peel away the right path SS highlighted in red in the figure, so that one could induct. But the problem is that the red path might not actually exist, e.g. the set of paths might contain the mirror of SS instead.
Nonetheless, in those equality cases I found I could perturb some edges (e.g. change from (1,n2)(0,n2)(-1, n-2)-(0, n-2) to (0,n2)(1,n2))(0, n-2)-(1, n-2)). So the idea then was to do little changes and try to convert the given partition into one where the red path SS exists, (and then peel it away for induction) without decreasing the total number of paths.
To make this work, you actually want the incisions to begin near the points aa and bb, because that's the point of SS that is most constrained (e.g. you get aba-b right away for free), and assemble the path from there. (If you try to do it from the top, it's much less clear what's happening.) That's why the algorithm starts the mutations from around aa.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.