Abstract

We examine a new variant of the classic prisoners and light switches puzzle: A warden leads his $n$ prisoners in and out of $r$ rooms, one at a time, in some order, with each prisoner eventually visiting every room an arbitrarily large number of times. The rooms are indistinguishable, except that each one has $s$ light switches; the prisoners win their freedom if at some point a prisoner can correctly declare that each prisoner has been in every room at least once. What is the minimum number of switches per room, $s$, such that the prisoners can manage this? We show that if the prisoners do not know the switches' starting configuration, then they have no chance of escape—but if the prisoners do know the starting configuration, then the minimum sufficient $s$ is surprisingly small. The analysis gives rise to a number of puzzling open questions, as well.

Highlights

  • The following puzzle is well-known: There are n prisoners in a prison

  • The warden offers a deal: He will lead the prisoners into a particular room one at a time in some order, with the guarantee that each prisoner will eventually be led into the room arbitrarily many times

  • The prisoners are allowed to confer ahead of time to agree upon a strategy, but are allowed no direct communication after the exercise starts

Read more

Summary

Introduction

The following puzzle is well-known: There are n prisoners in a prison. The warden offers a deal: He will lead the prisoners into a particular room one at a time in some order, with the guarantee that each prisoner will eventually be led into the room arbitrarily many times. The prisoners are allowed to confer ahead of time to agree upon a strategy, but are allowed no direct communication after the exercise starts. The room that they are led into is completely featureless except for a light switch, which starts in the OFF position. With only one room to track, the prisoners have a fairly simple escape strategy. They select a leader, who will keep count of the number of prisoners who have entered the room. If n > 1, the leader has entered the room at least once by the time he has acknowledged n − 1 signals; at that time he can declare immediately.

A Formal Framework
A Note on Starting Configuration
Distinguishable Rooms
Each Prisoner Visits at least One Room
Each Prisoner Visits All Rooms
A Negative Result when the Starting Configuration is Unknown
Arbitrary Starting Configuration
Naıve Solutions
A Less Naıve Solution
A Two-Switch Solution
Solving the Problem One Room at a Time
One Switch Does Not Suffice
Dimmer Switches
A Probability-1 Solution With 3 Configurations
A Probability- Solution With 2 Configurations
Corner Cases and Related Problems
Unknown Starting Configuration with Infinitely Many Room Configurations
Symmetric Strategies
Repeated Entries
Multiple Declarations
Forced Flipping of Switches
Limited Reconfiguration
A Proofs Omitted from the Main Text
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call