Далёкие пары

Что такое Далёкие пары в Судоку?

Шаблон удаленной пары — это цепочка из четырех или более двузначных клеток, в которых содержатся одни и те же два кандидата. Каждая последовательная пара делит общую область. Цепочка может свободно изгибаться по сетке. Сила заключается в чередующейся связи: значения должны чередоваться вдоль цепочки, заставляя клетки разделяться на две группы с противоположными значениями.

Принцип чётности: почему Далёкие пары работает

Ячейки с четными позициями содержат одно значение, с нечетными позициями — другое. Мы не знаем, какой группе соответствует какое значение, но две группы обязательно содержат противоположные значения.

Как работают исключения

Две цепочки ячеек с разной четностью покрывают оба значения между ними. Любая внешняя Ячейка, видящая обе, может иметь оба кандидата исключены. Это перекрестное исключение за пределами сетки — это то, чего не может достичь никакая техника пары.

Минимальная длина цепочки: почему важны четыре клетки

Два поля: Голая пара (уже обработано). Три поля: нет полезного пересечения между сетками. Четыре поля: Ячейка 0 и Ячейка 3 имеют противоположную четность и могут находиться в совершенно разных областях сетки. Именно здесь Далёкие пары становится по-настоящему полезным.

Как найти Далёкие пары в своих головоломках

1. Определите все бивалентные клетки. 2. Группируйте по паре кандидатов (необходимо как минимум 4 с одинаковой парой). 3. Постройте цепочку через общие блоки. 4. Назначьте четность. 5. Найдите цели для исключения, видящие клетки с противоположной четностью. Советы: Проверьте соединения блоков. Используйте цветовое выделение в карандашных пометках.

Классификация сложности

Уровень 7 (очень сложно). Выявление цепей не тривиально. Оценка четности абстрактна. Пространство поиска велико. Но Далёкие пары появляется с разумной частотой и часто приводит к нескольким исключениям.

Связь с Простая раскраска

Далёкие пары по сути Простая раскраска, применяемый к бивалентным клеткам, разделяющим одни и те же два кандидата. Назначение четности — это раскраска. Поскольку каждая Ячейка является бивалентной, цепочка ограничивает два цифровых значения одновременно, что позволяет исключить оба кандидата из внешних клеток.

Сводка

Далёкие пары использует четность в цепочках бивалентных клеток, разделяющих одни и те же два кандидата. Любое внешнее Ячейка, видящее два члена цепи с разной четностью, может исключить оба кандидата. Уровень 7 (очень трудно), тесно связано с {{__PH2__]].