MathDB
n lamps

Source: IMO Shortlist 2006, Combinatorics 1, AIMO 2007, TST 2, P1

June 28, 2007
combinatoricsIMO Shortlist

Problem Statement

We have n2 n \geq 2 lamps L1,...,Ln L_{1}, . . . ,L_{n} in a row, each of them being either on or off. Every second we simultaneously modify the state of each lamp as follows: if the lamp Li L_{i} and its neighbours (only one neighbour for i \equal{} 1 or i \equal{} n, two neighbours for other i i) are in the same state, then Li L_{i} is switched off; – otherwise, Li L_{i} is switched on. Initially all the lamps are off except the leftmost one which is on. (a) (a) Prove that there are infinitely many integers n n for which all the lamps will eventually be off. (b) (b) Prove that there are infinitely many integers n n for which the lamps will never be all off.