Экстремальные нонограммы 5×5 — почти максимальная плотность ограничений

Экстремальные нонограммы 5×5 работают на верхней границе того, что может требовать сетка Гридлера из 25 клеток. Если задачи Expert иногда позволяют проверить гипотезу, то в Extreme гипотеза с последующей проверкой становится основным способом решения уже с первых ходов. Сеть ограничений настолько тесно переплетена, что обычного вывода почти не хватает для немедленного прогресса — каждый шаг требует условного рассуждения, связанного сразу с несколькими линиями.

Чем Extreme отличается от Expert?

Глубина цепочек гипотез: задачи Expert обычно требуют один-два раунда гипотезы с проверкой, чтобы открыть сетку. Задачи Extreme требуют нескольких последовательных раундов, где каждая подтверждённая клетка сразу подготавливает следующий цикл гипотезы.

Меньше «свободных» стартовых клеток: в задачах Expert анализ пересечений обычно позволяет определить две-три клетки ещё до начала проверки гипотез. В задачах Extreme он может не дать ни одной — каждая клетка в начальном состоянии действительно неоднозначна при прямом выводе.

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

Продвинутые приёмы для экстремальных задач

Двойная проверка гипотез: если одна гипотеза не даёт немедленного противоречия, проверьте одновременно и её противоположность. Проследите «Клетка A закрашена» и «Клетка A пуста» параллельно. Любая клетка, состояние которой совпадает в обоих вариантах, однозначно имеет это состояние — независимо от того, какая гипотеза верна.

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

Накопительное исключение: ведите список исключённых вариантов для каждой линии. По мере того как раунды гипотез подтверждают или опровергают клетки, вычёркивайте варианты из списка. Когда для линии остаётся только один вариант, все её клетки определяются одновременно.

Продолжите испытание

→ 5×5 Evil — абсолютный пик сложности 5×5

→ 15×15 Extreme — экстремальная логика на сетке 225 клеток раскрывается ещё сильнее

→ Решатель нонограмм 5×5 — используйте его, чтобы разобрать конкретные цепочки гипотез, которые не сходятся