Найскладніше судоку у світі: перевірка механізмом підказок
Офіційно найскладнішого судоку немає: усе залежить від способу оцінювання. Ми оцінили складність так, як розв’язує гравець: крок за кроком, щоразу обираючи найпростішу дієву техніку за допомогою механізму підказок нашого застосунку судоку.
Коротка відповідь
Дві задачі фінського математика Арто Інкали, AI Escargot (2006) та його задачу 2012 року, у всьому світі називали найскладнішими судоку з усіх створених. Механізм підказок нашого застосунку не може пояснити кожен крок у жодній із них: обидві потребують техніки «Форсувальний ланцюг», коли ти пробуєш число й простежуєш, до чого воно призводить, і в обох є кроки, яких не пояснює жодна відома застосунку техніка. Жодна з 60 000 задач застосунку не потребує ні того, ні іншого.
Як ми оцінювали складність
Механізм підказок використовує той самий код, що й підказка в нашому застосунку. Він знаходить найпростішу техніку, яка дає змогу вписати число, вписує його й знову шукає, доки поле не буде заповнене. «Форсувальний ланцюг» є останньою технікою, яку він пробує; коли навіть вона не допомагає, механізм усе одно знає число, але не має кроку, яким міг би його пояснити. Ти можеш переглянути кожен крок у розв’язувачі судоку.
Результати
| Задача | Задані числа | Кроки | Кроки з технікою «Форсувальний ланцюг» | Кроки без пояснення | Найскладніша техніка з назвою |
|---|---|---|---|---|---|
| Задача Арто Інкали 2012 року | 21 | 60 | 6 | 4 | Форсувальний ланцюг |
| AI Escargot | 23 | 58 | 3 | 2 | Форсувальний ланцюг |
| Задача, створена проти повного перебору | 17 | 64 | 0 | 0 | Прихований одинак |