Цитата

О-о-о!!
Нашла у себя в архиве миллион (+1) дважды симметричных по Гергели/Брауну ДЛК 12-го порядка.
Я их, кажется, и выкладывала на форуме Math Help Planet.
ДЛК сгенерированы моим генератором.
Интересно: скормила эти ДЛК утилите Harry White, она их довольно быстро прожевала и выдала вот что

Order? 12

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

Counts
------
   1000001 diagonal Latin
   1000001 double axial symmetric
   1000001 center symmetric
   1000001 nfr

elapsed time 0:01:30

Эти ДЛК ещё и ассоциативные (а вот здесь утилита не пишет "associative", а пишет "center symmetric")
Меня удивила скорость работы утилиты. Всё-таки 1000001 квадратов 12-го порядка, и всего потребовалось на их проверку 0:01:30. Круто!

Ну вот, ДЛК 12-го порядка имеем м-н-о-о-о-г-о. Наверняка многие из них имеют ортогональные ДЛК.
Можно попробовать канонизировать эти ДЛК и найти линейки для СН ДЛК 12-го порядка.

Хм...
какое интересное множество у меня есть. ДЛК дважды симметричные по Гергели/Брауну да ещё и ассоциативные.
Сейчас я их канонизирую канонизатором Harry! Много новых КФ ДЛК появится.
Потом проверю на уникальные побочные диагонали.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Канонизацию миллиона ДЛК 12-го порядка канонизатором Harry White запустила только что.
Интересно, сколько времени потребуется программе.
Жду.

Офигенная скорость!

File name? inp
Format, (1 or 2)? 2
.. writing DLS to file output12CF2_3.txt
number of DLS 1000001 CFs 958773

elapsed time 0:21:42

21 минута 42 секунды.
А КФ как много, почти все исходые ДЛК уникальны.
Сейчас проверю все КФ утилитой Harry.

Вот первые две КФ - ассоциативные красавицы

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

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

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Результаты проверки КФ утилитой Harry

Order? 12

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

Counts
------
    958773 diagonal Latin
    958773 associative
    958773 double axial symmetric
    958773 natural \diagonal

elapsed time 0:00:43

Класс! Все КФ дважды симметричные по Гергели/Брауну и ассоциативные.

Обратите внимание: когда проверяли исходные ДЛК, утилита писала "center symmetric".
А КФ этих ДЛК ассоциативные.

А теперь самое интересное! Выписываем из этих КФ побочные диагонали с помощью программы Harry.
Программа выдаёт

Order? 12
File? output12CF2_3
Input file is output12CF2_3.txt
.. writing squares to file output12CF2_3Diags.txt
Which \ 1 or / 2? 2
squares 958773 diags 1

Все КФ из одной линейки! Вот этой

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

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Все найденные ассоциативные КФ имеют большие шансы на марьяжность.
Проверила самую первую КФ

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

549 ортогональных ДЛК! Неплохо.
Можно построить эту группу ОДЛК от найденных КФ. Она должна быть не маленькая.
И КФ в ней будет много. Может быть, и новые побочные диагонали обнаружатся в этих КФ, если вдруг мы с Harry пока нашли их не все.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

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



Лепота!

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

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Цитата

У меня очень хорошая новость.
Harry White сделал по моей просьбе канонизатор для ДЛК 11-го порядка.
Уже попробовала канонизировать найденные мной 26914 ОДЛК.
Канонизировались мгновенно!
Нашлось 2831 КФ, в обоих форматах.
Ну, конечно, сразу принялась выписывать из КФ второго формата побочные диагонали.
У меня получилось ровно 67 уникальных побочных диагоналей.

Harry пишет, что пока не совсем уверен в правильности работы канонизатора.
Но похоже, что всё правильно у него.

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

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

Такие вот линейки, значит, имеем для СН ДЛК 11-го порядка.

Показываю все линейки для СН ДЛК 11-го порядка

