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