Thread 'New project - DB CF ODLS of order 11'

Message boards : Science : New project - DB CF ODLS of order 11
Message board moderation

To post messages, you must log in.

1 · 2 · Next

AuthorMessage
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 2706 - Posted: 27 Jul 2021, 6:02:26 UTC
Last modified: 27 Jul 2021, 6:11:53 UTC

Цитата из стартового поста темы "БД КФ ОДЛК порядка 11"
https://boinc.progger.info/odlk/forum_thread.php?id=176

Я начинаю новый проект - БД КФ ОДЛК порядка 11, о чём объявлено тут
https://boinc.progger.info/odlk/forum_thread.php?id=175

Пока это ручной проект. Может быть, он таким и останется, потому что мне трудно найти желающих запустить проект на платформе BOINC.
Я уже столкнулась с этой трудностью в работе над проектом БД КФ ОДЛК порядка 9.
Но если у вас будут предложения по запуску проекта на BOINC-платформе, я готова рассмотреть их.

Проект официально открыт 26 ноября 2020 г.
Я уже довольно много занималась этим ручным проектом.
Потом остановилась на некоторое время, потому что мои очень маленькие ресурсы были заняты в проекте "БД КФ ОДЛК 9-го порядка".
Сейчас возобновила работу данного проекта.
На форуме BOINC-проекта ОДЛК есть тема, посвящённая этому проекту, цитату из которой вы видите здесь.
Сейчас просмотрела эту тему, там довольно подробно освещены проблемы поиска БД КФ ОДЛК 11-го порядка.
Рассмотрены полученные результаты в разных аспектах.

Ещё цитаты из темы
На данный момент составленная мной БД КФ ОДЛК 11-го порядка содержит 109025 КФ ОДЛК.
Надо выложить это ядро БД; в ядре содержатся КФ ОДЛК из всех 67 линеек.

Ядро БД КФ ОДЛК 11-го порядка выложила на Яндекс.Диск
https://yadi.sk/d/4Hs9Ee6u0gAarg

Файл размером 6,25 МБ.

От этой отправной точки я продолжаю составление БД КФ ОДЛК 11-го порядка.
Сейчас ищу ОДЛК среди ассоциативных ДЛК.
Я писала в указанной теме, что Harry White сделал по моей просьбе генератор ассоциативных ДЛК 11-го порядка.
Таких ДЛК очень много, надолго хватит их проверять.
Но интересная особенность: выход ОДЛК от ассоциативнх ДЛК очень маленький.
Генерирую 100000 ассоциативных ДЛК, все они существенно различные (не изоморфные), получаю от этой порции примерно 600-700 КФ ОДЛК.

В теме отмечено, что Harry White также сделал генератор SODLS 11-го порядка.
Это готовые ОДЛК!
Таких ДЛК тоже много, но изоморфных среди них чрезвычайно много.
Я долго генерировала и проверяла SODLS, в конце концов новые КФ ОДЛК перестали появляться и я остановила поиск по этому алгоритму.
ID: 2706 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 2707 - Posted: 27 Jul 2021, 6:18:30 UTC

Цитата из сообщения
https://boinc.progger.info/odlk/forum_thread.php?id=176&postid=6934

Цитата
А это ортогональная пара ДЛК 11-го порядка - SODLS



Лепота!

А много ли имеется в природе SODLS 11-го порядка?
Белышеву с SODLS 10-го порядка крупно повезло, он нашёл в Сети все SOLS и из них выудил все SODLS.
А что - все SOLS 11-го порядка нам не приготовили? :)

И вот второе очевидное направление поиска.
У Harry White есть программа генерации SODLS 11-го порядка (и не только 11-го).
Это готовый генератор ОДЛК!
Один большой минус у этой программы - генерируется много изоморфных SODLS.
Я уже немного покрутила эту программу в том варианте, который даёт ассоциативные SODLS.
Некоторое количество уникальных SODLS найдено.

Вопрос о количестве всех SODLS и DSODLS 11-го порядка открыт.
Harry White не захотел заниматься этой проблемой, она ему не интересна.
Francis Gaspalou ничего не ответил на моё предложение исследовать этот вопрос.

Выше я уже сказала о поиске SODLS.
Ещё отмечу, что генератор Harry White генерирует только ассоциативные SODLS.
Я начинала писать программу генерации не ассоциативных SODLS 11-го порядка, но не закончила её.

В общем, проблема с SODLS 11-го порядка открытая.
Сколько уникальных SODLS 11-го порядка?
Для порядков n<=10 этот вопрос решён.
ID: 2707 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 2708 - Posted: 27 Jul 2021, 6:34:59 UTC
Last modified: 27 Jul 2021, 6:54:19 UTC

Смотрим последовательность OEIS
https://oeis.org/A329685
A329685 Number of main classes of self-orthogonal diagonal Latin squares of order n.
1, 0, 0, 1, 1, 0, 2, 8, 470, 30502

Автор последовательности господин Ватутин. Но! Ни один член этой последовательности не принадлежит ему, то есть не был найден им.
До порядка 9 включительно все уникальные SODLS нашёл Francis Gaspalou, а для порядка 10 уникальные SODLS найдены Белышевым.
При этом господин Ватутин умудрился даже количество уникальных SODLS 10-го порядка указать неправильно.
Я писала М. Алексееву просьбу отредактировать последовательность, что он и сделал, хотя написал, что корректировала я
a(10) corrected by Natalia Makarova, Apr 10 2020

Заодно Макс добавил список уникальных SODLS 10-го порядка, найденных Белышевым (очень хорошо!)
A. D. Belyshev, List of 30502 essentially distinct self-orthogonal diagonal Latin squares of order 10

После этого господину Ватутину надо вообще удалиться из этой последовательности в смысле авторства.
Но! Как я уже отмечала, в OEIS действует принцип: кто опубликовал результаты, тот и автор.
Нелепый принцип!

Как видим, для порядка 11 нет даже оценки для количества уникальных SODLS.
ID: 2708 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 2709 - Posted: 27 Jul 2021, 6:44:11 UTC

В настоящий момент БД КФ ОДЛК 11-го порядка, составленная мной (с участием Harry White) содержит 120763 КФ ОДЛК.
Проверяю свойства ОДЛК утилитой Harry White GetType1

Order? 11

Enter the name of the squares file: inp1
.. writing type information to file inp1TypeDetail_7.txt

Counts
------
    120763 diagonal Latin
     92782 associative
    120763 natural \diagonal
      7943 self-orthogonal
     92969 symmetric parity

Очень вкусные квадратики :)
ID: 2709 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 2710 - Posted: 27 Jul 2021, 6:58:38 UTC
Last modified: 27 Jul 2021, 7:02:14 UTC

Цитата
Мне помогал в исследованиях Tomáš Brada.
Смотрите тему "Diagonal Latin squares of order n>10"
https://boinc.tbrada.eu/forum_thread.php?id=3104