№1 1 0 3 2 7 5 8 4 6 10 9
№2 1 0 3 2 7 5 8 4 9 10 6
№3 1 0 3 2 7 5 8 6 4 10 9
№4 1 0 3 2 7 5 8 6 9 10 4
№5 1 0 3 2 7 5 8 9 10 4 6
№6 1 0 3 2 7 5 8 9 10 6 4
№7 1 0 3 2 7 5 9 4 10 6 8
№8 1 0 3 2 7 5 9 4 10 8 6
№9 1 0 3 2 7 5 9 6 10 4 8
№10 1 0 3 2 7 5 9 6 10 8 4
№11 1 0 3 2 7 5 9 8 4 10 6
№12 1 0 3 2 7 5 9 10 4 8 6
№13 1 0 3 2 7 5 9 10 6 8 4
№14 1 0 3 4 2 5 7 9 10 6 8
№15 1 0 3 4 2 5 7 9 10 8 6
№16 1 0 3 4 2 5 8 6 7 10 9
№17 1 0 3 4 2 5 8 6 9 10 7
№18 1 0 3 4 2 5 8 9 10 6 7
№19 1 0 3 4 2 5 8 9 10 7 6
№20 1 0 3 4 7 5 2 6 9 10 8
№21 1 0 3 4 7 5 2 9 6 10 8
№22 1 0 3 4 7 5 2 9 10 6 8
№23 1 0 3 4 7 5 2 9 10 8 6
№24 1 0 3 4 7 5 8 9 10 2 6
№25 1 0 3 4 7 5 8 9 10 6 2
№26 1 0 3 4 7 5 9 2 10 8 6
№27 1 0 3 4 7 5 9 6 10 2 8
№28 1 0 3 4 7 5 9 6 10 8 2
№29 1 0 3 4 7 5 9 8 10 2 6
№30 1 0 3 4 7 5 9 8 10 6 2
№31 1 0 3 4 7 5 9 10 6 2 8
№32 1 0 3 4 7 5 9 10 6 8 2
№33 1 0 3 4 8 5 2 9 10 6 7
№34 1 0 3 4 8 5 2 9 10 7 6
№35 1 0 3 4 8 5 9 6 10 2 7
№36 1 0 3 4 8 5 9 6 10 7 2
№37 1 0 3 4 9 5 7 10 6 2 8
№38 1 0 3 4 9 5 8 6 10 2 7
№39 1 0 3 4 9 5 8 6 10 7 2
№40 1 0 3 4 9 5 10 6 7 2 8
№41 1 0 3 4 9 5 10 6 7 8 2
№42 1 0 3 8 7 5 9 6 10 2 4
№43 1 0 3 8 7 5 9 6 10 4 2
№44 1 0 3 8 9 5 10 2 7 4 6
№45 1 0 3 8 9 5 10 2 7 6 4
№46 1 2 0 4 7 5 3 6 10 8 9
№47 1 2 0 4 7 5 3 8 10 6 9
№48 1 2 0 4 7 5 8 9 10 3 6
№49 1 2 0 4 7 5 8 9 10 6 3
№50 1 2 0 4 8 5 9 6 10 3 7
№51 1 2 0 4 8 5 9 6 10 7 3
№52 1 2 0 4 8 5 9 10 3 7 6
№53 1 2 0 4 8 5 9 10 6 7 3
№54 1 2 0 4 8 5 10 9 6 3 7
№55 1 2 0 4 8 5 10 9 7 6 3
№56 1 2 3 0 7 5 8 6 10 4 9
№57 1 2 3 0 7 5 8 9 10 6 4
№58 1 2 3 0 7 5 8 10 4 6 9
№59 1 2 3 4 0 5 8 6 10 7 9
№60 1 2 3 4 0 5 8 9 10 6 7
№61 1 2 3 4 0 5 10 6 7 8 9
№62 1 2 3 4 7 5 0 9 10 8 6
№63 1 2 3 4 7 5 8 6 10 0 9
№64 1 2 3 4 7 5 9 10 6 0 8
№65 1 2 3 4 7 5 10 9 0 6 8
№66 1 2 3 8 7 5 9 6 10 0 4
№67 1 2 3 8 7 5 10 6 4 0 9

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

А это уникальные побочные диагонали (линейки), выписанные программой Harry

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

Полностью совпадают с выписанными мной.

