Техника BUG+1 в судоку

BUG+1 использует единственность решения. Если только одна нерешённая клетка имеет три кандидата, а остальные по два, дополнительный кандидат может быть обязательным.

Определение и условия

BUG означает Bivalue Universal Grave. Чистый BUG допускает два решения; в BUG+1 лишний кандидат нарушает эту симметрию.

Пример на полном поле

Только R1C8 содержит 3, 5 и 6. Остальные открытые клетки двухзначные, а 6 нарушает баланс кандидатов, поэтому R1C8=6.

Как находить

Подтвердите одну трёхзначную клетку, проверьте остальные клетки и подсчитайте появления кандидатов в затронутых строках, столбцах и блоках.

Почему это работает

Удаление лишнего кандидата создало бы чистый BUG с двумя решениями. Для задачи с подтверждённым единственным решением это невозможно.

Связь с другими техниками

Одной клетки с тремя кандидатами недостаточно. Должны совпадать количества по областям и быть подтверждена единственность решения.

Итог

Применяйте BUG+1 только после проверки всей структуры.

Частые вопросы

Что означает BUG?

Bivalue Universal Grave — смертельный паттерн, допускающий два решения.

Нужно ли единственное решение?

Да, вывод исключает двухрешённый чистый BUG.

Достаточно одной клетки с тремя кандидатами?

Нет, нужно проверить появления кандидатов во всех связанных областях.