В частности, Tomas Brada нашёл максимальную на данный момент группу ОДЛК от одного ДЛК 11-го порядка.

Показываю этот ДЛК, он имеет 32462 ортогональных диагональных соквадратов

 0  9  4  5  7 10  8  6  2  3  1
 6  1  8  0  5  9 10  3  4  2  7
 5 10  2  7  1  8  4  0  3  6  9
 2  5  9  3  6  7  1  4 10  8  0
10  3  5  8  4  6  0  9  7  1  2
 4  0  1  2  3  5  7  8  9 10  6
 9  2  0 10  8  3  6  1  5  7  4
 1  4  6  9 10  2  3  7  0  5  8
 3  7 10  6  0  1  9  2  8  4  5
 8  6  7  4  2  0  5 10  1  9  3
 7  8  3  1  9  4  2  5  6  0 10
ID: 2710 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 2711 - Posted: 27 Jul 2021, 7:06:26 UTC

Дублирую сообщение
https://boinc.multi-pool.info/latinsquares/forum_thread.php?id=130&postid=1733

Представляю Топ-6 ДЛК 11-го порядка по Д-трансверсалям
в порядке убывания

1. 4828 Д-трансверсалей (автор Tomas Brada)
32462 ОДЛК
 0  9  4  5  7 10  8  6  2  3  1
 6  1  8  0  5  9 10  3  4  2  7
 5 10  2  7  1  8  4  0  3  6  9
 2  5  9  3  6  7  1  4 10  8  0
10  3  5  8  4  6  0  9  7  1  2
 4  0  1  2  3  5  7  8  9 10  6
 9  2  0 10  8  3  6  1  5  7  4
 1  4  6  9 10  2  3  7  0  5  8
 3  7 10  6  0  1  9  2  8  4  5
 8  6  7  4  2  0  5 10  1  9  3
 7  8  3  1  9  4  2  5  6  0 10

2. 4813 Д-трансверсалей
30198 ОДЛК
 0  2  5  7  8  9 10  3  6  4  1
 7  1  3  5  6  8  4 10  0  2  9
10  6  2  4  5  7  9  1  3  8  0
 5  9 10  3  0  6  2  4  7  1  8
 1  5  8  9  4 10  0  6  2  7  3
 4  0  1  2  3  5  8  9 10  6  7
 2  7  9  1 10  3  6  8  4  0  5
 8 10  0  6  1  2  5  7  9  3  4
 6  4  7  0  9  1  3  5  8 10  2
 3  8  4 10  7  0  1  2  5  9  6
 9  3  6  8  2  4  7  0  1  5 10

3. 4675 Д-трансверсалей
24593 ОДЛК
 0  7  3  8  5  2 10  9  6  4  1
 5  1  6  4  7  3  8 10  0  2  9
 6  5  2 10  0  4  9  1  3  8  7
 1 10  5  3  9  0  2  4  7  6  8
 8  2  9  5  4  1  0  6 10  7  3
 9  8  7  6 10  5  3  2  1  0  4
10  4  1  0  8  7  6  3  9  5  2
 3  0  4  9  6  8  1  7  2 10  5
 4  3 10  7  2  9  5  0  8  1  6
 2  6  8  1  3 10  7  5  4  9  0
 7  9  0  2  1  6  4  8  5  3 10

4. 4665 Д-трансверсалей
26914 ОДЛК
 0  3  8  9  7  2 10  5  4  6  1
 6  1  4  7  8  3  5  0 10  2  9
 7 10  2  0  6  4  1  9  3  8  5
10  6  9  3  1  0  8  4  7  5  2
 2  9 10  8  4  1  0  6  5  3  7
 4  0  1  2  3  5  7  8  9 10  6
 3  7  5  4 10  9  6  2  0  1  8
 8  5  3  6  2 10  9  7  1  4  0
 5  2  7  1  9  6  4 10  8  0  3
 1  8  0 10  5  7  2  3  6  9  4
 9  4  6  5  0  8  3  1  2  7 10

5. 4603 Д-трансверсалей
18530 ОДЛК
 0  4  9  6  3  8  7  2 10  5  1
 4  1  0  8 10  7  3  9  5  2  6
 9  0  2  1  7  6  8  5  3 10  4
 6  8  1  3  2 10  5  4  9  0  7
 3 10  7  2  4  9  0  8  1  6  5
 8  7  6 10  9  5  2  1  0  4  3
 2  9  5  4  8  1  6 10  7  3  0
10  5  3  9  1  0  4  7  6  8  2
 5  2 10  0  6  4  1  3  8  7  9
 1  6  4  7  5  3 10  0  2  9  8
 7  3  8  5  0  2  9  6  4  1 10

6. 4523 Д-трансверсалей
19139 ОДЛК
 0  7  8  5  3  6  9  2 10  4  1
 4  1  6  7  5 10  3  9  0  2  8
 5  0  2 10  6  9  8  1  3  7  4
10  5  1  3  9  8  2  4  6  0  7
 8  9  5  2  4  7  0 10  1  6  3
 1  2  3  4  0  5 10  6  7  8  9
 7  4  9  0 10  3  6  8  5  1  2
 3 10  4  6  8  2  1  7  9  5  0
 6  3  7  9  2  1  4  0  8 10  5
 2  8 10  1  7  0  5  3  4  9  6
 9  6  0  8  1  4  7  5  2  3 10

Все эти ДЛК полностью проверены на ОДЛК; количество ОДЛК указано для каждого ДЛК.
ID: 2711 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 2712 - Posted: 27 Jul 2021, 8:12:47 UTC
Last modified: 29 Jul 2021, 8:19:04 UTC

Сделала с помощью своей утилиты статистику по линейкам в текущей БД КФ ОДЛК 11-го порядка

