Invariance
Source: INDIA IMOTC - 2006 TST 1 PROBLEM 3
June 3, 2006
modular arithmeticinvariantcombinatoricsIMO Shortlist
Problem Statement
There are markers, each with one side white and the other side black. In the beginning, these markers are aligned in a row so that their white sides are all up. In each step, if possible, we choose a marker whose white side is up (but not one of the outermost markers), remove it, and reverse the closest marker to the left of it and also reverse the closest marker to the right of it. Prove that, by a finite sequence of such steps, one can achieve a state with only two markers remaining if and only if n \minus{} 1 is not divisible by .Proposed by Dusan Dukic, Serbia