Итак, с линейками для СН ДЛК 11-го порядка разобрались.
Теперь надо добить вопрос с линейками для СН ДЛК 12-го порядка. У нас пока есть нижняя граница для количества этих линеек, R(12)>=497.
Нижняя граница получена из небольшого множества КФ ОДЛК. У меня нет уверенности в том, что в этом множестве есть КФ ОДЛК из всех линеек.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Вот интересно!
Взяла множество КФ ОДЛК 10-го порядка, полученное в нашем с Белышевым эксперименте (полное Замыкание).
Выписала побочные диагонали из этих КФ программой Harry.
Программа выдала

Order? 10
File? inp
Input file is inp.txt
.. writing squares to file inpDiags_2.txt
Which \ 1 or / 2? 2
squares 3712 diags 66

66 линеек тут, а одной не хватает!
Из какой-то одной линейки нет КФ ОДЛК в этом множестве.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Ещё пример покажу.
Взяла имеющуюся у меня БД КФ ОДЛК 9-го порядка и выписала программой Harry уникальные побочные диагонали

Order? 9
File? inp
Input file is inp.txt
.. writing squares to file inpDiags_2.txt
Which \ 1 or / 2? 2
squares 22111 diags 20

Тут все 20 линеек уже присутствуют.
Ура, ура, ура! Полный комплект линеек в составленной мной БД КФ ОДЛК 9-го порядка.

А вот и сами линейки, выданные программой

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

Проверьте.
Линейки для СН ДЛК 9-го порядка показаны в теме "БД КФ ОДЛК 9-го порядка"
https://boinc.progger.info/odlk/forum_thread.php?id=44&postid=5945

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Harry White разрешил мне выложить его канонизаторы для ДЛК порядков 11 и 12.
Выкладываю на Яндекс.Диске

1. Канонизатор для ДЛК 11-го порядка
https://yadi.sk/d/YPQ2hx_R0tOMWQ

2. Канонизатор для ДЛК 12-го порядка
https://yadi.sk/d/dbcljV5OkjXlXA

Архивы точно те, что мне передал Harry.
Пробуйте все. Программы отлично работают.
Если появятся вопросы, задавайте, не стесняйтесь.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Цитата

Все найденные ассоциативные КФ имеют большие шансы на марьяжность.
Проверила самую первую КФ

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

549 ортогональных ДЛК! Неплохо.
Можно построить эту группу ОДЛК от найденных КФ. Она должна быть не маленькая.
И КФ в ней будет много. Может быть, и новые побочные диагонали обнаружатся в этих КФ, если вдруг мы с Harry пока нашли их не все.

Маленький эксперимент: взяла первые 77 ассоциативных КФ и проверила их на марьяжность программой Белышева ortogon_u.
Результаты очень интересные!
Все проверенные ДЛК имеют ортогональные ДЛК, причём довольно приличное количество.
Например:

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

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

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

А ведь здесь тоже должен иметь место эффект снежного кома.
Попробую.
Сначала проверю, сколько КФ ОДЛК нашлось на первом уровне.
И главное - есть ли КФ из таких линеек, которых у нас ещё нет (если вдруг у нас не все линейки найдены пока).

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Результаты проверки этих mates (первого уровня), найдено их 31107, КФ они дали 19748

File name? inp
Format, (1 or 2)? 2
.. writing DLS to file output12CF2_5.txt
number of DLS 31107 CFs 19748

elapsed time 0:00:40

Все эти КФ принадлежат 6 линейкам

Order? 12
File? inp
Input file is inp.txt
.. writing squares to file inpDiags.txt
Which \ 1 or / 2? 2
squares 19748 diags 6

Не забываем: исходные КФ (ассоциативные) все из одной линейки.

Осталось проверить, не добавилась ли новая линейка. Маловероятно, но вполне возможно.
Вот найденные 6 линеек

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

Нет, новых линеек не найдено.

Можно продолжить этот эксперимент.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Ох, некогда черепашке :)
Второй уровень - это проверить на марьяжность 19748 ДЛК.
Это ж сколько будет проверяться!
А соквадратов сколько найдётся новых!
А потом третий уровень...

Нужна группа поддержки :)
Ну, с этим туго у нас как-то.

Кстати, группа КФ ОДЛК 12-го порядка в этом эксперименте будет найдена очень приличная.
Представьте! Проверить 958773 ассоциативных ДЛК на марьяжность по полной программе, то есть по всему дереву.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

