Как числа превращаются в клетки
В обычном чёрно-белом нонограмме подсказка описывает не сумму закрашенных клеток, а длины непрерывных групп. Числа читаются по порядку: например, «3, 2» означает сначала блок из трёх закрашенных клеток, затем блок из двух. Между разными блоками обязательно есть хотя бы одна пустая клетка.
Поэтому подсказка «7» в строке из десяти клеток уже позволяет сделать вывод: блок длиной семь может сдвигаться, но при любом положении четыре клетки в середине строки останутся закрашенными. Это не догадка — другие варианты расположения просто не вмещают блок.
Почему важны пересечения
Подсказки даны и для строк, и для столбцов. Если строка гарантирует, что клетка закрашена, а подсказка столбца не позволяет закрасить её в этом месте, значит, где-то раньше была ошибка. А когда одна клетка определена, она ограничивает варианты сразу в двух направлениях: в своём столбце и в своей строке.
Решение строится на повторении этого шага. Сначала находят клетки, положение которых неизбежно, затем пересчитывают возможные блоки в пересекающихся линиях. Иногда подсказка разрешает несколько вариантов, и сделать вывод можно только после того, как часть соседних строк уже решена.
Рисунок как проверка логики
По мере заполнения сетки очертания изображения становятся дополнительной подсказкой для человека, но формально решатель опирается на числа и ограничения. Если клетку приходится закрашивать лишь потому, что «так красивее», это уже не следует из правил. В этом и заключается удовольствие нонограммы: картинка появляется не из отдельных угадываний, а из цепочки проверяемых выводов.