There are 11 squares in the rule 1 
There are 365 squares in the rule 2 
There are 36 squares in the rule 3 
There are 811 squares in the rule 4 
There are 203 squares in the rule 5 
There are 239 squares in the rule 6 
There are 570 squares in the rule 7 
There are 200 squares in the rule 8 
There are 205 squares in the rule 9 
There are 430 squares in the rule 10 
There are 213 squares in the rule 11 
There are 229 squares in the rule 12 
There are 207 squares in the rule 13 
There are 209 squares in the rule 14 
There are 435 squares in the rule 15 
There are 27004 squares in the rule 16 
There are 496 squares in the rule 17 
There are 460 squares in the rule 18 
There are 212 squares in the rule 19 
There are 422 squares in the rule 20 
There are 413 squares in the rule 21 
There are 422 squares in the rule 22 
There are 907 squares in the rule 23 
There are 926 squares in the rule 24 
There are 830 squares in the rule 25 
There are 183 squares in the rule 26 
There are 402 squares in the rule 27 
There are 854 squares in the rule 28 
There are 383 squares in the rule 29 
There are 218 squares in the rule 30 
There are 891 squares in the rule 31 
There are 884 squares in the rule 32 
There are 461 squares in the rule 33 
There are 214 squares in the rule 34 
There are 450 squares in the rule 35 
There are 462 squares in the rule 36 
There are 424 squares in the rule 37 
There are 442 squares in the rule 38 
There are 424 squares in the rule 39 
There are 240 squares in the rule 40 
There are 228 squares in the rule 41 
There are 202 squares in the rule 42 
There are 221 squares in the rule 43 
There are 17 squares in the rule 44 
There are 48 squares in the rule 45 
There are 13587 squares in the rule 46 
There are 505 squares in the rule 47 
There are 228 squares in the rule 48 
There are 939 squares in the rule 49 
There are 546 squares in the rule 50 
There are 262 squares in the rule 51 
There are 458 squares in the rule 52 
There are 458 squares in the rule 53 
There are 412 squares in the rule 54 
There are 456 squares in the rule 55 
There are 975 squares in the rule 56 
There are 482 squares in the rule 57 
There are 472 squares in the rule 58 
There are 246 squares in the rule 59 
There are 1152 squares in the rule 60 
There are 53219 squares in the rule 61 
There are 242 squares in the rule 62 
There are 231 squares in the rule 63 
There are 472 squares in the rule 64 
There are 465 squares in the rule 65 
There are 403 squares in the rule 66 
There are 450 squares in the rule 67 

Линейки
â„–16 1 0 3 4 2 5 8 6 7 10 9
â„–46 1 2 0 4 7 5 3 6 10 8 9
â„–61 1 2 3 4 0 5 10 6 7 8 9

содержат ассоциативные СН ДЛК.
Понятно, что в этих линейках много КФ ОДЛК.

Как уже отмечалось ранее, текущая БД КФ ОДЛК 11-го порядка содержит полное ядро БД, то есть имеет представителей из всех 67 линеек.
Это хорошо.
Дальше дело техники.
Стратегия может быть точно такая же, как в проекте "БД КФ ОДЛК 9-го порядка", - поиск по линейкам.
Разница только в том, что линеек здесь не 20, а 67, ну и конечно, СН ДЛК в линейках будет во много раз больше.
Какова плотность КФ СН ДЛК в линейках, пока неизвестно.
В линейках для порядка 9 мы наблюдаем разную плотность КФ СН ДЛК: где густо, а где пусто. Встречаются многомиллионные области СН ДЛК, в которых нет ни одной КФ СН ДЛК.
ID: 2712 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 2713 - Posted: 27 Jul 2021, 8:57:40 UTC
Last modified: 27 Jul 2021, 8:58:07 UTC

Выудила из текущей БД КФ ОДЛК 11-го порядка 7943 SODLS.
Проверяю их утилитой Harry White GetType1

Order? 11

Enter the name of the squares file: inp1
.. writing type information to file inp1TypeDetail_8.txt

Counts
------
      7943 diagonal Latin
      7936 associative
      7943 natural \diagonal
      7943 self-orthogonal
      7936 symmetric parity

Из 7943 SODLS 7936 ассоциативные, значит, они являются также и DSODLS.
Таким образом, я нашла оценку для количества DSODLS 11-го порядка.
Сейчас найду соответствующую последовательность OEIS. Может быть, там уже есть оценка для количества DSODLS 11-го порядка.
ID: 2713 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 2714 - Posted: 27 Jul 2021, 9:09:02 UTC
Last modified: 27 Jul 2021, 11:24:22 UTC

Последовательность OEIS https://oeis.org/A333366
1, 0, 0, 1, 1, 0, 2, 8, 88, 0

Автор догадались кто? Конечно, господин Ватутин.
И... все члены последовательности до порядка 9 включительно нашёл Francis Gaspalou.
Читаем на сайте Harry White
http://budshaw.ca/addenda/SODLSnotes.html
For order 9, some SODLS are doubly self-orthogonal and some are not. Of the 224,832 nfr, natural order first row, 28,608 are doubly SODLS and 196,224 are singly SODLS. These numbers are confirmed by Francis Gaspalou, (June, 2016).

Чуть позже Francis Gaspalou нашёл существенно различные SODLS и DSODLS для всех порядков до 9 включительно.
Я писала об этом в своей статье "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
а также писала на форуме.
Цитата из моей статьи

Опубликую письмо француза Francis Gaspalou от 5 декабря 2017 г.

«Self Orthogonal Diagonal Latin Squares of order 9
Когда: 05 декабря 2017 в 16:10

Dear friends,

I have already announced the number of 470 essentially different SODLS of order 9 (cf email hereafter).
Today I inform you that the Russian Alex Belyshev found recently the same number.
This number of 470, found by two different programs, can then be considered as established.

I remind that the 224,832 SODLS of order 9 are coming from a limited number of “essentially different SODLS” when applying the group of the 1,536 geometric transformations and the group of the 9! permutations.
For the low orders, we have

Order Nb of SODLS Nb of ess. diff. SODLS

4 2 1
5 4 1
6 0 0
7 64 2
8 1,152 8
9 224,832 470

You will find in attachment a list of these 470 SODLS.
I can give also a list of the 382 singly and a list of the 88 doubly to anyone who is interested (these lists were found also in June 2016)

Best regards
Francis

BTW: Alex confirmed also the number of 8 ess. diff. SODLS of order 8 I found in October 2010»

И далее:
You will find in attachment a list of these 470 SODLS.
I can give also a list of the 382 singly and a list of the 88 doubly to anyone who is interested (these lists were found also in June 2016)

Всё это подтверждает неоспоримое авторство всех результатов по SODLS и DSODLS до порядка 9 включительно. И авторство это принадлежит Francis Gaspalou.
Однако в статье OEIS Francis Gaspalou вообще не упоминается, и автор всех результатов теперь господин Ватутин.
Неправильно это! Автор тот, кто результаты нашёл, а не тот, кто ввёл их в OEIS.

Математики доказали, что для порядка 10 DSODLS не существуют, то есть
a(10) = 0.

Оценку для количества DSODLS порядка 11 я не вижу.
Могу предложить найденную мной оценку
a(11) >= 7936.
Все найденные мной DSODLS являются КФ, следовательно, представляют главные классы.

Пример КФ DSODLS 11-го порядка

 0  2  3  4  5  6  7  8  9 10  1
 5  1  0 10  6  7  8  3  4  2  9
10  6  2  0  7  8  9  1  3  5  4
 2  7  8  3  9  0 10  4  5  1  6
 3 10  9  8  4  1  0  5  6  7  2
 7  4 10  1  8  5  2  9  0  6  3
 8  3  4  5 10  9  6  2  1  0  7
 4  9  5  6  0 10  1  7  2  3  8
 6  5  7  9  1  2  3 10  8  4  0
 1  8  6  7  2  3  4  0 10  9  5
 9  0  1  2  3  4  5  6  7  8 10

