Форсирующая цепочка в судоку

Две формы

От клетки. Возьмите клетку с двумя-тремя кандидатами. По очереди считайте верным каждый из них и прослеживайте последствия. Один из вариантов истинен наверняка — других у клетки нет. Значит, всё, к чему приходят все ветки, верно.

От области. То же самое, но перебираются не варианты клетки, а места одной цифры в строке, столбце или блоке. Цифра где-то в области стоит обязательно, поэтому вывод, общий для всех мест, тоже верен.

Чем отличается от Нишио

Нишио проверяет одно предположение и ищет противоречие. Форсирующая цепочка проверяет все предположения сразу и ищет совпадение.

Отсюда и разница в результате. У Нишио вывод отрицательный: кандидат ложен. У форсирующей цепочки вывод может быть и положительным: если все ветки ставят в клетку одну и ту же цифру, её можно ставить.

Как не запутаться

Веток обычно две-три, и каждую приходится вести отдельно. Начинайте с клетки, где кандидатов ровно два: тогда веток две, и достаточно найти хоть одно общее следствие.

Записывайте результат каждой ветки списком, а не в уме. Совпадение ищется сравнением списков — иначе легко приписать одной ветке вывод, сделанный в другой.