Экстремальные нонограммы 10×10 — многократные циклы гипотез на 100 клетках

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

Ход решения Extreme 10×10

Фаза 1 — исчерпание стандартных ходов: Примените полный перебор вариантов размещения и многопроходную сверку ко всем 20 линиям. На уровне Extreme эта фаза даёт меньше клеток, чем Hard, — обычно от 50 до 65 из 100, — после чего наступает настоящий тупик.

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

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

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

Продвинутые приёмы для Extreme 10×10

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

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

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

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

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

→ 15×15 Extreme — многократные циклы гипотез на 225 клетках

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

Солвер нонограмм 10×10 полезен для сравнения вашей последовательности циклов гипотез с работой солвера — так можно понять, где более удачная точка входа сократила бы решение.