Vinte e Três no Xilindró

Vinte e três prisioneiros chegam a uma cadeia onde o carcereiro lhes explica as regras da casa, antes de lhes permitir uma reunião geral, ao que se seguirá o confinamento em celas individuais sem possibilidade de comunicação.

Há uma sala na cadeia onde se encontram dois interruptores, que não servem para nada de especial, cada um tem duas posições possíveis: ON e OFF.

Quando lhe apetece, o carcereiro escolhe aleatoriamente um prisioneiro, leva-o a esta sala, onde o detido deve escolher um dos interruptores e alterar o seu estado (de ON para OFF, ou de OFF para ON), após o que será devolvido à sua cela. Não se conhece o estado inicial dos interruptores.

O carcereiro garante que todos os prisioneiros irão a esta sala uma infinidade de vezes.

Se, em qualquer altura, algum prisioneiro disser que está convencido de que já todos visitaram esta sala pelo menos uma vez, vão todos em liberdade (se tal corresponder à verdade) ou são todos fuzilados (se for mentira).

Há alguma estratégia, que os presos possam combinar na reunião, que lhes garanta a libertação?



O enunciado deste problema foi tirado de http://ludicum.org/


Solução