Уникальные прямоугольники
Уникальные прямоугольники
Связанные техники
Предположение об уникальности в судоку
Правильно построенный пазл судоку имеет одно и только одно решение. Если вы можете определить конфигурацию кандидатов, которая создала бы несколько решений, эта конфигурация невозможна. По крайней мере один кандидат должен быть неверным, и вы можете его исключить.
Семейство Уникальных Прямоугольников применяет это к четырём клеткам, расположенным в прямоугольнике, охватывающем две строки, два столбца и ровно два блока.
Что такое смертельный шаблон в судоку?
Смертельный шаблон — это конфигурация, которая позволила бы перестановкой цифр получить второе допустимое решение. Четыре клетки, образующие прямоугольник ровно через два блока, все содержащие только {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 (найти цифру скрытая пара, чтобы исключить другую). Освоение этого значительно расширяет возможности решения головоломок от Сложных до Экспертных.