Browse · MathNet
PrintBaltic Way 2023 Shortlist
Baltic Way 2023 counting and probability
Problem
Some points are marked on a circle. Each marked point is coloured red, green or blue. In one step, one can erase two marked points of different colours that have no marked points between them and mark a new point between the locations of the erased points with the third colour. In a final state, all marked points have the same colour which is called the colour of the final state. Find all positive integers for which there exists an initial state of marked points with one missing colour, from which one can reach a final state of any of the three colours by applying a suitable sequence of steps.
Solution
Answer: All even numbers greater than 2.
If then the colour of the final state is uniquely determined. We show now that required initial states are impossible for odd . Note that if one colour is missing then the numbers of marked points of existing two colours have different parities, i.e., the difference of these numbers is odd. Each step keeps the parity of the difference of the numbers of marked points of these two colours unchanged. Hence in every intermediate state and also in the final state, one of these two colours is represented. Consequently, a final state of the third colour is impossible.
For every even number , an initial state with 2 consecutive points marked with one colour and points marked with another colour satisfies the conditions of the problem. Indeed, if then with two symmetric steps, one can reach a similar state where the number of points marked with the more popular colour is 2 less. Hence it suffices to solve the case . In this case, making one step leads to a state with 3 marked points, all with different colours. In order to obtain a final state of any given colour, one can replace points of the other two colours with a new point of the given colour. This completes the solution.
---
Alternative solution.
Definition: Call a configuration colourful, if the final state may have any of the three colours.
The cases and odd are excluded as in the first solution, so let be even. To construct colourful configurations, we consider linear configurations, i.e. one where the points are placed on a line instead of a circle. There is only difference to the circular situation: We may not choose the two end points for the replacement step. So it suffices to construct linear colourful configurations.
We start by providing explicit examples for and (with the bold letters being replaced):
Next observe that the concatenation of several linear colourful configurations is again colourful: Indeed, each part can be transformed
and it contains at least two colours.
Proof. We have already seen in the solution above that , and are invariants. Moreover it is obvious that we need at least two colours to be able to do anything. So the conditions are necessary.
We prove that they are sufficient: For and there is nothing to do. For the conditions require and the configuration indeed colourful. We continue by induction for : As , there is at least one colour with more than one point, so assume wlog. . Having at least two colours, we can find a pair of two different colours, one of which is red. Assume w.l.o.g. that the other is green. As a first step replace these two points. The resulting configuration has red, green and blue points, so it satisfies . Moreover due to is has at least one red and one blue point. So by induction the configuration is colourful, and hence so was our original state. □
Proof. Immediate.
If then the colour of the final state is uniquely determined. We show now that required initial states are impossible for odd . Note that if one colour is missing then the numbers of marked points of existing two colours have different parities, i.e., the difference of these numbers is odd. Each step keeps the parity of the difference of the numbers of marked points of these two colours unchanged. Hence in every intermediate state and also in the final state, one of these two colours is represented. Consequently, a final state of the third colour is impossible.
For every even number , an initial state with 2 consecutive points marked with one colour and points marked with another colour satisfies the conditions of the problem. Indeed, if then with two symmetric steps, one can reach a similar state where the number of points marked with the more popular colour is 2 less. Hence it suffices to solve the case . In this case, making one step leads to a state with 3 marked points, all with different colours. In order to obtain a final state of any given colour, one can replace points of the other two colours with a new point of the given colour. This completes the solution.
---
Alternative solution.
Definition: Call a configuration colourful, if the final state may have any of the three colours.
The cases and odd are excluded as in the first solution, so let be even. To construct colourful configurations, we consider linear configurations, i.e. one where the points are placed on a line instead of a circle. There is only difference to the circular situation: We may not choose the two end points for the replacement step. So it suffices to construct linear colourful configurations.
We start by providing explicit examples for and (with the bold letters being replaced):
Next observe that the concatenation of several linear colourful configurations is again colourful: Indeed, each part can be transformed
and it contains at least two colours.
Proof. We have already seen in the solution above that , and are invariants. Moreover it is obvious that we need at least two colours to be able to do anything. So the conditions are necessary.
We prove that they are sufficient: For and there is nothing to do. For the conditions require and the configuration indeed colourful. We continue by induction for : As , there is at least one colour with more than one point, so assume wlog. . Having at least two colours, we can find a pair of two different colours, one of which is red. Assume w.l.o.g. that the other is green. As a first step replace these two points. The resulting configuration has red, green and blue points, so it satisfies . Moreover due to is has at least one red and one blue point. So by induction the configuration is colourful, and hence so was our original state. □
Proof. Immediate.
Final answer
All even integers greater than 2
Techniques
Invariants / monovariantsInduction / smoothingColoring schemes, extremal arguments