Экспертные нонограммы 20×20 — цепочки гипотез на 400 клетках

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

Цепочка гипотез в Expert 20×20

В 20×20 цепочки гипотез работают на качественно ином масштабе, чем на меньших сетках. Динамика такова:

Дальность каскада через всю сетку: Гипотеза, подтверждённая в позиции (row 10, col 10) — в центре сетки, — распространяется наружу через 10-ю строку и 10-й столбец. Обе эти линии пересекаются со всеми 20 линиями в перпендикулярном направлении. Каскад из центральной клетки, в принципе, может затронуть каждую строку и каждый столбец до исчерпания — поэтому цели гипотезы в центральной области особенно эффективны в 20×20.

Глубина каскада и ширина каскада: В Expert 20×20 каскады обычно шире, но мельче, чем на меньших сетках. Большое число пересекающихся линий означает, что каскад быстро распространяется сразу по многим линиям, но каждая линия в каскаде может получить лишь одну-две подтверждённые клетки вместо трёх-четырёх, типичных для 12×12. Общий результат каскада всё равно высок — от сорока до шестидесяти клеток, — но он распределяется более равномерно по сетке.

Использование наборов размещений: На 400 клетках исходные наборы размещений перед гипотезой больше, чем на меньших сетках. Это значит, что каждая подтверждённая каскадом клетка исключает больше размещений в каждой линии каскада — возникает накопительное ускорение, при котором последующие шаги каскада исключают больше размещений, чем предыдущие. В результате каскады часто ускоряются по мере распространения, а не замедляются.

Техника Expert 20×20

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

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

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

Следующие испытания

→ 20×20 Extreme — последовательные циклы гипотез на 400 клетках

→ 20×20 Evil — вложенные деревья гипотез на максимальной глубине 20×20

→ 25×25 Expert — логика экспертных каскадов на 625 клетках и 50 линиях

Решатель нонограмм 20×20 строит оптимальный путь каскада по всем 40 линиям для любой экспертной головоломки.