Previously in this series
- The “lost boarding pass” puzzle
- The “deadly board game” puzzle
- The “knight on an infinite chessboard” puzzle
- The “largest stock profit or loss” puzzle
- The “birthday paradox” puzzle
- The “Spelling Bee honeycomb” puzzle
- Feller’s “coin-tossing” puzzle
- The “spam comments” puzzle
I love 538’s Riddler column, and I’ve enjoyed solving the May 1st puzzle. I’ll quote:
You are locked in the dungeon of a faraway castle with three fellow prisoners (i.e., there are four prisoners in total), each in a separate cell with no means of communication. But it just so happens that all of you are logicians (of course)….
Each prisoner will be given a fair coin, which can either be fairly flipped one time or returned to the guards without being flipped. If all flipped coins come up heads, you will all be set free! But if any of the flipped coins comes up tails, or if no one chooses to flip a coin, you will all be doomed to spend the rest of your lives in the castle’s dungeon.
The only tools you and your fellow prisoners have to aid you are random number generators, which will give each prisoner a random number, uniformly and independently chosen between zero and one.
What are your chances of being released?
I’ll solve this with tidy simulation in R, in particular using one of my favorite functions, tidyr’s
crossing(). In an appendix, I’ll show how to get a closed form solution for .
I’ve also posted a 30-minute screencast of how I first approached the simulation and visualization.
Simulating four prisoners
Before we jump into our simulation, we can start with a bit of logic. The four prisoners can’t communicate and they’re in symmetrical situations. This means we’ll all have to take the same strategy, trusting in the fact that all the other logicians will choose the same one.
If we all decided not to flip a coin, we’d never get free. If we all decided to flip the coin, our chance of freedom would be , the chance of four heads. Thus, we have one knob with which to control our strategy: the probability that we decide to flip our coin instead of returning it to the guards.
Since this probability will the be the same across all four prisoners, we can simulate this for many possible strategies between 1% and 100% using
The above performs 10 million simulations (100,000 trials for each probability) but because it’s vectorized it’s pretty fast: about 1.5 seconds on my machine. Notice that the prisoners are set free only if they flip at least one coin and get no tails (
num_flips != 0 & num_tails == 0). In the first ten simulations above, the strategy appeared to work twice (the 6th and 9th observations).
Each value of
probability is one strategy: the probability each prisoner decides to use to see if they’ll flip their coin. We can thus summarize and visualize the chance of freedom within each probability.
This curve makes some intuitive sense. If the probability of flipping is too low, there’s a high risk that nobody flips a coin, but if the probability is too high it approaches . We also knew the peak couldn’t be above 50%, since at least one coin will have to get flipped.
It looks like the optimum is around 35% (though there’s some uncertainty), and that when they use that strategy the prisoners will have a 28% chance of release.
Exact solution with optimize
To move from a simulation to an exact solution, let’s start by getting the exact formula for that curve. What’s the probability the prisoners go free if the chance of each flipping their coin is p?
There are four ways that we wind up winning: 1 prisoner can flip 1 heads, 2 prisoners can flip 2 heads, 3 prisoners can flip 3 heads, and 4 prisoners could flip 4 heads. These are disjoint events (it’s impossible two of them happen together), so we can sum up the probabilities. Let F be the number of coins that are flipped, and T be the number of tails flipped. The probability of getting freedom is
Both of these probabilities follow a binomial distribution: the probability of some number of successes in a set of idential trials. And the probability there are no tails is This can be written in R as follows, using the
We could add these exact values onto our earlier simulation to check our math.
This matches the simulation, so it looks like we got it right!
We’re especially interested in the peak: what’s the optimal strategy, and the corresponding probability of going free? We can use the built-in
optimize function, which is built for one-dimensional optimization within an interval.
The highest chance of escape is 28.5%, when the prisoners use the random number generator to have a 34.2% chance of flipping the coin.
If you want to see some equations rather than simulations, the Appendix below shows how to calculate the (slightly messy) exact form, and gets some hints about what it looks like for an arbitrary N.
Extra credit: arbitrary N
Extra credit: Instead of four prisoners, suppose there are N prisoners. Now what are your chances of being released?
What’s wonderful about the
crossing() function is that we can always add another variable to our calculation. Let’s add
n, ranging from 2 prisoners to 8 prisoners.
probability_exact() function takes two arguments (
n), we can also calculate all the exact probabilities with
This let us check our results for an arbitrary $N$. It looks like our simulation and exact calculations line up, which is a good way to check our work!
The probability of freedom has one peak for any value of $N$. It looks like the best value of when there are two prisoners is about a 2/3 chance of flipping, and that decreases as increases. The chance of success also decreases as increases, but not by too much, and it looks like it might asymptote.
optimize to find the best strategy for every value of , up to (say) 60 prisoners.
The optimal does indeed decrease as increases, and appears to be approaching zero. The probability of escape (you’d rather play this game with just one other prisoner than with many), but notice that it is approaching an asymptote, which appears to be 25% (shown as a dashed line).
Instead of thinking about the optimal value of , it might make sense to think about , the expected number of flips. That is, how many flips are you aiming for across all prisoners?
With a small you’re looking to flip about 1.34 coins, and as gets large that target seems to approach 1.386.
It makes intuitive sense that you’re aiming at a number of flips a little over 1. You really don’t want to end up flipping zero (in which case you’ll lose right away), but you’re balancing that against not wanting to flip too many, in which case you’ll have a high risk of flipping at least one tails.
As gets large, since stays small, the number of coins flipped will approach a Poisson distribution, a useful distribution of counts where the variance is equal to the mean. At that point, it doesn’t end up mattering what is, so it makes sense that the probability of escape asymptotes rather than continuing to decline.
Put another way: even if you were playing this game with a billion prisoners, you’d still have a 25% chance of escaping: each prisoner would just take a chance of flipping the coin. Pretty cool!
(I don’t have an intuition for why the optimal expected number of flips is 1.386, or why the probability of escape approaches , but I bet someone who’s good with infinite series could work it out based on the density of the Poisson distribution).
Appendix: Closed form solution for N=4
I focus more on code than on equations in this blog, but I thought I’d try getting an exact form for the optimal strategy. After all, I’d have to if I were one of the prisoners and didn’t have access to R.
We can see from the graph above that there is one maximum between 0 and 1. To find that maximum, we’ll take the derivative and set it to zero:
Life is too short for me to remember how to find the roots of cubic equations (though I hope for their sake that the prisoners can work it out), but Wolfram Alpha tells me the only solution is:
So… if you had that closed form solution on your bingo card, congrats. But it is indeed about equal to .342, so it checks out with our simulation! I never get tired of how simulation can help check our math.
I ran through the solution (not shown) for and , and found that they are, respectively, and . So there are some hints at structures in common ( in the denominator, a sequence of th roots of 2), but it’s not something I’m planning to solve!