Citat:
Ursprungligen postat av Fr0ggeh
Hm, jag kom just på att detta fungerar väl ändå inte på grund av att två personer kan komma in efter varandra, båda för första gången. Om spaken är uppdragen när den andre killen kommer in, vad ska han då göra? Om räknaren kommer in och den högra spaken är uppe, då vet han ju faktiskt fortfarande inte hur många som har varit inne före honom?
Dessutom är det ju slumpvis hur de släpps in, "räknaren" kanske bara släpps in en endaste gång?
Jag har själv funderat mkt över detta nu, men kommer inte på någon lösning. Om det finns en så snälla tala om den någon för det gnager på min hjärna!

Spaken kommer ju inte att vara uppdragen när den andra killen kommer in eftersom den första kommer att ha dragit ned den. Den andra killen får alltså vänta tills han kommer in i rummet och spaken är neddragen - i denna situation vet han att ingen med två besök eller fler har varit i rummet sedan räknaren var där.
Om räknaren bara släpps in en enda gång så kommer de inte ut. Lösningen bygger på att vi efter lång tid har en situation där alla har varit i rummet flera gånger.
Exempel: Tänk att vi har tre fångar som kallas 1, 2 och 3. De bestämmer sig för att 1 ska vara räknare. De släpps in i rummet i följande ordning
1123231213122323221213221231223132133221322132131. ..
Antag att spakarna ursprungligen var u-u (upp-upp). Om vi tittar på spakarnas läge i varje situation så fås
u-u (start)
u-n (1 - högerspaken dras ned, räknaren noterar att han själv varit inne i rummet, räknaren har 1 i sin räknare)
n-n (1)
n-u (2 - högerspaken dras upp)
u-u (3)
n-u (2)
u-u (3)
u-n (1 - högerspaken dras ned, räknaren har 2 i sin räknare)
u-u (2 - högerspaken dras upp)
u-n (1 - högerspaken dras ned, räknaren har 3 i sin räknare)
u-u (3 - högerspaken dras upp)
u-n (1 - högerspaken dras ned, räknaren har 4 i sin räknare och vet att alla har varit i rummet minst en gång)