Let be a positive integer. Denote by the set of points with integer coordinates such that
A path is a sequence of distinct points in such that, for , the distance between and is 1. Prove that the points in cannot be partitioned into fewer than paths.
Solution
【First solution (local). We proceed by induction on . The base case is clear, so suppose . Let denote the set of points
An example when is displayed below. !
For any minimal partition of , let denote the path passing through the point . Then the intersection of with consists of several disconnected paths; let be the number of nodes in the component containing , and pick such that is maximal. We claim that in this case . Assume not. First, note must be connected to (otherwise join them to decrease the number of paths).
Now, starting from walk along away from until one of the following three conditions is met:
- We reach a point not in . Let be the point before , and the point in adjacent to . Then delete and add . This increases while leaving the number of edges unchanged: so this case can't happen.
- We reach an endpoint of (which may be ), lying inside the set , which is not the topmost point . Let be the next point of . Delete any edge touching and add edge . This increases while leaving the number of edges unchanged: so this case can't happen.
- We reach the topmost point .
Thus we see that must follow until reaching the topmost point . Similarly it must reach the bottom-most point . Hence .
The remainder of is just , and hence this requires at least paths to cover by the inductive hypothesis. So requires at least paths, as desired.
Remark (Motivational comments from Evan). Basically the idea is that I wanted to peel away the right path 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 instead.
Nonetheless, in those equality cases I found I could perturb some edges (e.g. change from to . So the idea then was to do little changes and try to convert the given partition into one where the red path 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 and , because that's the point of that is most constrained (e.g. you get 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 .