Звучит безумно, мне нравится идея смешать логику судоку с алгебраическими элементами. Может, в каждой строке, колонке и квадрате 3x3 будет набор линейных уравнений с единственным решением, чтобы приходилось уравновешивать числа, учитывая отношения между переменными. В качестве ограничений можно сказать, что каждая ячейка должна содержать переменную, определенную простым уравнением, например, x + y = 12, но переменные должны встречаться только один раз в строке или колонке, чтобы заставлять решать их пошагово. Чтобы усложнить задачу, можно ввести уравнения с умножением для некоторых ячеек, например, a × b = 20, тогда придётся учитывать делители. И, может быть, добавить правило, что сумма всех чисел в подсетке равна фиксированному числу, например, 45, что добавит еще один уровень проверки. Можно еще сделать так, чтобы сложность масштабировалась, позволяя использовать квадратные уравнения в самых сложных головоломках, но это, возможно, перебор – линейных уравнений вполне достаточно для начала. Как тебе такое?