Здравствуйте, #John, Вы писали:

>>>Когда однозначные варианты подставить больше не получается, тут уже ветвление, сохраняем состояние, находим ячейку, где меньше всего возможных вариантов и перебираем по каждому варианту.

J>В сложном судоку такой вариант не прокатит, т.к. может оказаться ~одинаковое к-во возможных вариантов по ветвлениям. Тут как раз и надо придумать алг по какому принципу выбирать ветвления какие надо перебирать первыми.

Какая разница? Какой-нибудь вариант да приведёт к решению. Ну или никакой не приведёт.