История изменений
Исправление next_time, (текущая версия) :
Могут ли заключенные гарантированно выйти на свободу
решение 1-е: нет, так как начальник может совершенно случайно всё время выбирать одно и того же заключённого
решение 2-е: для начала, они должны перевести свою численность из двоичной системы в десятичную, и т.о., убедиться, что их всего двое. далее очевидно: во вторую ночь (или другую под номером > 1, и если его вызывали в эту ночь в первый раз) любой из них сообщает, что все заключённые уже побывали в этой комнате.
Исходная версия next_time, :
Могут ли заключенные гарантированно выйти на свободу
решение 1-е: нет, так как начальник может совершенно случайно всё время выбирать одно и того же заключённого
решение 2-е: для начала, они должны перевести свою численность из двоичной системы в десятичную, и т.о., убедиться, что их всего двое. далее очевидно: во вторую ночь любой из них сообщает, что все заключённые уже побывали в этой комнате.