Техніки судоку · Екстрим
BUG+1 у судоку
BUG+1, скорочення від Bivalue Universal Grave plus one, це аргумент унікальності. Якби кожна нерозв'язана клітинка мала рівно два кандидати, а кожна цифра з'являлася рівно двічі в кожній групі, поле мало б два розв'язки, чого в коректній головоломці ніколи не буває. Тож коли поле досягає такого стану, крім однієї клітинки з трьома кандидатами, кандидат, що ламає цей шаблон, і є відповіддю.
Чому це працює
У головоломці з єдиним розв’язком припустімо, що в кожній нерозв’язаній клітинці є два кандидати, крім однієї з трьома. Якщо після вилучення одного кандидата з цієї клітинки кожна цифра траплялася б серед кандидатів у кожному рядку, стовпці та блоці нуль або два рази, цей кандидат має бути правильним. Інакше будь-який розв’язок можна було б віддзеркалити, замінивши цифру в кожній нерозв’язаній клітинці на іншого її кандидата.
Як її помітити
Цю техніку не шукають; її помічають пізно у важкій головоломці, коли поле стає рівномірно двокандидатним.
- Перевір, що кожна нерозв'язана клітинка має рівно два кандидати, крім однієї з трьома.
- У цій одній клітинці знайди кандидата, що з'являється непарну кількість разів у своєму рядку, стовпці й блоці. Це і є відповідь.
- Як і унікальний прямокутник, це працює лише тому, що головоломці гарантовано один розв'язок: це не чиста логіка самого поля.
Базується на
Розібраний приклад
Це власні навчальні поля додатку. Проходь їх так само, як це робить підказка.
- 1
Кожна нерозв'язана клітинка, що залишилася на полі, є клітинкою з двома кандидатами: у ній рівно два кандидати. Єдиний виняток: виділена клітинка, у якій їх три: 2, 4, 6.
- 2
Тепер поглянь на рядок, стовпець і блок виділеної клітинки: кандидат 6 з’являється тричі в кожному з них, а кожен інший кандидат, якщо взагалі з’являється, то рівно двічі. Якби в цій клітинці не було 6, кожен кандидат з’являвся б усюди рівно двічі, утворюючи смертельний шаблон, який можна завершити двома різними способами. Головоломка має лише один розв’язок, тому тут має бути 6, а 2 і 4 можна прибрати.