Математики решили задачу о подсказках в судоку

Судоку с 16-ю подсказками и ровно 2-мя решениями

Ирландские ученые решили так называемую проблему подсказок в судоку. Препринт их статьи появился на сайте arXiv.org.

Судоку - головоломка, представляющая собой квадрат 9 на 9 клеток, разбитый на подквадраты 3 на 3 клетки. В клетках необходимо расставить цифры от 1 до 9 так, чтобы ни в каких столбце, строке или подквадрате не было двух одинаковых. В типичной головоломке несколько цифр-подсказок уже расставлено, причем, чем таких подсказок меньше, тем головоломка считается сложнее.

В рамках новой работы ученые ответили на вопрос, сколько минимум таких подсказок нужно, чтобы судоку имело однозначное решение. Как оказалось, подсказок должно быть не менее 17. Примечательно, что ранее уже был известен пример задачи с 16 подсказками, у которой есть ровно два решения.

Для работы ученые использовали довольно мощный алгоритм отсечения лишних вариантов. Для этого они описали так называемые плохие множества - набор цифр в заполненной таблице, который может быть заменен на другой (отсюда и возникает неоднозначность). Затем они считали, сколько таких плохих множеств можно "убить" той или иной подсказкой.

Как следствие, перебор удалось свести к чуть менее чем 5,5 миллиарда вариантам (всего правильных вариантов заполнения судоку порядка 1021). Эти вычисления, которым предшествовало двухлетнее тестирование алгоритма, были проделаны на суперкомпьютере. В результате ученые установили, что 16 подсказок (или меньше) недостаточно для того, чтобы "убить" все плохие множества, поэтому придумать головоломку с таким количеством подсказок и однозначным решением невозможно.

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

Обсудить
Наука и техника
 — 
13:52 21 февраля 2017
Александр Шестаков

«В развитии главное — масштаб цели»

Интервью с ректором ЮУрГУ Александром Шестаковым о науке, образовании и развитии
Земля в разрезе (в представлении художника)Обратная задача
Математики решили главную проблему геофизики
Геноцид во благо
Уничтожение всего живого стало возможным на генном уровне
Допрос обвиняемого - митрополита Петроградского Вениамина на судебном процессе по делу об изъятии церковных ценностей, проходившем в зале филармонии«Сидеть!»
Как молодая советская власть карала своих граждан
Инквизиторы допрашивают предполагаемых еретиковКарающая длань
Как мальтийская инквизиция наказывала христиан-вероотступников
Дэвид Алмонд«Вырасти — это понять, что родители были неправы»
Дэвид Алмонд о том, как опасно быть взрослым
Pierre et Gilles, Sainte Marie MacKillop (Kylie Minogue), 1995, Collection privée (c) Pierre et GillesГолубо-розовое
Транссексуалы, проститутки и панки в латексе на снимках гей-пары Пьера и Жиля
Гудбай, Берлин
Десять лучших фильмов главного фестиваля зимы
«Это чертов кошмар»
Как выжить музыкантам-мигрантам при Трампе
Прощай, реальность
Призеры и итоги Берлинского фестиваля
Вырви глаз
15 слишком эпатажных проектов известных тюнинг-ателье
Как клиенты мстят дилерам
Топор, кувалды, телеги с сеном и другие способы отомстить производителю
Как едет обновленная «Октавия»
Зачем Skoda Octavia новые фары и что случилось с ее подстаканником
10 культовых машин из Восточной Европы
Автомобили из соцстран, которые знали даже в США
Бог простит
В церкви нашли квартиру с красной мебелью и портретами в стиле поп-арт
Дворянское гнездо
Один из самых шикарных в мире домов нашли в диком лесу
«Пусть меня захоронят в отравленную, но родную землю»
Почему люди отказываются покидать чернобыльскую зону: реальные истории
Поставили баком
Англичане сделали идеальный дом из резервуара для воды