Есть ли какой-либо алгоритм, который может решить ЛЮБЫЕ традиционные головоломки судоку БЕЗ угадывания (или аналогичных методов)?

Есть ли какой-нибудь алгоритм, который решает ЛЮБУЮ традиционную головоломку судоку, БЕЗ угадывания?

Здесь гадание означает попытку кандидат и посмотрите, как далеко он зайдет, если обнаружится противоречие с предположением, вернитесь к шагу предположения и попробуйте другого кандидата; когда все кандидаты безуспешно исчерпаны, возврат к предыдущему шагу отгадывания (если он есть; в противном случае доказательства недействительны) и т. д.

EDIT1: Спасибо за ваши ответы.

Традиционный судоку означает судоку из 81 блока, без каких-либо других ограничений. Допустим, мы знаем, что решение уникально, существует ли какой-либо алгоритм, который ГАРАНТИРУЕТ его решение без возврата? Отслеживание с возвратом - универсальный инструмент, у меня нет ничего плохого в этом, но использование универсального инструмента для решения судоку снижает ценность и удовольствие от расшифровки (вручную или с помощью компьютера) головоломок судоку.

Как может человек решить так называемую «самую сложную судоку в мире», нужно ли ему угадывать?

Я слышал, какой-то исследователь случайно обнаружил, что их алгоритм анализа данных может решить все судоку. Это правда, они тоже должны угадывать?