А какие интересные КФ ОДЛК найдены на первым уровне (это от 77 ассоциативных ДЛК)!
Утилита Harry White сообщает об этих КФ ОДЛК

Order? 12

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

Counts
------
     19748 diagonal Latin
     10884 associative
      8285 axial symmetric
     10730 double axial symmetric
     19748 natural \diagonal

Супер!
Симметричные по Гергели/Брауну - 8285 ДЛК, дважды симметричные по Гергели/Брауну - 10730 ДЛК, ассоциативные - 10884 ДЛК.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Пробую вторую веточку, интересно же очень!
Взяла этот ДЛК

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

На первом уровне он дал 570 ортогональных ДЛК, от них получилось 360 КФ ОДЛК.
Вот сейчас запустила проверку этих КФ ОДЛК на марьяжность.
Программа Белышева усердно трудится

Проверка ДЛК12 на марьяжность (ОДЛК)

Введено ДЛК:     360
Найдено ОДЛК:    0

Д-трансверсалей: 6128
Соквадратов:     1198
Время в сек:     7185

302 148 38 22

Всего 360 квадратиков, но проверка идёт долго, всё-таки это порядок 12.
Жду результатов. Дьявольски интересно!

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Влетела в плотные слои атмосферы...

Проверка ДЛК12 на марьяжность (ОДЛК)

Введено ДЛК:     360
Найдено ОДЛК:    0

Д-трансверсалей: 6984
Соквадратов:     6566
Время в сек:     22415

235 146 22 20 3

Один квадрат проверяется уже несколько часов. В нём 6984 диагональных трансверсалей.
Долго ещё будет проверяться.
Даже не знаю, сколько квадратов уже проверилось.
Вот это надо бы выводить на консоль.
Если прерву, ортогональные соквадраты запишутся в файл (слава Богу). Можно будет тогда посмотреть и количество проверенных квадратов.

Черепашка хнычет :)

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Для этого долгоиграющего квадрата близится финиш

Проверка ДЛК12 на марьяжность (ОДЛК)

Введено ДЛК:     360
Найдено ОДЛК:    0

Д-трансверсалей: 6984
Соквадратов:     13304
Время в сек:     31155

14 184 17 14 3

Он один что ли такой долгоиграющий?
Сейчас посмотрю, что там следом идёт.
Если такой же долгоиграющий, прерву программу.

Да, следующий квадрат такой же долгоиграющий

Проверка ДЛК12 на марьяжность (ОДЛК)

Введено ДЛК:     360
Найдено ОДЛК:    0

Д-трансверсалей: 6128
Соквадратов:     17292
Время в сек:     31775

445 44 36 4 1

Прерываю.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Проверилось 326 ДЛК из 360. Отлично!
Вот два последних проверенных ДЛК

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

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

Посмотрите на последний квадрат, он долгоиграющий, нашлось у него 13692 ортогональных ДЛК. Круто!
Эх, если бы такие деревья были для ДЛК 10-го порядка.

Сейчас буду смотреть на все mates.
Канонизирую их, выпишу из КФ уникальные побочные диагонали.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Всего получено ортогональных ДЛК 131365, напоминаю, это второй уровень.
Канонизирую

File name? inp
Format, (1 or 2)? 2
.. writing DLS to file output12CF2_7.txt
number of DLS 131365 CFs 90050

elapsed time 0:02:46

Класс! 90050 КФ ОДЛК! Хорошенькая веточка.

И охват линеек тут побольше, КФ ОДЛК находятся в 219 линейках

Order? 12
File? inp
Input file is inp.txt
.. writing squares to file inpDiags_1.txt
Which \ 1 or / 2? 2
squares 90050 diags 219

Осталось проверить, не найдены ли новые линейки.

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Есть!!!
Новые побочные диагонали добавились!

Order? 12
File? inp
Input file is inp.txt
.. writing squares to file inpDiags_3.txt
Which \ 1 or / 2? 2
squares 101581 diags 515

Их стало 515.

Вот я это чувствовала нутром, что мы нашли не все линейки. Слишком маленький набор КФ ОДЛК был рассмотрен.
Итак, найдена новая нижняя граница количества линеек для СН ДЛК 12-го порядка: R(12)>=515.
Вполне возможно, что линеек ещё больше.

Эх, не потянем мы с черепашкой этот эксперимент :(

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg