Уникальные прямоугольники

Уникальные прямоугольники

Продвинутый

Предположение об уникальности в судоку

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

Семейство Уникальных Прямоугольников применяет это к четырём клеткам, расположенным в прямоугольнике, охватывающем две строки, два столбца и ровно два блока.

Что такое смертельный шаблон в судоку?

Смертельный шаблон — это конфигурация, которая позволила бы перестановкой цифр получить второе допустимое решение. Четыре клетки, образующие прямоугольник ровно через два блока, все содержащие только {X, Y}, создали бы такую неоднозначность. Оба расположения удовлетворяют всем ограничениям. Это запрещено в допустимом пазле.

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

Настройка Уникального Прямоугольника: Пол и Крыша

Клетки пола содержат ровно {X, Y}. Клетки крыши содержат {X, Y} плюс дополнительные кандидаты. Дополнительные кандидаты — это пути отхода, предотвращающие смертельный шаблон.

Цель: доказать, что клетки крыши не могут обе оказаться просто {X, Y}. Поскольку смертельный шаблон запрещён, хотя бы одна клетка крыши ячейка должна свестись к чему-то иному, кроме X или Y.

единственный прямоугольник тип 1: Один дополнительный угол

Три угла бивалентны {X, Y}. Четвёртый имеет {X, Y} плюс дополнительные кандидаты. Если бы четвёртый был X или Y, смертельный шаблон завершился бы. Исключите и X, и Y из четвёртого угла. Уровень 6 (Сложный).

единственный прямоугольник типа 2: Общий дополнительный кандидат

Две клетки пола {X, Y}. Две клетки крыши {X, Y, Z}. Хотя бы одна крыша должна быть Z. Исключите Z из клеток, видящих обе клетки крыши. Уровень 6 (Сложный).

единственный прямоугольник типа 3: Псевдо-голое подмножество

Две клетки крыши имеют разные дополнительные кандидаты помимо {X, Y}. Эти дополнительные кандидаты образуют псевдо-голое подмножество с другими клетками в общем доме. Уровень 7 (Очень сложный).

единственный прямоугольник типа 4: Сопряжённая пара

Одна пара цифр образует сопряжённую пару между двумя клетками крыши. Это разрушает смертельный шаблон. Исключите другую пару цифр из обеих клеток крыши. Уровень 7 (Очень сложный).

единственный прямоугольник тип 5: Диагональное дополнение

Дополнительный кандидат Z появляется в диагональных углах или в трёх из четырёх углов. По крайней мере один Z-угол должен быть Z. Исключите Z из клеток, видящих все Z-углы. Уровень 8 (Эксперт).

избегаемый прямоугольник

Применяется к прямоугольникам, где все углы — не заданные клетки (некоторые уже решены). Аргумент обмена по-прежнему работает, так как ни одна не была зафиксирована составителем. Типы 1-4 повторяют стандартные типы UR. Уровень 6 (Сложный).

скрытый уникальный прямоугольник

В общем доме клеток крыши одна пара цифр появляется как кандидат только в этих двух клетках ("скрытая"). Эта цифра должна попасть в одну ячейка крыши, разрушая смертельный шаблон. Исключите другую пару цифр из обеих клеток крыши. Уровень 8 (Эксперт).

Практические советы по поиску уникальных прямоугольников

Начните с бивалентных клеток. Когда видите две или более с одинаковой парой, проверьте образование прямоугольника. Убедитесь в ограничении двух блоков. Проверьте все ориентации. Комбинируйте с другими техниками после применения исключений UR.

Итог

Семейство уникальных прямоугольников предлагает семь техник, использующих предположение об уникальности. Они варьируются от Типа 1 (исключить цифры пары из дополнительного угла) до скрытого UR (найти цифру скрытая пара, чтобы исключить другую). Освоение этого значительно расширяет возможности решения головоломок от Сложных до Экспертных.