Открытые пары в судоку: как исключать кандидатов
Когда все одиночки закончились, наступает время открытых пар (Naked Pairs). Это первая техника, которая требует работы с кандидатами — возможными цифрами в каждой клетке.
Определение
Открытая пара — это две клетки в одном блоке (строке, столбце или квадрате 3×3), в которых могут стоять только две одинаковые цифры. Например, в двух клетках кандидаты только {3, 7} и {3, 7}.
Это означает, что цифры 3 и 7 обязательно займут эти две клетки — в каком-то порядке. Следовательно, ни в какой другой клетке этого блока они стоять не могут.
Правило: если две клетки в блоке содержат только пару {X, Y}, то X и Y можно исключить из всех остальных клеток этого блока.
Пример
Возьмём строку из 9 клеток. После расстановки кандидатов видим:
| 3 7 |
1 | 2 | 3 7 |
3 5 7 |
4 | 5 6 |
6 9 |
8 |
Клетки 1 и 4 содержат только {3, 7}. Это открытая пара. Значит, в клетке 5 (кандидаты {3, 5, 7}) можно убрать 3 и 7 — остаётся только 5. Ставим 5. Теперь пара {3, 7} окончательно закреплена за клетками 1 и 4.
Алгоритм поиска открытых пар
- Выпишите кандидатов для каждой пустой клетки.
- Ищите две клетки в одном блоке, где список кандидатов совпадает и состоит ровно из двух цифр.
- Нашли — исключите эти две цифры из всех остальных клеток блока.
- Повторите для строк, столбцов и квадратов.
Частая ошибка
Новички путают открытую пару с ситуацией, когда в двух клетках есть общие кандидаты, но не только они. Например, {3, 7} и {3, 7, 9} — это не открытая пара, потому что вторая клетка может содержать 9. Открытая пара требует, чтобы список кандидатов был ровно {X, Y} в обеих клетках.
Проверьте себя: откройте решатель судоку, введите головоломку среднего уровня и попробуйте найти открытые пары вручную, прежде чем нажать «Решить».