Несколько решений судоку: конкретный пример
Да. Две разные полные сетки с верными областями и всеми подсказками означают несколько решений. Одно решение доказывает существование, не единственность; нужно искать второе.
Разобранный пример
Координаты идут от левого верхнего угла: r — строка, c — столбец. Мелкие цифры — кандидаты, рамки выделяют обсуждаемые клетки.
Открыть пример в решателеПосмотреть все 81 клетку ввода
Читайте строки слева направо, сверху вниз. 0 означает пустоту.
003456789456789003789003456034567890567890034890034567345678900678900345900345678Сохраните подсказки, меняйте лишь пустоты
Возьмите нижнюю сетку как решение A и удалите все 1 и 2. Их по девять: получится 18 пустот и 63 подсказки.
Замените в A все 1 на 2 и все 2 на 1, получив B. Цифры 3–9 не меняются, так что оба решения сохраняют все подсказки.
Почему второе решение верно
В каждой области решения A по одной 1 и 2. Полная замена одной на другую сохраняет это, а остальные семь цифр не меняются. Значит B — полноценное решение, а не просто частичная сетка без конфликтов.
Решения различаются в r1c1, значит они разные. Двух примеров достаточно для неединственности; не нужно утверждать, что решений ровно два, или считать все.
Даже 63 заданные цифры не гарантируют единственность
В этом примере гораздо больше подсказок, чем в обычной газетной задаче, но он неоднозначен. Число заданных клеток не говорит, различают ли они все допустимые решения.
Разные оценки сложности двум вариантам не устраняют неоднозначность. Сложность — труд по выбранному методу, единственность — число ответов. До обычной оценки подтвердите единственность.
Что решатель может и не может заключить
Одна готовая сетка доказывает лишь существование решения. Для единственности нужно исключить остальные. Sudoku Slate ищет, пока не исчерпает варианты или не найдёт второе решение.
При нескольких решениях не считайте первый ответ задуманным. Если оригинал должен быть уникальным, ищите пропущенные цифры. Для собственной задачи измените подсказки и снова проверьте единственность.
Добавленная цифра из верного решения убирает несовместимые ответы, но может оставить несколько других. Повторите проверку единственности; исключение двух просмотренных примеров ещё ничего не гарантирует.
Проверьте понимание
Исключит ли r1c1 = 1 решение B? Докажет ли это единственность изменённой задачи?
Показать рассуждение
Это исключит B, где r1c1 = 2. Но исключение одного известного варианта не доказывает отсутствие остальных. Изменённой задаче нужна полная проверка единственности.
Об этом примере
Пример Sudoku Slate построен из полной сетки с множеством сохранённых цифр для ясности вывода. Диагностические примеры намеренно конфликтны или неоднозначны, где указано. Это учебные позиции, не задачи с оценкой сложности.
Правила и терминология
- Nikoli: правила судоку
Стандартные правила строк, столбцов и блоков 3 × 3 в этих примерах. Сетка и разбор на этой странице созданы отдельно.