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

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

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