Adott egy borton, melyben a cellak hermetikusan elzartak, a cellak kozott semmilyen kommunikacio nem lehetseges.

Bekerul a bortonbe x db rab. A rabok egyutt erkeznek es ismerik a borton adottsagait.

A bortonorok viszik setalni a rabokat, naponta akár tobbet is, de teljes veletlenszeruseggel. Egy nap akár egy rabot tobbszor is levisznek, de
lehet olyan rab, aki akar egy honapig, vagy tovabb nem setal. Egyszerre egy rab setal.

Az udvaron van egy kapcsolo, melynek ket allasa van, A es B. A rabok ezzel a kapcsoloval kommunikalhatnak: a seta alatt atkapcsolhatjak. A bortonorok nem nyulnak a kapcsolohoz.

A rabok akkor szabadulnak ki, ha valamelyik rab kijelenti, hogy: 'Mar minden rab volt legalabb egyszer setalni' es a kijelentes IGAZ.

Ha a kijelentes nem igaz, soha tobbe nem szabadulnak ki.Tehat csak egyszer lehet ilyen kijelentest tenni.

Na? Hogy szabadulhatnak ki?