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

0>Значит, с возвратами. Это как раз мой второй вариант.
0>А может есть менее "тупой"?

Да вроде бы нету.

Вообще, соображения такие: порождаем "поле-ответ", после чего начинаем случайным образом вычеркивать клетки. После каждого вычеркивания проверяем, решается ли полученная конструкция единственным образом. Кстати, здесь можно добавить интересную штуку: при решении пользоваться либо перебором, либо только логическим выводом — так можно будет управлять сложностью результата.

Между делом нашласьполезная ссылка (раздел "Generating Puzzles")

Товарищ Америки не открыл, все расписано примерно так, как я и предложил. И, сдается мне, что такая конструкция будет тормозить на крупных полях.