транспонированный вариант
 0  5 10  2  3  7  8  4  6  1  9
 2  1  6  7 10  4  3  9  5  8  0
 3  0  2  8  9 10  4  5  7  6  1
 4 10  0  3  8  1  5  6  9  7  2
 5  6  7  9  4  8 10  0  1  2  3
 6  7  8  0  1  5  9 10  2  3  4
 7  8  9 10  0  2  6  1  3  4  5
 8  3  1  4  5  9  2  7 10  0  6
 9  4  3  5  6  0  1  2  8 10  7
10  2  5  1  7  6  0  3  4  9  8
 1  9  4  6  2  3  7  8  0  5 10

антитранспонированный вариант
10  5  0  8  7  3  2  6  4  9  1
 8  9  4  3  0  6  7  1  5  2 10
 7 10  8  2  1  0  6  5  3  4  9
 6  0 10  7  2  9  5  4  1  3  8
 5  4  3  1  6  2  0 10  9  8  7
 4  3  2 10  9  5  1  0  8  7  6
 3  2  1  0 10  8  4  9  7  6  5
 2  7  9  6  5  1  8  3  0 10  4
 1  6  7  5  4 10  9  8  2  0  3
 0  8  5  9  3  4 10  7  6  1  2
 9  1  6  4  8  7  3  2 10  5  0

Проверка программой GetOrthogonal

Order? 11

Enter the name of the squares file: a
Choose 1 - get counts and maximum pairs, or 2 - get pairs for one square: 1
..output file a-orthCounts.txt
..output file a-orthNos.txt
squares 3 total orthogonal pairs 2
Maximum pairs for square 1: 2
This is the only square with this maximum number of pairs.
..output file a-1orths.txt
Pairs for square 1: 2

Таблица ортогональных пар
1: [2,3],
2: [1],
3: [1]

Всё верно.

Замечание: оценку я предлагаю не для ввода в OEIS.
Теперь я не ввожу свои результаты в OEIS.
Но это не значит, что их может вводить господин Ватутин.
Он может так и понять, что надо ему ввести предложенный мной результат.
Не надо!
Мои результаты не нужны в OEIS, и поэтому вводить их туда не надо никому, господину Ватутину в том числе.
Он, конечно, через пару недель "перенайдёт" этот результат и введёт его со своим авторством.
Меня это ничуть не волнует.
ID: 2714 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 2720 - Posted: 28 Jul 2021, 6:25:33 UTC
Last modified: 28 Jul 2021, 6:26:29 UTC

Господа!
Напоминаю: вы можете присоединиться к этому ручному проекту в любой момент.
Напишите мне.

Кроме того, вы можете организовать BOINC-проект для данного эксперимента.
У меня есть много других интересных экспериментов для БД КФ ОДЛК порядков n>10.
Поэтому новый BOINC-проект может содержать несколько Приложений.
ID: 2720 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 2722 - Posted: 29 Jul 2021, 8:09:16 UTC

Проверка 7936 КФ DSODLS 11-го порядка утилитой Harry White GetType1

Order? 11

Enter the name of the squares file: inp1
.. writing type information to file inp1TypeDetail_10.txt

Counts
------
      7936 diagonal Latin
      7936 associative
      7936 natural \diagonal
      7936 self-orthogonal
      7936 symmetric parity

Очень симпатичные квадратики!
Не знаю, будут ли ещё такие.
Пока выложила эту порцию на Яндекс.Диск
https://disk.yandex.ru/d/zf-1jSFOk5pyHA
текстовый файл сжат, 524 КБ.

Покажу первые десять КФ DSODLS из этой порции

 0  2  3  4  5  6  7  8  9 10  1
 5  1  0 10  6  7  8  3  4  2  9
10  6  2  0  7  8  9  1  3  5  4
 2  7  8  3  9  0 10  4  5  1  6
 3 10  9  8  4  1  0  5  6  7  2
 7  4 10  1  8  5  2  9  0  6  3
 8  3  4  5 10  9  6  2  1  0  7
 4  9  5  6  0 10  1  7  2  3  8
 6  5  7  9  1  2  3 10  8  4  0
 1  8  6  7  2  3  4  0 10  9  5
 9  0  1  2  3  4  5  6  7  8 10

 0  2  3  4  5  6  7  8  9 10  1
 5  1  4  9  7  3  8  2 10  0  6
 8  5  2  1  6  9 10  0  3  7  4
 2  7  6  3 10  8  9  4  5  1  0
 3  8 10  7  4  0  2  5  1  6  9
 7  6  8  0  9  5  1 10  2  4  3
 1  4  9  5  8 10  6  3  0  2  7
10  9  5  6  1  2  0  7  4  3  8
 6  3  7 10  0  1  4  9  8  5  2
 4 10  0  8  2  7  3  1  6  9  5
 9  0  1  2  3  4  5  6  7  8 10

 0  2  3  4  5  6  8  9 10  7  1
 5  1  6  8 10  7  9  3  2  0  4
10  5  2  9  7  1  4  0  3  6  8
 8  9  5  3  0  2  7  4  1 10  6
 7  6  1  5  4 10  2  8  0  3  9
 3  8  4  0  9  5  1 10  6  2  7
 1  7 10  2  8  0  6  5  9  4  3
 4  0  9  6  3  8 10  7  5  1  2
 2  4  7 10  6  9  3  1  8  5  0
 6 10  8  7  1  3  0  2  4  9  5
 9  3  0  1  2  4  5  6  7  8 10

 0  2  3  4  5  6  8  9 10  7  1
 6  1 10  7  3  8  9  5  4  2  0
 1  9  2 10  7  0  4  8  3  5  6
 7  6  8  3  0  9  2  4  1 10  5
 2 10  5  8  4  3  0  1  9  6  7
 8  7  4  0  9  5  1 10  6  3  2
 3  4  1  9 10  7  6  2  5  0  8
 5  0  9  6  8  1 10  7  2  4  3
 4  5  7  2  6 10  3  0  8  1  9
10  8  6  5  1  2  7  3  0  9  4
 9  3  0  1  2  4  5  6  7  8 10

 0  2  3  4  5  6  8 10  9  7  1
 6  1  4  7  9 10  3  0  5  2  8
 4 10  2  1  8  7  9  5  3  6  0
 7  0  8  3  6  9 10  4  1  5  2
 3  7  6  9  4  2  0  8 10  1  5
 1  6 10  8  3  5  7  2  0  4  9
 5  9  0  2 10  8  6  1  4  3  7
 8  5  9  6  0  1  4  7  2 10  3
10  4  7  5  1  3  2  9  8  0  6
 2  8  5 10  7  0  1  3  6  9  4
 9  3  1  0  2  4  5  6  7  8 10

 0  2  3  4  5  6  8 10  9  7  1
 7  1  0  5 10  8  9  3  6  2  4
 5  4  2  8  6  3 10  9  0  1  7
