Магический квадрат
Вы здесь: > Каталог статей > Математика > Магический квадрат
Краткое описание магических квадратов и того, как их строить.
Добавлена: 2008-03-22 Просмотров:310 | Рейтинг:0.02

Что такое магический квадрат?

Магический квадрат это - квадратная n*n-таблица delim{vert}{a_{ij}}{vert} целых чисел от 1 до n^2, удовлетворяющая следующим условиям:

sum{i=1}{n}{a_{ij}}=sum{j=1}{n}{a_{ij}}=

=sum{i=1}{n}{a_{ii}}=sum{i=1}{n}{a_{i,n+1-i}}=s  (1),

где s=n(n^2+1)/2. Иногда, рассматриваются также более общие магические квадраты, в которых не требуется, чтобы 1 <= a_{ij} <= n^2.

Как построить магический квадрат?

Любое число a,~1 <= a <= n^2, однозначно характеризуется парой вычетов (alpha,~beta) по модулю n (цифрами по основанию n числа a-1), т. е. точкой двумерного пространства (bbZ/n)^2 над кольцом bbZ/2 вычетов по модулю n. Поскольку координаты (i,j) клеток квадрата также можно считать элементами пространства (bbZ/n)^2, отсюда следует, что любое распределение чисел от 1 до n^2 в квадратную n*n-таблицу delim{vert}{a_{ij}}{vert} задается некоторым отображением

(bbZ/n)^2 left (bbZ/n)^2,

т. е. парой функций alpha = alpha(i, j) ~in~ bbZ/n , beta=beta(i,j) ~in~ bbZ/n от i,j ~in~ bbZ/n. Задача состоит в исследовании таких пар, дающих магический квадрат. В общем виде это сделано только при дополнительном предположении линейности функций alpha  и beta. Оказалось, в частности, что магические квадраты с линейными функциями alpha  и beta существуют только при нечетных n.

Уже в средние века был известен ряд алгоритмов построения магических квадратов нечетного порядка n . Каждый такой алгоритм характеризуется шестью вычетами i_0,~j_0,~q,~overline{q},~overline{p}  и описывается следующими правилами:

  1. число 1 вписывается в клетку (i_0,j_0);
  2. если число a вписано в клетку (i,j), то число a+1  вписывается в клетку (i+p, j+q), если эта клетка еще свободна от чисел, и в клетку i+overline{p},j+overline{q} , если клетка (i+p, j+q) занята.

Вычеты i_0,~j_0,~q,~overline{q},~overline{p} не могут быть произвольны, но должны удовлетворять определенным условиям, обеспечивающим не только выполнение условий (1), но и  выполнимость   алгоритма,   т. е.    пустоту   клетки
i+overline{p},j+overline{q}, если занята клетка (i+p, j+q). Эти условия легко находятся, причем оказывается, что магический квадрат тогда и только тогда может быть построен алгоритмом такого вида, когда описывающие этот квадрат функции alpha,~beta линейны.

Небольшое добавление.

Известно много других алгоритмов построения магических квадратов (приводящих к квадратам с нелинейными функциями alpha,beta), но никакой общей их теории нет. Неизвестно даже общее число магических квадратов порядка n (при n >=5 для n=3 существует, с точностью до очевидных симметрии, только один магический квадрат, а для n=4 число магических квадратов равно 880).

Рейтинг@Mail.ru Rambler's Top100