В группе на форуме ПЕН я сейчас занялась исследованием нетрадиционных совершенных квадратов.
Тема
Совершенные магические квадраты.
Первый результат такой: доказала, что между ассоциативными квадратами Стенли и совершенными магическими квадратами 8-го порядка существует взаимно-однозначное соответствие.
Практический результат: построила наименьший совершенный магический квадрат 8-го порядка из различных простых чисел:
Код:
19 5923 1019 4423 4793 1277 3793 2777
4877 1193 3877 2693 103 5839 1103 4339
499 5443 1499 3943 5273 797 4273 2297
5297 773 4297 2273 523 5419 1523 3919
1213 4729 2213 3229 5987 83 4987 1583
5903 167 4903 1667 1129 4813 2129 3313
733 5209 1733 3709 5507 563 4507 2063
5483 587 4483 2087 709 5233 1709 3733
Решение найдено мной, минимальность ассоциативного квадрата Стенли, из которого получен этот квадрат, подтвердил
12d3. Из-за взаимно-однозначного соответствия получаем, что этот совершенный магический квадрат тоже минимальный, как и соответствующий ему ассоциативный квадрат Стенли.
Теперь перехожу к совершенным квадратам 10-го порядка. Такие квадраты могут быть только нетрадиционными. Тут у меня очень интересный результат.
Я получила общую формулу сразу трёх квадратов 10-го порядка: ассоциативного квадрата Стенли, идеального магического квадрата, совершенного магического квадрата.
Ничего подобного ещё никогда не получала.
Действовала следующим образом.
Беру систему уравнений, описывающих ассоциативный квадрат Стенли 10-го порядка:
Код:
x1+x20+x29+x38+x47-x45-x36-x27-x18-x9=0
x2+x11+x30+x39+x48-x44-x35-x26-x17-x8=0
x3+x12+x21+x40+x49-x43-x34-x25-x16-x7=0
x4+x13+x22+x31+x50-x42-x33-x24-x15-x6=0
x10+x11+x22+x33+x44-x46-x35-x24-x13-x2=0
x9+x20+x21+x32+x43-x47-x36-x25-x14-x3=0
x8+x19+x30+x31+x42-x48-x37-x26-x15-x4=0
x7+x18+x29+x40+x41-x49-x38-x27-x16-x5=0
x1+x12-x2-x11=0
x2+x13-x3-x12=0
x3+x14-x4-x13=0
x4+x15-x5-x14=0
x5+x16-x6-x15=0
x6+x17-x7-x16=0
x7+x18-x8-x17=0
x8+x19-x9-x18=0
x9+x20-x10-x19=0
x11+x22-x12-x21=0
x12+x23-x13-x22=0
x13+x24-x14-x23=0
x14+x25-x15-x24=0
x15+x26-x16-x25=0
x16+x27-x17-x26=0
x17+x28-x18-x27=0
x18+x29-x19-x28=0
x19+x30-x20-x29=0
x21+x32-x22-x31=0
x22+x33-x23-x32=0
x23+x34-x24-x33=0
x24+x35-x25-x34=0
x25+x36-x26-x35=0
x26+x37-x27-x36=0
x27+x38-x28-x37=0
x28+x39-x29-x38=0
x29+x40-x30-x39=0
x31+x42-x32-x41=0
x32+x43-x33-x42=0
x33+x44-x34-x43=0
x34+x45-x35-x44=0
x35+x46-x36-x45=0
x36+x47-x37-x46=0
x37+x48-x38-x47=0
x38+x49-x39-x48=0
x39+x50-x40-x49=0
x41-x42-x49+x50=0
x42-x43-x48+x49=0
x43-x44-x47+x48=0
x44-x45-x46+x47=0
Схема ассоциативного квадрата Стенли 10-го порядка как обычно:
Код:
X1 X2 X3 X4 X5 X6 X7 X8 X9 X10
X11 X12 X13 X14 X15 X16 X17 X18 X19 X20
X21 X22 X23 X24 X25 X26 X27 X28 X29 X30
X31 X32 X33 X34 X35 X36 X37 X38 X39 X40
X41 X42 X43 X44 X45 X46 X47 X48 X49 X50
k-x50 k-x49 k-x48 k-x47 k-x46 k-x45 k-x44 k-x43 k-x42 k-x41
k-x40 k-x39 k-x38 k-x37 k-x36 k-x35 k-x34 k-x33 k-x32 k-x31
k-x30 k-x29 k-x28 k-x27 k-x26 k-x25 k-x24 k-x23 k-x22 k-x21
k-x20 k-x19 k-x18 k-x17 k-x16 k-x15 k-x14 k-x13 k-x12 k-x11
k-X10 k-X9 k-X8 k-X7 k-X6 k-X5 k-X4 k-X3 k-X2 k-X1
Здесь k - константа ассоциативности квадрата, которая связана с индексом квадрата следующим соотношением:
Решив эту систему уравнений, мы получим общую формулу ассоциативного квадрата Стенли 10-го порядка, о которой я уже писала выше.
Пока ничего нового нет.
Для того чтобы из ассоциативного квадрата Стенли получить идеальный и совершенный магические квадраты с помощью моих матричных преобразований, требуется выполнение дополнительных условий в квадрате Стенли.
Я решила добавить эти условия к системе уравнений, чтобы ассоциативный квадрат Стенли получался именно удовлетворяющий этим условиям.
Эти два условия выражаются такими уравнениями:
Код:
x1-x2+x7-x5+x3-x8+x6-x4+x9-x10=0
x1-x11-x40-x41+x21+x30-x50-x31-x20+x10=-k
Условия эти я получила экспериментальным путём.
Теперь беру новую систему уравнений с двумя добавленными уравнениями и решаю её в той же самой решалке (по ссылке
12d3).
Очень интересный момент! Решалка систему решает!
Таким образом я получаю общую формулу сразу трёх квадратов:
Код:
k = K
x1 = -(-2*X(42)+2*X(22)- X(21)+ X(30)-2*X(13)-2*X(38)+ K)/2
x10 = -(-2*X(42)+2*X(22)+ X(21)- X(30)-2*X(13)-2*X(38)+ K)/2
x11 = X(21)+ X(13)- X(23)
x12= X(22)+ X(13)- X(23)
x13 = X(13)
x14 = -(2*X(22)-3 X(21)- X(30)-4*X(13)+2*X(23)+2*X(15))/2
x15 = X(15)
x16 = X(21)+ X(30)+2*X(13)-2*X(23)- X(15)
x17 = (2*X(22)- X(21)+ X(30)-2*X(23)+2*X(15))/2
x18 = X(21)+ X(30)+ X(13)-2*X(23)
x19 = - X(22)+ X(21)+ X(30)+ X(13)- X(23)
x2= -(-2*X(42)+ X(21)+ X(30)-2*X(13)-2*X(38)+ K)/2
x20 = X(30)+ X(13)- X(23)
x21 = X(21)
x22= X(22)
x23 = X(23)
x24 = -(2*X(22)-3 X(21)- X(30)-2*X(13)+2*X(15))/2
x25 = - X(13)+ X(23)+ X(15)
x26 = X(21)+ X(30)+ X(13)- X(23)- X(15)
x27 = (2*X(22)- X(21)+ X(30)-2*X(13)+2*X(15))/2
x28 = X(21)+ X(30)- X(23)
x29 = - X(22)+ X(21)+ X(30)
x3 = -(-2*X(42)+2*X(22)+ X(21)+ X(30)-2*X(13)-2*X(38)-2*X(23)+ K)/2
x30 = X(30)
x31 = - X(30)+ X(38)+ X(23)
x32= X(22)- X(21)- X(30)+ X(38)+ X(23)
x33 = - X(21)- X(30)+ X(38)+2*X(23)
x34 = -(2*X(22)- X(21)+ X(30)-2*X(13)-2*X(38)-2*X(23)+2*X(15))/2
x35 = - X(21)- X(30)- X(13)+ X(38)+2*X(23)+ X(15)
x36 = X(13)+ X(38)- X(15)
x37 = (2*X(22)-3*X(21)- X(30)-2*X(13)+2*X(38)+2*X(23)+2*X(15))/2
x38 = X(38)
x39 = - X(22)+ X(38)+ X(23)
x4 = -(-2*X(42)+4*X(22)-2*X(21)-4*X(13)-2*X(38)+2*X(15)+ K)/2
x40 = - X(21)+ X(38)+ X(23)
x41 = X(42)- X(22)+ X(21)
x42= X(42)
x43 = X(42)- X(22)+ X(23)
x44 = -(-2*X(42)+4*X(22)-3*X(21)- X(30)-2*X(13)+2*X(15))/2
x45 = X(42)- X(22)- X(13)+ X(23)+ X(15)
x46 = X(42)- X(22)+ X(21)+ X(30)+ X(13)- X(23)- X(15)
x47 = (2*X(42)- X(21)+ X(30)-2*X(13)+2*X(15))/2
x48 = X(42)- X(22)+ X(21)+ X(30)- X(23)
x49 = X(42)-2*X(22)+ X(21)+ X(30)
x5 = -(-2*X(42)+2*X(22)+ X(21)+ X(30)-2*X(38)-2*X(23)-2*X(15)+ K)/2
x50 = X(42)- X(22)+ X(30)
x6 = -(-2*X(42)+2*X(22)- X(21)- X(30)-4*X(13)-2*X(38)+2*X(23)+2*X(15)+ K)/2
x7 = -(-2*X(42)+2*X(21)-2*X(38)-2*X(15)+ K)/2
x8 = -(-2*X(42)+2*X(22)- X(21)- X(30)-2*X(13)-2*X(38)+2*X(23)+ K)/2
x9 = -(-2*X(42)+4*X(22)- X(21)- X(30)-2*X(13)-2*X(38)+ K)/2
Я нарочно оставила в решении свободные переменные. Вместе с константой ассоциативности их всего 9 из 51, при заданной константе ассоциативности свободных переменных имеем всего 8 из 50.
Итак, общая формула получена. Теперь, задав произвольные значения свободных переменных, мы должны получить такой ассоциативный квадрат Стенли 10-го порядка, который превратится и в идеальный, и в совершенный квадраты.
Пример решения покажу далее.
-- Чт фев 05, 2015 14:58:56 --Итак, задаю произвольные значения свободных переменных (совершенно произвольные - прямо с потолка):
Код:
K=1000,X(13)=103,X(15)=55,X(21)=31,X(22)=92,X(23)=213,X(30)=305,X(38)=41,X(42)=98
Получаю по общей формуле такое решение - ассоциативный квадрат Стенли 10-го порядка:
Код:
-487 -426 -305 -363 -353 -347 -337 -395 -274 -213
-79 -18 103 45 55 61 71 13 134 195
31 92 213 155 165 171 181 123 244 305
-51 10 131 73 83 89 99 41 162 223
37 98 219 161 171 177 187 129 250 311
689 750 871 813 823 829 839 781 902 963
777 838 959 901 911 917 927 869 990 1051
695 756 877 819 829 835 845 787 908 969
805 866 987 929 939 945 955 897 1018 1079
1213 1274 1395 1337 1347 1353 1363 1305 1426 1487
Есть два повторяющихся элемента в этом решении, но сейчас это неважно. Варьированием свободных переменных можно добиться, чтобы однинаковых элементов не было.
Избавляюсь от отрицательных чисел, увеличив все элементв квадрата на 500:
Код:
13 74 195 137 147 153 163 105 226 287
421 482 603 545 555 561 571 513 634 695
531 592 713 655 665 671 681 623 744 805
449 510 631 573 583 589 599 541 662 723
537 598 719 661 671 677 687 629 750 811
1189 1250 1371 1313 1323 1329 1339 1281 1402 1463
1277 1338 1459 1401 1411 1417 1427 1369 1490 1551
1195 1256 1377 1319 1329 1335 1345 1287 1408 1469
1305 1366 1487 1429 1439 1445 1455 1397 1518 1579
1713 1774 1895 1837 1847 1853 1863 1805 1926 1987
Теперь пробую превратить этот ассоциативный квадрат Стенли в идеальный квадрат с помощью своего матричного преобразования.
Вот это преобразование, превращающее ассоциативный квадрат Стенли 10-го порядка в идеальный квадрат:
Код:
A1,1 A10,9 A1,7 A10,6 A1,3 A10,3 A1,6 A10,7 A1,9 A10,1
A9,10 A2,2 A9,4 A2,5 A9,8 A2,8 A9,5 A2,4 A9,2 A2,10
A7,1 A4,9 A7,7 A4,6 A7,3 A4,3 A7,6 A4,7 A7,9 A4,1
A6,10 A5,2 A6,4 A5,5 A6,8 A5,8 A6,5 A5,4 A6,2 A5,10
A3,1 A8,9 A3,7 A8,6 A3,3 A8,3 A3,6 A8,7 A3,9 A8,1
A3,10 A8,2 A3,4 A8,5 A3,8 A8,8 A3,5 A8,4 A3,2 A8,10
A6,1 A5,9 A6,7 A5,6 A6,3 A5,3 A6,6 A5,7 A6,9 A5,1
A7,10 A4,2 A7,4 A4,5 A7,8 A4,8 A7,5 A4,4 A7,2 A4,10
A9,1 A2,9 A9,7 A2,6 A9,3 A2,3 A9,6 A2,7 A9,9 A2,1
A1,10 A10,2 A1,4 A10,5 A1,8 A10,8 A1,5 A10,4 A1,2 A10,10
Исходный ассоциативный квадрат Стенли - матрица 10х10
с естественной нумерацией элементов.
И вот полученный идеальный квадрат:
Код:
13 1926 163 1853 195 1895 153 1863 226 1713
1579 482 1429 555 1397 513 1439 545 1366 695
1277 662 1427 589 1459 631 1417 599 1490 449
1463 598 1313 671 1281 629 1323 661 1250 811
531 1408 681 1335 713 1377 671 1345 744 1195
805 1256 655 1329 623 1287 665 1319 592 1469
1189 750 1339 677 1371 719 1329 687 1402 537
1551 510 1401 583 1369 541 1411 573 1338 723
1305 634 1455 561 1487 603 1445 571 1518 421
287 1774 137 1847 105 1805 147 1837 74 1987
Теперь превращаю этот идеальный квадрат в совершенный квадрат с помощью преобразования 3-х квадрантов:
Код:
13 1926 163 1853 195 1713 226 1863 153 1895
1579 482 1429 555 1397 695 1366 545 1439 513
1277 662 1427 589 1459 449 1490 599 1417 631
1463 598 1313 671 1281 811 1250 661 1323 629
531 1408 681 1335 713 1195 744 1345 671 1377
287 1774 137 1847 105 1987 74 1837 147 1805
1305 634 1455 561 1487 421 1518 571 1445 603
1551 510 1401 583 1369 723 1338 573 1411 541
1189 750 1339 677 1371 537 1402 687 1329 719
805 1256 655 1329 623 1469 592 1319 665 1287
Всё вроде бы правильно получилось. Буду благодарна коллегам, если проверят этот результат и найдут ошибки.
Отмечу, что много подробностей о совершенных магических квадратах здесь опущено, но можно их найти в указанной теме на форуме ПЕН.
-- Чт фев 05, 2015 15:08:37 --Да, забыла сказать: теперь цель - найти идеальный и совершенный квадраты 10-го порядка из различных простых чисел. Решать задачу буду с помощью полученной общей формулы.