BUG +1 (Bivalue Universal Grave) — техніка судоку

Що це таке

'Bivalue Universal Grave' — смертельний шаблон: такий стан сітки, у якому кожна порожня клітинка має рівно два кандидати, а кожна цифра має рівно дві кандидатні клітинки в кожному рядку/стовпці/блоці. Такий стан має ДВА правильні завершення через симетрію, тож правильне судоку ніколи його не досягне. BUG +1 — практичний випадок: сітка за крок до повного BUG — кожна порожня клітинка має рівно два кандидати, ОКРІМ однієї клітинки-винятку з трьома кандидатами. Третій кандидат винятку (той, що з'являється тричі в певній одиниці, а не двічі) — це те, що ламає смертельну симетрію, а оскільки задача має єдиний розв'язок, саме цей третій кандидат і є відповіддю.

Коли використовувати

На найглибших задачах expert і master. Сигнал: ближче до кінця розв'язування карта кандидатів показує всі порожні клітинки як двовалентні, окрім однієї тривалентної.

Приклад з поясненням

Ближче до кінця складного розв'язування кожна порожня клітинка має рівно два кандидати, ОКРІМ R3C5 = {1, 4, 7}. Перевір рядок 3: цифра 4 з'являється в трьох клітинках рядка 3, а цифри 1 і 7 — у двох кожна. 'Зайва' цифра — 4 — R3C5 = 4 ламає смертельний шаблон.