Sudoku Flow

Найскладніше судоку у світі: перевірка механізмом підказок

Офіційно найскладнішого судоку немає: усе залежить від способу оцінювання. Ми оцінили складність так, як розв’язує гравець: крок за кроком, щоразу обираючи найпростішу дієву техніку за допомогою механізму підказок нашого застосунку судоку.

Коротка відповідь

Дві задачі фінського математика Арто Інкали, AI Escargot (2006) та його задачу 2012 року, у всьому світі називали найскладнішими судоку з усіх створених. Механізм підказок нашого застосунку не може пояснити кожен крок у жодній із них: обидві потребують техніки «Форсувальний ланцюг», коли ти пробуєш число й простежуєш, до чого воно призводить, і в обох є кроки, яких не пояснює жодна відома застосунку техніка. Жодна з 60 000 задач застосунку не потребує ні того, ні іншого.

Як ми оцінювали складність

Механізм підказок використовує той самий код, що й підказка в нашому застосунку. Він знаходить найпростішу техніку, яка дає змогу вписати число, вписує його й знову шукає, доки поле не буде заповнене. «Форсувальний ланцюг» є останньою технікою, яку він пробує; коли навіть вона не допомагає, механізм усе одно знає число, але не має кроку, яким міг би його пояснити. Ти можеш переглянути кожен крок у розв’язувачі судоку.

Результати

ЗадачаЗадані числаКрокиКроки з технікою «Форсувальний ланцюг»Кроки без поясненняНайскладніша техніка з назвою
Задача Арто Інкали 2012 року216064Форсувальний ланцюг
AI Escargot235832Форсувальний ланцюг
Задача, створена проти повного перебору176400Прихований одинак

Задача Арто Інкали 2012 року

Опублікована в червні 2012 року, коли ЗМІ в усьому світі називали її найскладнішим судоку з усіх створених.

Кроків із технікою «Форсувальний ланцюг»: 6, кроків без пояснення: 4, тож це складніше за найскладніший рівень застосунку, «Екстрим».

Розв’язати крок за кроком →

Джерело: SudokuWiki: Arto Inkala Sudoku

AI Escargot

Наприкінці листопада 2006 року її автор, фінський математик Арто Інкала, заявив, що це найскладніше судоку у світі. Він дав їй назву через форму, схожу на равлика.

Кроків із технікою «Форсувальний ланцюг»: 3, кроків без пояснення: 2, тож це складніше за найскладніший рівень застосунку, «Екстрим».

Розв’язати крок за кроком →

Джерело: SudokuWiki: Escargot

Задача, створена проти повного перебору

Вікіпедія наводить її як судоку, створене для ускладнення роботи програм, що розв’язують повним перебором: верхній рядок порожній, а відповідь у ньому має вигляд 9 8 7 6 5 4 3 2 1, найгірший порядок для програми, яка спершу пробує 1.

Кожен крок має назву. Найскладніший із них: Прихований одинак, тож у застосунку ця задача мала б рівень «Середній».

Розв’язати крок за кроком →

Джерело: Wikipedia: Sudoku solving algorithms

Що це показує

  • Менша кількість заданих чисел не робить задачу складнішою. Задача проти повного перебору має 17 заданих чисел, найменшу можливу кількість для судоку з одним розв’язком, і людина розв’язує її лише одинаками. Задача Інкали 2012 року має 21 заданих чисел і все одно потребує пробних чисел.
  • Складність для комп’ютера й для людини різна. Програма, яка пробує кожне число по черзі, мусить зробити дуже багато спроб у задачі проти повного перебору; людині в ній ніколи не доводиться вгадувати.
  • Найскладніший рівень застосунку обходиться без пробних чисел. Жодна з його 60 000 задач не потребує техніки «Форсувальний ланцюг»; рівень «Екстрим» здебільшого визначає техніка «ALS-XZ», у 86,3% задач рівня «Екстрим».

Яка задача найскладніша, залежить від способу оцінювання. За власною оцінкою SudokuWiki задача Інкали 2012 року посідає третє місце після двох задач Девіда Філмера. SudokuWiki: Arto Inkala Sudoku

Іконка застосунку судоку

Хочеш більше таких судоку?

Ми також розробляємо застосунок судоку для iPhone, iPad, Mac та Android. У ньому зовсім немає реклами, він працює без інтернету, а коли ти просиш підказку, показує техніку замість того, щоб просто вписати число.

Sudoku Flow створює Rubigo Games, розробник застосунку судоку, рекомендованого на цьому сайті.