Кандидат — цифра, которая пока возможна в клетке. Маленькие цифры обозначают варианты, а не готовый ответ.
Область — строка, столбец или блок 3×3. Каждая цифра встречается в ней ровно один раз.
Клетки видят друг друга, если находятся в одной области. Одинаковая цифра не может стоять сразу в обеих.
Сильная связь в этих примерах: для цифры в области осталось ровно два места. Если в одном её нет, в другом она обязательно есть.
Слабая связь: два кандидата одной цифры видят друг друга и не могут быть истинны одновременно. Оба при этом могут оказаться ложными.
Исключение убирает невозможный вариант. Оно не всегда позволяет сразу поставить цифру.