A square table has a coin at each corner. Design an execution sequence, each of whose steps consists of one of the following operations:
ONE (O): The operation (randomly) chooses a coin and flips it. SIDE (S): The operation (randomly) chooses a side of the table and flips the two coins along that side. DIAG (D): The operation (randomly) chooses a diagonal of the table and flips the two coins along that diagonal.
such that at some point during the execution (not necessarily at the end), a state where all coins are turned the same way (all heads or all tails) obtains.
The desired answer is O, D, S, D, O, D, S, D.
Is there a non-technical proof of this answer, and how one may arrive at it?