Экстремальные нонограммы 6×6 — цепочки гипотез в сетке из 36 клеток

Экстремальные нонограммы 6×6 рассчитаны на тех, кто уже уверенно решает Expert-пазлы методом гипотезы и проверки и готов к конфигурациям, где этот приём нужно применять снова и снова, подряд на всём протяжении решения. Эти головоломки Picross и Griddler создают настолько тесно переплетённую сеть ограничений, что один цикл гипотезы подтверждает одну-две клетки — и эти подтверждения сразу запускают следующий цикл, без возможности опереться на обычный вывод между ними.

Как устроено решение экстремальной 6×6

Типичное решение Extreme 6×6 заметно отличается от всех более лёгких уровней:

Фаза 1 — стандартный проход без результата: Полный проход по всем двенадцати линиям с анализом перекрытий и перебором вариантов не подтверждает ни одной клетки. Сетка полностью инициализирована, но обычными методами не решается.

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

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

Фаза 4 — повторение: Этот шаблон повторяется три-шесть раз, пока не будет подтверждено достаточно клеток, чтобы оставшуюся часть сетки можно было завершить обычным выводом.

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

Цепочки гипотез: Вместо того чтобы завершать гипотезу при первом противоречии, продолжайте цепочку, чтобы получить несколько подтверждений за один цикл. Если гипотеза A приводит к подтверждённой клетке B, а B — к подтверждённой клетке C (в рамках одной условной цепочки), вы можете извлечь оба подтверждения из одного следа противоречия.

Запись состояния: Для экстремальных головоломок вести письменный учёт промежуточных выводов текущей цепочки гипотез — не опция, а практическая необходимость. Фиксируйте каждый шаг так: «Если A=закрашена, то блок 1 в строке 3 должен занимать позиции 2–3, значит клетка 3 в столбце 2 должна быть пустой». Систематические записи помогают не потерять место в глубоких цепочках.

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

Что дальше

→ 6×6 Evil — максимальная глубина цепочки гипотез в сетке из 36 клеток

→ 15×15 Extreme — применяйте цепочки гипотез на сетке из 225 клеток

→ 20×20 Extreme — здесь каждая подтверждённая клетка запускает каскад по сетке из 400 клеток

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