Maths Olympiad Prep

Track / Stage 6 / 192 of 400 #1672 of 2444

Problem 1672

National Olympiad, first round
Combinatorics Difficulty 6.4 Prove it Final Round of National Olympiad · Estonia

On a horizontal line, one colors 2k2k points red and, to the right of them, 2k2k points blue. On every move, one chooses two points of different color, such that there is exactly one colored point between them, and interchanges the colors of the chosen points. How many different configurations can one obtain using these moves?

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

Enumerate the colored points by positive integers from the left to the right. Every move can influence two points with the same parity, whereby the total number of red or blue points with this parity does not change. Thus in each configuration that can be achieved there are kk red and kk blue points with each parity. The number of such configurations is ((k+kk))2\left(\binom{k+k}{k}\right)^2 since there are (k+kk)\binom{k+k}{k} possibilities to choose kk red points from among k+kk+k points with an odd number and (k+kk)\binom{k+k}{k} possibilities to choose kk red points from among k+kk+k points with an even number.

On the other hand, all configurations with kk red and kk blue points with each parity can be achieved. Consider the points with even numbers. The number of the rightmost point with an even number that must become red is at least 2k2k; after moving the rightmost in the initial configuration red point to the right until it reaches its desired position, this point and all points in the right of it are of the desired color. Next we can move the rightmost red point that is not yet at its desired position similarly to its desired position, etc. When all red points with an even number are at their desired position, other points with an even number are also of the right color. Similarly we act with points with an odd number.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.