10  6  7  3  8  9  1  4  5  0  2
 2  5  8  9  4 10  7  0  1  3  6
 1  0  6  2  7  5  3  8  4 10  9
 4  7  9 10  3  0  6  1  2  5  8
 8 10  5  6  9  1  2  7  3  4  0
 3  9 10  1  0  7  4  2  8  6  5
 6  8  4  7  1  2  0  5 10  9  3
 9  3  1  0  2  4  5  6  7  8 10

 0  2  3  4  5  6  9  8 10  7  1
 6  1  8 10  9  3  7  2  4  0  5
 4  7  2  5  6 10  0  9  3  1  8
 7  5  1  3  2  8 10  4  0  6  9
 8  6  5  0  4  9  2  3  1 10  7
10  8  4  9  7  5  3  1  6  2  0
 3  0  9  7  8  1  6 10  5  4  2
 1  4 10  6  0  2  8  7  9  5  3
 2  9  7  1 10  0  4  5  8  3  6
 5 10  6  8  3  7  1  0  2  9  4
 9  3  0  2  1  4  5  6  7  8 10

 0  2  3  4  5  6 10  8  9  7  1
 6  1  8  0  7 10  4  3  5  2  9
 4 10  2  5  9  7  8  1  0  6  3
 2  6  9  3  1  8  0  4 10  5  7
 8  0  6 10  4  9  7  2  3  1  5
10  7  4  1  8  5  2  9  6  3  0
 5  9  7  8  3  1  6  0  4 10  2
 3  5  0  6 10  2  9  7  1  4  8
 7  4 10  9  2  3  1  5  8  0  6
 1  8  5  7  6  0  3 10  2  9  4
 9  3  1  2  0  4  5  6  7  8 10

 0  2  3  4  5  6 10  8  9  7  1
 7  1  4  5  6  3  8  9 10  0  2
 5  7  2  8 10  0  9  1  3  4  6
10  0  6  3  7  8  1  4  5  2  9
 6  9  8 10  4  1  2  3  0  5  7
 2  4  9  0  3  5  7 10  1  6  8
 3  5 10  7  8  9  6  0  2  1  4
 1  8  5  6  9  2  3  7  4 10  0
 4  6  7  9  1 10  0  2  8  3  5
 8 10  0  1  2  7  4  5  6  9  3
 9  3  1  2  0  4  5  6  7  8 10

 0  2  3  4  5  7  8  9  6 10  1
 6  1 10  5  9  0  7  8  4  2  3
 4  9  2  7  8  6 10  1  3  5  0
 1 10  0  3  6  2  9  4  5  7  8
 3  7  9  8  4  1  0 10  2  6  5
 8  6  1 10  7  5  3  0  9  4  2
 5  4  8  0 10  9  6  2  1  3  7
 2  3  5  6  1  8  4  7 10  0  9
10  5  7  9  0  4  2  3  8  1  6
 7  8  6  2  3 10  1  5  0  9  4
 9  0  4  1  2  3  5  6  7  8 10
ID: 2722 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 2723 - Posted: 29 Jul 2021, 8:15:36 UTC
Last modified: 29 Jul 2021, 8:26:01 UTC

Продолжаю проверку ассоциативных ДЛК 11-го порядка на ОДЛК.
Генератор Harry White работает быстро, генерирую по 100000 ДЛК.
Все они оказываются не изоморфными, что очень хорошо.
Далее работает программа Белышева ortogon_u.
Эта программа тоже довольно быстро справляется с проверкой такой порции ДЛК.
Как уже отмечала выше, выход не "пустышек" от порции из 100000 ассоциативных ДЛК очень скромный: 600-800 ОДЛК.

Написала небольшой скрипт для некоторой автоматизации процесса.
Всё работает прекрасно.
БД КФ ОДЛК 11-го порядка растёт, хотя и не так быстро, как, например, БД КФ ОДЛК 12-го порядка.
Такого феерического эффекта, как для ОДЛК порядка 12, не наблюдается.
ID: 2723 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 2724 - Posted: 29 Jul 2021, 8:51:17 UTC
Last modified: 29 Jul 2021, 10:08:01 UTC

Интересно отметить, что две КФ DSODLS 11-го порядка давно известны: они входят в полную систему MOLS данного порядка.
Вот они

 0  3  8  9  7  2 10  5  4  6  1
 6  1  4  7  8  3  5  0 10  2  9
 7 10  2  0  6  4  1  9  3  8  5
10  6  9  3  1  0  8  4  7  5  2
 2  9 10  8  4  1  0  6  5  3  7
 4  0  1  2  3  5  7  8  9 10  6
 3  7  5  4 10  9  6  2  0  1  8
 8  5  3  6  2 10  9  7  1  4  0
 5  2  7  1  9  6  4 10  8  0  3
 1  8  0 10  5  7  2  3  6  9  4
 9  4  6  5  0  8  3  1  2  7 10

 0  7  8  5  3  6  9  2 10  4  1
 4  1  6  7  5 10  3  9  0  2  8
 5  0  2 10  6  9  8  1  3  7  4
10  5  1  3  9  8  2  4  6  0  7
 8  9  5  2  4  7  0 10  1  6  3
 1  2  3  4  0  5 10  6  7  8  9
 7  4  9  0 10  3  6  8  5  1  2
 3 10  4  6  8  2  1  7  9  5  0
 6  3  7  9  2  1  4  0  8 10  5
 2  8 10  1  7  0  5  3  4  9  6
 9  6  0  8  1  4  7  5  2  3 10

В этих КФ исчезла пандиагональность, в исходных ДЛК (от которых эти КФ получены) она есть.
Покажу исходные ДЛК (в формате СН ДЛК) из полной системы MOLS

 0  4  8  1  5  9  2  6 10  3  7
 8  1  5  9  2  6 10  3  7  0  4
 5  9  2  6 10  3  7  0  4  8  1
 2  6 10  3  7  0  4  8  1  5  9
10  3  7  0  4  8  1  5  9  2  6
 7  0  4  8  1  5  9  2  6 10  3
 4  8  1  5  9  2  6 10  3  7  0
 1  5  9  2  6 10  3  7  0  4  8
 9  2  6 10  3  7  0  4  8  1  5
 6 10  3  7  0  4  8  1  5  9  2
 3  7  0  4  8  1  5  9  2  6 10

 0  3  6  9  1  4  7 10  2  5  8
 9  1  4  7 10  2  5  8  0  3  6
 7 10  2  5  8  0  3  6  9  1  4
 5  8  0  3  6  9  1  4  7 10  2
 3  6  9  1  4  7 10  2  5  8  0
 1  4  7 10  2  5  8  0  3  6  9
10  2  5  8  0  3  6  9  1  4  7
 8  0  3  6  9  1  4  7 10  2  5
 6  9  1  4  7 10  2  5  8  0  3
 4  7 10  2  5  8  0  3  6  9  1
 2  5  8  0  3  6  9  1  4  7 10

