Pith. sign in

REVIEW

Prisoners, Rooms, and Lightswitches

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2009.08575 v1 pith:SMQVVHUH submitted 2020-09-18 cs.DC cs.DMcs.GTmath.COmath.HO

classification cs.DCcs.DMcs.GTmath.COmath.HO
keywords prisonerslightswitchesnumberprisonerroomroomsconfigurationevery
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

We examine a new variant of the classic prisoners and lightswitches 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$ lightswitches; 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.

Discussion (0). Continue with ORCID to comment.

Pith tools