В Белоцерковской исправительной колонии №35 в Киевской области заключённым раздадут планшеты с доступом в сети мобильной связи и интернет. С помощью планшета можно будет говорить по Skype, заказывать продукты в интернет-магазинах и даже дистанционно получить высшее образование.

(Фото: Sara D. Davis/Getty Images)

Правда, все это случилось не в один день. Речь идет о проблеме, которая тянется с 2002 года. Дело в том, что компьютерная система, отвечающая за просчет срока заключения и «бонусов», сокращающих этот срок, функционирует с проблемами. В итоге некоторые заключенные получают слишком много бонусов, и выходят на свободу ранее запланированного срока. 3200 заключенных освободились раньше, чем должны были, начиная с 2002 года. Это 3% от общего количества сидящих в тюрьмах штата Вашингтон преступников.

Сейчас губернатор штата решил, что некоторые заключенные, которые получили свободу слишком рано, должны вернуться в тюрьму. Другим будет позволено продолжать находиться на свободе на исправительных работах. 5 преступников, которые вышли на волю из-за ошибки системы, уже вернулись в тюрьму.

Задача, подобная этой на использование совместных ресурсов:
1-го сентября 100 бессмертных эльфийских воркутинских зэков постоили на торжественную линейку и предложили им ускорить процесс своего освобождения. Итак, в тюрьме есть камера с висящей лампочкой. Лампочку можно включить или выключить. Каждый день, начиная с 1-го сентября тюремщик будет запускать одного заключённого в эту камеру. В этот момент зэк сможет увидеть, горит ли лампочка.
У каждого заключенного тюремщик будет спрашивать: «А все ли твои товарищи тут были хотя бы раз?» Если зэк отвечает «нет», игра продолжается.
Если зэк отвечает «да» и это правда — всех выпускают на волю в тундру. Если же это неправда — высшая мера наказания для всех.
Тюремщики могут выбирать заключенных вразброс и с повторениями. Заключенные сидят в одиночных камерах и могут договориться только один раз — 1-го сентября на обеде после торжественной линейки. После этого они сидят в «одиночках» без окон, совсем не видят друг друга и лампочки.
Найти оптимальную стратегию поведения каждого заключенного с тем, чтобы их выпустили пораньше.

Усложнённый вариант задачки про эльфийских зэков. Решение предыдущей задачки умещается в пять строчек комментария. Теперь вот придумали вариант посложнее.
1-го сентября 100 бессмертных эльфийских магаданских зэков (далее — эльфов) постоили на торжественную линейку и предложили им ускорить процесс своего освобождения.
Каждый день одного из них будут отводить в одиночную камеру для воспитательных работ. В камере есть абсолютно чистый стол, неспособный запачкаться и без тайников (впрочем, неважно), к тому же его периодически будут менять (впрочем, неважно).
На столе стоит настольная лампа. Каждый день эльф с охранником заходят в комнату, эльф садится, включает лампу, рисует, либо читает книгу, либо думает, либо делает что-либо еще (неважно). Далее по протоколу эльф обязан выключить лампу (должен, но иногда этого может не делать) и уйти с охраной. Охранник иногда проверяет и, если эльф не выключил лампу, он делает это за него (потому что был както в магаданской тюрьме инцидент). Охранник неаккуратный, ленивый, но иногда лампу он выключает (пусть и редко). Также иногда в тюрьме бывают перебои с электричеством, и в этот день никого в комнату не водят. В таких случаях лампочку переводят в положение «выключено». Эльфов выбирают абсолютно случайно. Каждый день водят не более одного.
У каждого заключенного тюремщик будет спрашивать: «А все ли твои товарищи тут были хотя бы раз?». Если он ответит «не знаю» («нет»), то игра продолжается. Если он ответит «да», и это неправда — высшая мера наказания для всех. Если каждый из сотни эльфов сказал «да», и это всегда была правда, всех всех выпускают на волю в тундру.
Примечание. Если эльф сказал «да», и это правда, его, как остальных, продолжают водить в эту камеру на общих правах.
Заключенные сидят в одиночных камерах и могут договориться только один раз — 1-го сентября на обеде после торжественной линейки. После этого они сидят в «одиночках» без окон, совсем не видят друг друга и лампочки.
Определить стратегию (не обязательно оптимальную — её я сам не знаю) поведения каждого заключенного с тем, чтобы их выпустили пораньше.

В сегодняшней загадке фигурируют двое заключённых. Назовём их Пайпер и Алекс. Вам нужно будет продумать для них стратегию освобождения из тюрьмы.

Загадки, связанные с побегом из тюрьмы, появились относительно недавно, и берут начало в информатике. Тюрьма – идеальная метафора для задач по эффективным коммуникациям в условиях ограниченного обмена данными.

Четыре коробки

Пайпер и Алекс находятся в одной камере. В камеру приходит охранник и сообщает, что у них есть возможность поучаствовать в игре и шанс выиграть свободу. Заключённых по одному будут выводить в соседнюю камеру, где находятся четыре одинаковых пустых коробки с номерами 1, 2, 3 и 4. Игра будет проходить так:

В некоторых тюрьмах Финляндии практикуется интересная разновидность работы для заключенных — не физический труд, а обучение нейросетей. Бывшие преступники собирают и сортируют данные, необходимые для улучшения эффективности работы алгоритмов искусственного интеллекта.

Эта работа пока выполняется лишь для одной компании — Vainu. Она занимается созданием различных ИИ-приложений и сервисов. По мнению руководства компании, привлечение к высокотехнологичному труду заключенных полезно как для них самих, так и для компании. Заключенные получают определенные навыки, которые могут им пригодиться в будущем, плюс компания экономит на труде специалистов по ИИ, поскольку заключенным за работу платят немного.

Сбербанк договорился с Федеральной службой исполнения наказаний (ФСИН) о совместной работе над искусственным интеллектом (ИИ), сообщает «Коммерсантъ». Осуждённые помогают в обучении ИИ правильно различать изображения. Сбербанк ссылается на опыт Финляндии, где тоже заключённых используют в качестве альтернативы сервису Mechanical Turk.

Соглашение с ФСИН планировалось подписать 4 марта, но по техническим причинам подписание перенесено на более поздний срок. Но сам проект уже заработал.