и их свойства

Order? 11

Enter the name of the squares file: inp1
.. writing type information to file inp1TypeDetail_1.txt

Counts
------
         2 diagonal Latin
         2 associative
         2 pandiagonal
         2 cyclic 4-way
         2 ultramagic
         2 natural \diagonal
         1 orthogonal pair
         2 self-orthogonal
         2 symmetric parity

Прекрасный букет свойств!
Ну, и ещё замечу, что эти два замечательных квадратика входят в топовые по Д-трансверсалям, а также по ОДЛК
num_dtrans: 4523
num_dtrans: 4665
ID: 2724 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 2748 - Posted: 2 Aug 2021, 5:24:03 UTC
Last modified: 2 Aug 2021, 5:32:08 UTC

Составление БД КФ ОДЛК 11-го порядка продолжается!
Малыми силами, всего один поток (одно ядро), но черепашка очень старается.
Уже почти удвоили БД, начали с 109025 КФ ОДЛК, а в данный момент имеем 218037 КФ ОДЛК.

Программа Harry White замечательно генерирует ассоциативные ДЛК, программа Белышева ortogon_u замечательно их обсчитывает на ОДЛК, программа Harry White канонизирует найденные ОДЛК.
Всё ПО работает прекрасно.
Мы с черепашкой продолжаем!

Проверка свойств найденных КФ ОДЛК 11-го порядка утилитой Harry White GetType1

Order? 11

Enter the name of the squares file: inp
.. writing type information to file inpTypeDetail_3.txt

Counts
------
    218037 diagonal Latin
    189760 associative
    218037 natural \diagonal
      7943 self-orthogonal
    190137 symmetric parity

Чудесные квадратики!
Тут есть свойство symmetric parity, не знаю, что оно означает. Квадратов с этим свойством много (190137).

Это самая первая КФ ОДЛК в БД

 0  2  3  4  5  6  7  8  9 10  1
 2  1  6  5  7  8  4  3 10  0  9
 5  6  2  0 10  9  8  1  3  7  4
 8  9  5  3  1  7 10  4  2  6  0
 7  5 10  8  4  0  2  9  1  3  6
 3  8  4 10  9  5  1  0  6  2  7
 4  7  9  1  8 10  6  2  0  5  3
10  4  8  6  0  3  9  7  5  1  2
 6  3  7  9  2  1  0 10  8  4  5
 1 10  0  7  6  2  3  5  4  9  8
 9  0  1  2  3  4  5  6  7  8 10

ДЛК обладает следующими свойствами
diagonal Latin, associative, natural \diagonal, symmetric parity

А эта КФ ОДЛК

 0  2  3  4  5  6  7  8  9 10  1
 5  1  0 10  6  7  8  3  4  2  9
10  6  2  0  7  8  9  1  3  5  4
 2  7  8  3  9  0 10  4  5  1  6
 3 10  9  8  4  1  0  5  6  7  2
 7  4 10  1  8  5  2  9  0  6  3
 8  3  4  5 10  9  6  2  1  0  7
 4  9  5  6  0 10  1  7  2  3  8
 6  5  7  9  1  2  3 10  8  4  0
 1  8  6  7  2  3  4  0 10  9  5
 9  0  1  2  3  4  5  6  7  8 10

обладает следующими свойствами
diagonal Latin, associative, natural \diagonal, self-orthogonal, symmetric parity

Добавлю, что этот ДЛК является также DSODLS.
ID: 2748 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 2766 - Posted: 6 Aug 2021, 0:50:51 UTC
Last modified: 6 Aug 2021, 0:54:29 UTC

БД КФ ОДЛК 11-го порядка почти утроена!
На данный момент БД содержит 320295 КФ ОДЛК.
Спектр ОДЛК БД пока не изменяется, в основном идут однушки - пятёрки, изредка попадаются восьмёрки.
Например, в последней порции есть восьмёрка

[DLK(8):876]
4 0 1 2 5 6 7 3 8 9 A
7 8 9 A 1 4 3 6 2 0 5
3 5 0 4 7 8 6 A 9 1 2
2 1 3 9 6 7 8 4 A 5 0
0 3 6 8 A 5 2 9 1 7 4
9 2 A 6 4 3 1 0 5 8 7
1 9 4 7 8 A 5 2 0 3 6
6 A 5 1 2 9 0 7 3 4 8
8 4 7 5 0 2 9 1 6 A 3
A 6 8 0 3 1 4 5 7 2 9
5 7 2 3 9 0 A 8 4 6 1

Покажу первые пять и последние пять КФ ОДЛК текущей БД

 0  2  3  4  5  6  7  8  9 10  1
 2  1  4  5  6  8  3  9 10  0  7
 8  6  2  7  9  0 10  1  3  5  4
 5  8 10  3  1  9  0  4  2  7  6
 7  9  5  8  4  3  2 10  1  6  0
 1  7  6 10  2  5  8  0  4  3  9
10  4  9  0  8  7  6  2  5  1  3
 4  3  8  6 10  1  9  7  0  2  5
 6  5  7  9  0 10  1  3  8  4  2
 3 10  0  1  7  2  4  5  6  9  8
 9  0  1  2  3  4  5  6  7  8 10

 0  2  3  4  5  6  7  8  9 10  1
 2  1  6  5  7  8  4  3 10  0  9
 5  6  2  0 10  9  8  1  3  7  4
 8  9  5  3  1  7 10  4  2  6  0
 7  5 10  8  4  0  2  9  1  3  6
 3  8  4 10  9  5  1  0  6  2  7
 4  7  9  1  8 10  6  2  0  5  3
10  4  8  6  0  3  9  7  5  1  2
 6  3  7  9  2  1  0 10  8  4  5
 1 10  0  7  6  2  3  5  4  9  8
 9  0  1  2  3  4  5  6  7  8 10

 0  2  3  4  5  6  7  8  9 10  1
 2  1  6  5  7  8  4  9 10  0  3
 5  7  2  8  9  0 10  1  3  4  6
 6  8 10  3  2  7  0  4  1  5  9
 8  3  5  7  4  9  2 10  6  1  0
 3  4  8 10  1  5  9  0  2  6  7
10  9  4  0  8  1  6  3  5  7  2
 1  5  9  6 10  3  8  7  0  2  4
 4  6  7  9  0 10  1  2  8  3  5
 7 10  0  1  6  2  3  5  4  9  8
 9  0  1  2  3  4  5  6  7  8 10

 0  2  3  4  5  6  7  8  9 10  1
 2  1 10  5  9  7  8  3  6  0  4
