Восстановление магического квадрата по частично заполненным ячейкам

Магический квадрат — это n × n массив различных целых чисел, в котором суммы чисел в
каждой строке, каждом столбце и в двух главных диагоналях одинаковы. При решении задач
таких квадратов часто встречается ситуация, когда часть ячеек уже известна, а остальные
заполнить нужно так, чтобы сохранить магическое свойство.

Самое главное помнить, что

В любой корректно заполненной конфигурации сумма каждой строки (и столбца) должна
совпадать с известным магическим числом M. Если хотя бы одна строка уже полностью
заполнена, то её сумма сразу задаёт значение M, и от него отталкиваются все дальнейшие
вычисления.

Подготовительный этап

1. Определите размер квадрата n (обычно — 3, 4 или 5).
2. Подсчитайте сумму уже заполненных ячеек в каждой строке и в каждом столбце.
3. Если есть полностью заполненная строка (или столбец), её сумма — M. Иначе
   найдите M, используя одну из известных формул:
   • Для классических квадратов с числами от 1 до n²:
     M = n·(n²+1)/2
   • Если числа произвольные – используйте среднее арифметическое сумм
     полностью заполненных строк/столбцов.
4. Отметьте все ячейки, которые ещё пусты, и запишите их координаты.

Алгоритм пошагового восстановления

Шаг 1. Вычисление недостающих чисел в строках/столбцах

Для каждой строки (или столбца), где лишь одна ячейка пуста, легко найти её значение:

 x = M – (сумма уже известных чисел в этой строке)

Проверьте, что полученное x ещё не используется в квадрате.

Шаг 2. Использование диагоналей

Если в главной или побочной диагонали известны все ячейки, кроме одной, примените тот же
принцип, что и в шаге 1.

Шаг 3. Системы уравнений

Когда пустых ячеек больше одной в строке/столбце, составьте линейную систему:

• Для каждой строки: a₁·x₁ + a₂·x₂ + … = M
• Для каждого столбца: аналогично.

Обычную систему решают методом подстановки, Гаусса или используя готовые библиотеки
(например, numpy.linalg.solve в Python).

Шаг 4. Проверка уникальности

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

Пример решения (n = 3)

Дан частично заполненный квадрат:

Шаг 1: первая строка полностью заполнена → M = 8+1+6 = 15.
Шаг 2: во второй строке один пустой элемент → x = 15 – (3+7) = 5. Запишем 5.
Шаг 3: в третьей строке тоже один пустой элемент → x = 15 – (9+2) = 4. Запишем 4.

Получившийся магический квадрат:

Код‑пример на Python

import numpy as np

def solve_magic(square):
 n = len(square)
 # определяем магическое число M
 known_rows = [row for row in square if None not in row]
 if known_rows:
 M = sum(known_rows[0])
 else:
 M = n * (n**2 + 1) // 2 # классический вариант

 # собираем переменные
 vars_idx = {}
 idx = 0
 for i in range(n):
 for j in range(n):
 if square[i][j] is None:
 vars_idx[(i, j)] = idx
 idx += 1

 m = len(vars_idx) # количество неизвестных
 A = np.zeros((2n, m)) # строки + столбцы (можно расширить диагоналями)
 b = np.full(2n, M)

 # строки
 for i in range(n):
 for j in range(n):
 if square[i][j] is None:
 A[i, vars_idx[(i, j)]] = 1
 else:
 b[i] -= square[i][j]

 # столбцы
 for j in range(n):
 for i in range(n):
 if square[i][j] is None:
 A[n+j, vars_idx[(i, j)]] = 1
 else:
 b[n+j] -= square[i][j]

 # решаем систему
 x, *_ = np.linalg.lstsq(A, b, rcond=None)

 # заполняем квадрат
 for (i, j), k in vars_idx.items:
 square[i][j] = int(round(x[k]))

 return square

partial = [
 [8, 1, 6],
 [3, None, 7],
 [None, 9, 2]
]

print(solve_magic(partial))

Полезные рекомендации

• Всегда проверяйте уникальность полученных чисел. Если повторяется, ищите альтернативные решения.
• При работе с произвольными числами (не от 1 до n²) убедитесь, что выбранное M действительно достижимо.
• Если система уравнений имеет более одного решения, выбирайте то, которое удовлетворяет условию
  «все числа разные» и «по возможности ближе к исходным данным».
• Для больших квадратов (n ≥ 6) рекомендуется использовать специализированные библиотеки линейной
  алгебры, так как количество уравнений быстро растёт.

Часто задаваемые вопросы (FAQ)

1. Что делать, если нет полностью заполненной строки/столбца?
   Используйте формулу для классического магического квадрата (если числа от 1 до n²) или
   подберите M, исходя из требований задачи (часто задаётся явно).
2. Можно ли использовать отрицательные числа?
   Да, условие «разные числа» не ограничивает диапазон. Главное – соблюдать одинаковую сумму M.
3. Почему иногда получается дробное число?
   Это сигнал, что выбранное M неправильно либо решения в целых числах нет. Перепроверьте
   исходные данные.

Контакты для обращений

Если при решении возникли вопросы, ошибки в алгоритме или требуется техническая поддержка,
вы можете связаться с нашими специалистами:

• Техническая поддержка (email): support@magic-square.ru – помощь в настройке программного кода.
• Отдел методических материалов (телефон): +7 (495) -23‑45‑67 – разъяснения теории магических квадратов.
• Форум сообщества: forum.magic-square.ru – обмен решениями и обсуждение сложных вариантов.
• Онлайн‑чат: Telegram‑чат «Магический квадрат» – оперативные ответы в реальном времени.

Автор статьи: ваш виртуальный помощник.
Дата публикации: 26 февраля 2026 г.