Рассуждение подмножествами

Уровень: Средний

Если кандидаты одного числа входят в другое, определяем по разности.

Это приём сравнения «множеств закрытых соседних клеток» у двух соседних числовых клеток. Он работает, когда множество кандидатов в мины одной клетки полностью входит в множество кандидатов другой.

Например, если кандидаты A входят в кандидаты B, и число мин, требуемое для B, минус число мин A равно «числу клеток в разности множеств», то вся эта разность — мины. И наоборот, если равно 0, все они безопасны.

Шаблоны 1-1 и 1-2 на самом деле являются частными случаями этой логики подмножеств. Если мыслить отношениями включения множеств, можно в общем виде разбирать даже сложные границы.

Связанные приёмы