10  5  2  8  1  9  4  0  3  7  6
 8  9  0  3  7  2 10  4  1  6  5
 7  6  8  0  4 10  2  1  5  3  9
 3  8  6  1 10  5  0  9  4  2  7
 1  7  5  9  8  0  6 10  2  4  3
 5  4  9  6  0  8  3  7 10  1  2
 4  3  7 10  6  1  9  2  8  5  0
 6 10  4  7  2  3  1  5  0  9  8
 9  0  1  2  3  4  5  6  7  8 10

 0  2  3  4  5  6  7  8  9 10  1
 3  1  0  8  7 10  4  5  6  2  9
 6 10  2  7  0  9  8  1  3  4  5
10  9  5  3  8  7  1  4  0  6  2
 7  5  8 10  4  2  0  9  1  3  6
 2  3  6  0  1  5  9 10  4  7  8
 4  7  9  1 10  8  6  0  2  5  3
 8  4 10  6  9  3  2  7  5  1  0
 5  6  7  9  2  1 10  3  8  0  4
 1  8  4  5  6  0  3  2 10  9  7
 9  0  1  2  3  4  5  6  7  8 10

. . . . . . . 

 0 10  9  8  7  4  3  6  5  2  1
 9  1  5 10  3  7  2  8  6  0  4
 8  7  2  0  6 10  4  9  3  1  5
 7  9  6  3  5  2  1  4  0 10  8
 5  0  1  6  4  9  7  3 10  8  2
 6  2  3  1  9  5  8 10  7  4  0
10  4  7  5  8  1  6  0  2  3  9
 4  3  0  9  2  8 10  7  1  5  6
 1  5 10  4  0  6  9  2  8  7  3
 3  6  8  2 10  0  5  1  4  9  7
 2  8  4  7  1  3  0  5  9  6 10

 0 10  9  8  7  6  2  3  5  4  1
10  1  8  6  5  7  0  9  3  2  4
 1  8  2  7  3  4  9  5  0 10  6
 7  5  1  3  2  8 10  4  6  0  9
 6  3  0 10  4  9  7  8  1  5  2
 9  7  3  1  6  5  4  2 10  8  0
 2  0  4  5  8  1  6 10  9  3  7
 8  2  6  9  0 10  5  7  4  1  3
 4  9 10  2  1  0  3  6  8  7  5
 5  6  7  4 10  3  1  0  2  9  8
 3  4  5  0  9  2  8  1  7  6 10

 0 10  9  8  7  6  4  2  5  3  1
 4  1  3  2  6  7  5 10  9  0  8
 9  5  2  7  1  8 10  6  3  4  0
 5  9  7  3  0  2  8  4  1 10  6
 1  6  5  0  4 10  7  3  2  8  9
10  3  0  1  9  5  2  8  7  6  4
 3  0  8 10  2  9  6  5  4  1  7
 8  2  1  9 10  4  0  7  6  5  3
 2  4 10  6  3  0  1  9  8  7  5
 7  8  6  4  5  1  3  0 10  9  2
 6  7  4  5  8  3  9  1  0  2 10

 0 10  9  8  7  6  4  2  5  3  1
 9  1  3  4  2 10  5  6  7  0  8
 7  4  2  9 10  0  1  5  3  8  6
10  6  5  3  1  8  0  4  2  7  9
 2  8  0  6  4  1  7  9 10  5  3
 4  3  7  2  6  5  8  1  9 10  0
 3  7 10  5  9  2  6  8  0  1  4
 5  0  1 10  8  3  9  7  6  4  2
 1  9  6  0  5  4  3 10  8  2  7
 6  2  8  1  3  7 10  0  4  9  5
 8  5  4  7  0  9  2  3  1  6 10

 0 10  9  8  7  6  4  5  2  3  1
 4  1  8 10  6  3  5  9  7  0  2
 9  8  2  6 10  4  0  1  3  7  5
 8  5  0  3  9  2  1  4  6 10  7
 3  0  1  5  4 10  7  2  9  8  6
 7  9  6  2  1  5  8  3 10  4  0
 1  4  7  0  8  9  6 10  5  2  3
10  2  5  9  0  1  3  7  4  6  8
 6  3 10  4  5  7  2  0  8  1  9
 5  6  3  7  2  0 10  8  1  9  4
 2  7  4  1  3  8  9  6  0  5 10

И проверка свойств КФ ОДЛК утилитой Harry White GetType1

Order? 11

Enter the name of the squares file: inp
.. writing type information to file inpTypeDetail_3.txt

Counts
------
    320295 diagonal Latin
    291700 associative
    320295 natural \diagonal
      7943 self-orthogonal
    292292 symmetric parity

Чудесные квадратики!

Мы с черепашкой продолжаем составление БД КФ ОДЛК 11-го порядка.
Один поток ежедневно стабильно работает над этой задачей.
Конечно, нам нужна поддержка.
Мы надеемся, что она когда-нибудь придёт.
ID: 2766 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 2776 - Posted: 8 Aug 2021, 2:18:43 UTC
Last modified: 8 Aug 2021, 2:19:14 UTC

Новая порция КФ ОДЛК добавлена в БД 11-го порядка.
На данный момент наша БД КФ ОДЛК 11-го порядка содержит 379965 КФ ОДЛК.
В последней порции есть десяточка

[DLK(10):883]
4 1 5 9 3 0 6 7 8 2 A
8 0 7 1 A 3 2 6 9 5 4
2 8 6 5 4 7 1 3 0 A 9
1 3 0 A 9 2 8 4 5 6 7
5 6 4 0 2 9 7 8 A 3 1
7 A 3 2 1 8 0 5 4 9 6
0 4 9 8 6 A 5 1 3 7 2
6 7 2 3 8 5 A 9 1 4 0
A 9 1 4 0 6 3 2 7 8 5
3 2 A 7 5 4 9 0 6 1 8
9 5 8 6 7 1 4 A 2 0 3

Как уже сообщалось, в основном находятся однушки - пятёрки. Редко появляются восьмёрки и десятки.
В спектр по ОДЛК пока не добавилось ни одно новое значение.

Мы с черепашкой продолжаем составление БД КФ ОДЛК 11-го порядка.
Присоединяйтесь к нам, пожалуйста.
Мы ищем новое, никому пока не известное! Это интересно.
ID: 2776 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 2777 - Posted: 8 Aug 2021, 4:26:14 UTC
Last modified: 8 Aug 2021, 5:00:37 UTC

Запустила проверку всех КФ ОДЛК 11-го порядка, имеющихся в нашей БД, на Д-трансверсали.
Скоро досчитается, покажу результаты.
Вдруг новый рекордсмен по Д-трансверсалям появился.

Пока у нас первый топовый ДЛК 11-го порядка по Д-трансверсалям этот

4828 Д-трансверсалей (автор Tomas Brada)
32462 ОДЛК
 0  9  4  5  7 10  8  6  2  3  1
 6  1  8  0  5  9 10  3  4  2  7
 5 10  2  7  1  8  4  0  3  6  9
 2  5  9  3  6  7  1  4 10  8  0
