Maths Olympiad Prep

Track / Stage 7 / 10 of 300 #1410 of 1964

Problem 1410

National Olympiad second round; IMO P1/P4
Combinatorics Difficulty 7.0 Prove it Serbian Mathematical Olympiad · Serbia

There are 2n12n-1 light bulbs in a row. Initially the middle (the nn-th) one is lit, and all the others are off. In one step it is allowed to choose two non-adjacent off bulbs between which all the bulbs are lit, and to change the state of these two bulbs as well as of all the bulbs between them (for example, from the configuration \cdotооо \cdot one obtains о \cdot \cdot ). What is the maximum number of steps that can be performed?
(Dušan Đukić)

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

The answer is [2n+153]\left[\frac{2^{n+1}-5}{3}\right].

Let us assign to the ii-th light bulb the number 2in2^{|i-n|} and define the value of a configuration as the sum of the numbers on the lit bulbs. The value of the initial configuration is 11, and with each step it increases by a natural multiple of the number 33. A step increases the value by exactly 33 if the nn-th bulb changes state; we call such a step good.

Since the value cannot exceed 2n+142^{n+1}-4 (because it is not possible for all the bulbs to be lit), it is not possible to perform more than [2n+153]\left[\frac{2^{n+1}-5}{3}\right] steps. This number can be attained: it suffices to show that it is possible to perform at least 2n+173\frac{2^{n+1}-7}{3} steps.

We will prove by induction on nn that, starting from a configuration of value at most 33, we can, by a sequence of good steps, obtain a configuration of value at least 2n+162^{n+1}-6. This is directly checked for n2n \leqslant 2. Let n3n \geqslant 3. By the induction hypothesis for n1n-1, it is possible to reach a configuration of value at least 2n62^{n}-6 with the first and last bulb off. In such a configuration, besides the first and last bulb, the bulbs that may be off are

(1)(1^{\circ}) only the nn-th,

(2)(2^{\circ}) only the nn-th and one of its neighbors, or

(3)(3) only one of two neighboring ones.

In each of these three cases, in at most three good steps we achieve that the first and last bulb become lit and that the value of the remainder of the configuration (without these two bulbs) is at most 33.

Figure 1

(1)(1^{\circ})

Figure 2

(2)(2^{\circ})

Figure 3

(3)(3^{\circ})

Applying the induction hypothesis for n1n-1 once more completes the induction.

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from sr; metadata (topic, difficulty, ordering) added by this project.