Екстремальні нонограми 8×8 — послідовні ланцюги гіпотез на 64 клітинках

Екстремальні нонограми 8×8 беруть за основу підхід «гіпотеза й перевірка», який з’являється на рівні Expert, і розгортають його в тривалий багатоколовий процес розв’язання. Якщо головоломки Expert зазвичай потребують однієї-трьох гіпотез, після яких стандартна дедукція завершує сітку, то конфігурації Extreme вимагають гіпотетичних циклів протягом усього розв’язання — кожен цикл підтверджує лише одну-дві клітинки, після чого стандартна дедукція знову заходить у глухий кут і потрібно починати наступний цикл. Ці головоломки Picross і Griddler належать до найскладніших технічно, які може дати формат 8×8.

Типовий шаблон розв’язання Extreme 8×8

Розв’язання Extreme 8×8 має повторювану структуру, яка відрізняє його від усіх нижчих рівнів складності:

Початок циклу: стандартна дедукція повністю вичерпана — повний прохід усіма 16 лініями не дає жодного результату. Потрібно запускати гіпотезу.

Коротка каскадна реакція: гіпотеза дає суперечність або двостороннє підтвердження, підтверджуючи одну-дві клітинки. Стандартна дедукція ненадовго відновлюється й через виключення підтверджує ще кілька клітинок.

Другий глухий кут: стандартна дедукція знову вичерпується. Потрібен новий цикл гіпотези.

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

Оптимізації для рівня Extreme

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

Двостороннє паралельне тестування: для найкращого кандидата на гіпотезу одночасно простежуйте обидва припущення — «заповнено» і «порожньо». Будь-який наслідок, який справджується в обох випадках, підтверджується незалежно від того, яке припущення правильне, — це дає змогу отримувати інформацію без необхідності доводити суперечність. Це особливо ефективно в головоломках Extreme, де суперечності інколи проявляються лише через п’ять і більше кроків.

Поточний підрахунок розміщень: ведіть оновлюваний підрахунок усіх допустимих розміщень для кожної лінії протягом усього розв’язання. Лінії, для яких лишається лише одне розміщення, одразу повністю визначаються — і такі розв’язання варто брати першими, поки вони не втратили актуальність. Головоломки Extreme вимагають саме такого постійного контролю стану сітки для ефективного розв’язання.

Продовжуйте виклик

→ 8×8 Evil — максимальна глибина гіпотез, вкладені ланцюги, найскладніший варіант 8×8

→ 15×15 Extreme — послідовні цикли гіпотез на 225 клітинках

→ 20×20 Extreme — де кожна підтверджена клітинка запускає каскад по сітці з 400 клітинок

Розв’язувач нонограм 8×8 особливо корисний для головоломок Extreme — порівняйте свою стратегію вибору гіпотез із роботою розв’язувача, щоб знайти ефективніші точки входу в цикл.