10  3  5  8  4  6  0  9  7  1  2
 4  0  1  2  3  5  7  8  9 10  6
 9  2  0 10  8  3  6  1  5  7  4
 1  4  6  9 10  2  3  7  0  5  8
 3  7 10  6  0  1  9  2  8  4  5
 8  6  7  4  2  0  5 10  1  9  3
 7  8  3  1  9  4  2  5  6  0 10

Программа закончила работу

. . . . 
361472
362496
363520
364544
365568
366592
367616
368640
369664
370688
371712
372736
373760
374784
375808
376832
377856
378880
379904
.. writing counts to file 11Transversals.txt
square 377951 max transversals 4828

elapsed time 2:25:40

Увы, нового рекордсмена пока не найдено.
ID: 2777 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 2803 - Posted: 13 Aug 2021, 11:36:16 UTC

Наша БД КФ ОДЛК 11-го порядка превысила полмиллиона!
На данный момент БД содержит 503145 уникальных КФ ОДЛК.
Проверка свойств КФ ОДЛК

Order? 11

Enter the name of the squares file: a
.. writing type information to file aTypeDetail.txt

Counts
------
    503145 diagonal Latin
    473975 associative
    503145 natural \diagonal
      7943 self-orthogonal
      7940 doubly self-orthogonal
    474920 symmetric parity


В последней добавленной порции есть две девятки и две восьмёрки, остальные однушки - пятёрки.
Четвёрок очень много

[DLK(9):929]
[DLK(9):1076]
[DLK(8):1164]
[DLK(8):1196]
[DLK(5):191]
[DLK(4):103]
[DLK(4):314]
[DLK(4):322]
[DLK(4):362]
[DLK(4):106]
[DLK(4):110]
[DLK(4):114]
[DLK(4):118]
[DLK(4):211]
[DLK(4):815]
[DLK(4):862]
[DLK(4):24]
[DLK(4):427]
[DLK(4):1330]
[DLK(4):1355]
[DLK(4):26]
[DLK(4):30]
[DLK(4):34]
[DLK(4):38]
[DLK(4):214]
[DLK(4):1444]
[DLK(4):228]
[DLK(4):232]
[DLK(4):236]
[DLK(4):240]
[DLK(4):59]
[DLK(4):327]
[DLK(4):331]
[DLK(4):776]
[DLK(4):1195]
[DLK(4):62]
[DLK(4):66]
[DLK(4):70]
[DLK(4):74]
[DLK(4):309]
[DLK(4):959]
[DLK(4):325]
[DLK(4):329]
[DLK(4):333]
[DLK(4):337]
[DLK(4):441]
[DLK(4):621]
[DLK(4):535]
[DLK(4):753]
[DLK(4):826]
[DLK(4):481]
[DLK(4):485]
[DLK(4):489]
[DLK(4):493]
[DLK(4):688]
[DLK(4):692]
[DLK(4):696]
[DLK(4):700]
[DLK(4):42]
. . . . . 

Мы продолжаем поиск КФ ОДЛК 11-го порядка среди ассоциативных ДЛК.
ID: 2803 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 2837 - Posted: 22 Aug 2021, 0:47:28 UTC
Last modified: 22 Aug 2021, 4:12:49 UTC

Обработала последнюю порцию результатов ОДЛК 11-го порядка.
Отличное добавление - 128160 КФ ОДЛК!
На данный момент наша БД содержит 695194 КФ ОДЛК.

Проверила свойства КФ ОДЛК в текущей БД утилитой Harry White GetType

Order? 11

Enter the name of the squares file: inp
.. writing type information to file inpTypeDetail.txt

Counts
------
    695194 diagonal Latin
    665432 associative
    695194 natural \diagonal
      7943 self-orthogonal
      7940 doubly self-orthogonal
    666765 symmetric parity

Все КФ ОДЛК ассоциативные, это понятно: я сейчас ищу ОДЛК среди ассоциативных ДЛК.

В последней порции есть одна девяточка

[DLK(9):1203]
0 6 5 7 1 3 8 4 9 2 A
1 8 4 2 A 6 7 9 5 3 0
3 7 1 0 8 4 6 A 2 9 5
4 5 3 6 2 9 1 8 A 0 7
A 3 7 1 9 2 5 6 0 8 4
5 9 8 3 0 7 2 1 4 A 6
8 4 2 5 6 0 A 3 7 1 9
7 2 9 4 3 A 0 5 1 6 8
6 A 0 9 5 8 4 2 3 7 1
2 1 6 A 7 5 9 0 8 4 3
9 0 A 8 4 1 3 7 6 5 2

Остальное однушки - пятёрки.
При этом пятёрок мало

[DLK(9):1203]
[DLK(5):1160]
[DLK(5):228]
[DLK(5):837]
[DLK(5):891]
[DLK(5):1427]
[DLK(5):841]
[DLK(5):916]
[DLK(5):921]
[DLK(5):926]
[DLK(5):931]
[DLK(5):936]
[DLK(5):1168]
[DLK(5):449]
[DLK(5):861]
[DLK(5):942]
[DLK(5):947]
[DLK(5):952]
[DLK(5):957]
[DLK(5):962]
[DLK(5):775]
[DLK(5):739]
[DLK(5):744]
[DLK(4):471]
[DLK(4):817]
[DLK(4):264]
[DLK(4):485]
[DLK(4):842]
. . . . . . .

Четвёрок и троек немного побольше, а однушек - двушек много.

Интересно посмотреть на спектр Д-трансверсалей для текущей БД.
Но считать Д-трансверсали очень долго для такого количества КФ ОДЛК, черепашка не справится.
Ну, вот наберётся миллион КФ ОДЛК, можно будет попросить Demis проверить на Д-трансверсали.

Мы с черепашкой продолжаем составление БД КФ ОДЛК 11-го порядка.
В этом ручном проекте у нас пока нет помощников.
ID: 2837 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 2919 - Posted: 1 Sep 2021, 14:14:20 UTC

Мы с черепашкой не забываем пополнять БД КФ ОДЛК 11-го порядка.
Продолжаем поиск ОДЛК среди ассоциативных ДЛК.
Обработала последнюю порцию решений, она дала 169867 новых КФ ОДЛК.
Из групп ОДЛК самые большие восьмёрки.
На данный момент наша БД 11-го порядка содержит 865061 КФ ОДЛК.

Покажу свойства этих КФ ОДЛК

Order? 11

Enter the name of the squares file: inp1
.. writing type information to file inp1TypeDetail.txt

Counts
------
    865061 diagonal Latin
    834840 associative
    865061 natural \diagonal
      7943 self-orthogonal
      7940 doubly self-orthogonal
    836453 symmetric parity

Продолжаем поиск.
ID: 2919 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
1 · 2 · Next

Message boards : Science : New project - DB CF ODLS of order 11

©2024 ©2024 Progger & Stefano Tognon (ice00) & Reese