MathLabs

Problem 5

Two squirrels, Bushy and Jumpy, have collected 20212021 walnuts for the winter. Jumpy numbers the walnuts from 11 through 20212021 and digs 20212021 little holes in a circular pattern in the ground around their favourite tree. The next morning Jumpy notices that Bushy had placed one walnut into each hole, but had paid no attention to the numbering. Unhappy, Jumpy decides to reorder the walnuts by performing a sequence of 20212021 moves. In the kk-th move, Jumpy swaps the positions of the two walnuts adjacent to walnut kk. Prove that there exists a value of kk such that, on the kk-th move, Jumpy swaps some walnuts aa and bb with a<k<ba<k<b.
Step 4 of 5: Show even blocks freeze at length 22 or split unevenly
In plain words

A block of exactly two black walnuts can never be broken, because turning either one red would require its outside neighbour and its partner to match colour, which they do not.

L even, L≥4:L−1=i+(L−1−i)L\ \text{even},\ L\ge4:\quad L-1=i+(L-1-i)
Detailed analysis

By Step 2, a walnut can only turn red when both its neighbours already match in colour. So a black block of length exactly 22 can never lose a walnut, since each of its two walnuts has one black partner and one red outside neighbour — mismatched colours. A black block of even length L≥4L\ge4, when an interior walnut turns red (necessarily with two black neighbours), splits into two sub-blocks of lengths ii and L−1−iL-1-i with i+(L−1−i)=L−1i+(L-1-i)=L-1 odd, so one sub-block is even and the other odd.