Унікальні прямокутники

Унікальні прямокутники

Просунутий

Припущення унікальності в судоку

Правильно побудована головоломка судоку має один і тільки один розв'язок. Якщо ви можете визначити конфігурацію кандидатів, яка створила б кілька розв'язків, ця конфігурація неможлива. Принаймні один кандидат має бути хибним, і ви можете його вилучити.

Родина унікальних прямокутників застосовує це до чотирьох клітинок, розташованих у прямокутнику, що охоплює два рядки, два стовпці та рівно два блоки.

Що таке смертельний візерунок у судоку?

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