Вы написали очень много, причём всё в цитате
Нет, вы меня абсолютно не убедили в нерациональности моего подхода. Тем более, что из вашей программы перебора я выжала всё возможное. Если, конечно, вы не придумаете новую модификацию.
А мой вероятностный алгоритм, как мне кажется, может дать результаты. Кроме того,
важно! Если исследовать возможность построения всех пар строк нужного для заготовки вида из заданного массива чисел (хотя бы для массива из 36 чисел), то этот алгоритм даст однозначный ответ о существовании пандиагонального квадрата из заданного массива чисел, чего от вашей программы пока ждать не приходится. А пар строк, как я уже сказала выше, для смитов будет очень даже немного.
Уже написала программу достраивания и просто поражена скоростью её работы. Конечно, пока это был тест. Но тем не менее...
Взяла заготовку для магической константы 5964 (из уже построенного мной пандиагонального квадрата):
Код:
94 2902 22 1111 202 1633
0 0 0 0 0 0
0 0 0 0 0 0
913 526 355 1858 346 1966
0 0 0 0 0 0
0 0 0 0 0 0
В массиве у меня только смиты вида

, их 78 штук (эту информацию взяла из вашей программы). Довольно солидный массив чисел. Но для заготовки, как я уже говорила, будут перебираться 78-12=66 чисел.
Так вот, запустила программу достраивания для данной заготовки. Программа выдала решение за 1 секунду!
Вот выданный программой пандиагональный квадрат:
Код:
94 2902 22 1111 202 1633
562 634 265 2218 1894 391
1678 1219 1642 121 319 985
913 526 355 1858 346 1966
922 166 2785 274 1282 535
1795 517 895 382 1921 454
И для сравнения квадрат, построенный по вашей программе:
Код:
94 2902 22 1111 202 1633
1795 517 895 382 1921 454
922 166 2785 274 1282 535
913 526 355 1858 346 1966
1678 1219 1642 121 319 985
562 634 265 2218 1894 391
1: S=5964 p2,4,6,8=1260 -72 -108 72
Квадраты эквивалентные (параллельный перенос на торе), тем не менее они не совпадают.
Я просто не ожидала, что так быстро будет найдено решение. Ну, может быть, просто очень удачная заготовка. Но это пока только тест.
Теперь расчёт на удачу

Да, забыла сказать главное. В программе получилось не 7 свободных переменных, а 8, ещё пришлось сделать один цикл для получения одного отклонения, потому что заготовка даёт только три отклонения, одного не хватает. И несмотря на это программа выполнилась мгновенно.
И ещё, вы говорите, что программа достраивания заготовки почти сразу выдаёт заключение, что решения для такой заготовки нет. Это понятно! Очень трудно попасть на такую заготовку, которая достроится до пандиагонального квадрата. Но хорошо то, что программа мгновенно выдаёт заключение. Это значит, что можно за небольшое время проверить очень много заготовок.
И самое важное: повторюсь, что можно исследовать вопрос получения
всех заготовок из заданного массива смитов с заданной магической константой.