The shower problem
08 Feb 2020Attention mathematicians and computer scientists: I’ve got a problem for you, and I don’t know the solution.
Here’s the setup: You’re at your friend’s place and you need to take a shower. The shower knob is unlabeled. One direction is hot and the other direction is cold, and you don’t know which is which.
You turn it to the left. It’s cold. You wait.
At what point do you switch over to the right?
The baseline shower problem
Let’s make this more explicit.
- Your goal is to find a policy that minimizes the expected amount of time it takes to get hot water flowing out of the shower head. To simplify things, assume that the water coming out of the head is either hot or cold, and that the lukewarm transition time is effectively zero.
- You know that the shower has a Time-To-Hot constant called \(\tau\). This value is defined as the time it takes for hot water to arrive, assuming you have turned the knob to the hot direction and keep it there.
- The \(\tau\) constant is a fixed property of the shower and is sampled once from a known distribution. You have certain knowledge of the distribution, but you don’t know \(\tau\).
- The shower is memoryless, such that every time you turn the knob to the hot direction, it will take \(\tau\) seconds until the hot water arrives, regardless of your prior actions. Every time you turn it to the cold direction, only cold water will come out.
I don’t know how to solve this problem. But as a starting point I realize it’s possible to keep track of the probability that the hot direction is to the left or to the right. In the animation above, the probability that the hot direction is to the right is just the unexplored white area under the right curve, divided by the total unexplored white area of both curves.
But how do you turn that into a policy for exploring the space? Does anybody know?
Submissions
If you would like to submit a proposal, please report your average duration for the sample of 20,000 \(\tau\)’s provided here.
On February 9, 2020, Cameron Davidson-Pilon took an early lead, with an average duration of 111.4 seconds.
On June 22, 2021, Allen Downey took the lead with an average time of 102 seconds, pending verification.
On July 11, 2021, Jake Westfall took the lead with an average time of 101.5 seconds.
Bonus problem: Plumbing realities and the elusive “Middle Solution”
The baseline shower problem assumes a simplified version of reality, where the shower is memoryless and there is only a single pipe. If you want a harder problem, I have written a comment below that describes some of the plumbing realities, including lag and the existence of separate hot and cold pipes. The comment explores the tantalizing possibility that we’ve all been fiddling with our showers wrong this whole time. Instead of swinging the knob between one extreme and the other, what if the optimal solution is to start by putting the knob in the middle? To read more, see the comment below.