MathLabs

Problem 5

The Bank of Bath issues coins with an HH on one side and a TT on the other. Harry has nn of these coins arranged in a line from left to right. He repeatedly performs the following operation: if there are exactly k>0k>0 coins showing HH, then he turns over the kkth coin from the left; otherwise all coins show TT and he stops. For example, if n=3n=3, the process starting with THTTHT is THT→HHT→HTT→TTTTHT\to HHT\to HTT\to TTT, which stops after three operations. (a) Show that, for each initial configuration, Harry stops after a finite number of operations. (b) For each initial configuration CC, let L(C)L(C) be the number of operations before Harry stops. Determine the average value of L(C)L(C) over all 2n2^n possible initial configurations.
Step 1 of 6: Define the expected value
In plain words

We prove termination and compute the average together.

En=E[L(C)]E_n=\mathbb E[L(C)]
Detailed analysis

Let EnE_n be the average number of operations for nn coins. We use induction on nn. For n=1n=1, the configurations TT and HH take respectively 00 and 11 operations, so the process terminates and E1=12E_1=\frac12.