Указывающие пары (Pointing Pairs) это первый прием, который заставляет две области разговаривать друг с другом, и он убирает кандидатов, до которых не добраться никаким просмотром одной области. Идея проста: если цифра заперта в одной линии внутри блока, ее нельзя ставить в остальную часть этой линии.
Возьми блок и одну цифру, которой в нем еще нет. Посмотри на каждую ячейку блока, где эта цифра еще кандидат. Если все они лежат в одной строке, то в какую бы ячейку цифра ни встала, она окажется в этой строке. Блок обязан содержать цифру где-то, поэтому доля строки в этой цифре израсходована внутри блока, и цифру можно удалить из ячеек этой строки в двух других блоках.
Две такие ячейки образуют указывающую пару, три образуют указывающую тройку, логика одна и та же. То же самое действует для столбцов.
| Указывающая пара | Блок-линейное исключение | |
|---|---|---|
| Цифра ограничена | одной линией внутри блока | одним блоком внутри линии |
| Стираешь из | остальной части строки или столбца | остальной части блока |
| Направление | блок указывает наружу вдоль линии | линия сокращает блок |
| Очищено ячеек | до шести, в двух других блоках | до шести, в том же блоке |
Оба называются запертыми кандидатами, и их стоит учить парой, потому что искать их приходится в противоположных направлениях.
Следи за цифрами 1 в блоке 6.
Блоку 6 нужна 1, и единственные оставшиеся для нее ячейки это D7 и D8, обе в строке D. Значит, 1 строки D живет внутри блока 6, и D4 и D5 в блоке 5 теряют свою 1.
Две ячейки не обязаны стоять рядом, и в них может быть множество других кандидатов. Важно лишь, что никакая третья ячейка блока не может принять 1.
Указывающие пары начинают иметь значение около среднего классического судоку и необходимы со сложного уровня и выше, и в классическом, и в киллер-судоку. Это еще и мысленная привычка, на которой держится большинство продвинутых шаблонов: найди, куда цифра встать не может, и сетка подскажет остальное.