Состояние поиска

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

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

Д-трансверсалей: 28496
Соквадратов:     210237
Время в сек:     49625

2048 574 226 61 3  1     1 1 1 1

Прерываю.

Итак, при проверке на ОДЛК этого рекордного ДЛК 12-го порядка



всего за один рабочий день (около 14 часов) найдено 211488 ортогональных диагональных соквадратов.
Хороший квадратик!
Показываю первые три и последние три ОДЛК из файла mates.txt

0 1 2 7 5 8 3 4 9 A 6 B
8 2 0 3 B 9 6 A 7 4 1 5
A B 8 0 3 1 2 9 6 5 4 7
2 6 5 B 4 7 8 3 A 1 9 0
3 8 B A 1 6 7 0 5 9 2 4
B 0 7 1 A 5 4 2 3 6 8 9
1 7 A 4 2 3 9 5 B 8 0 6
4 A 9 5 8 B 1 6 0 2 7 3
9 5 1 2 6 0 B 7 4 3 A 8
5 3 6 9 0 4 A 8 2 7 B 1
6 9 4 8 7 A 5 B 1 0 3 2
7 4 3 6 9 2 0 1 8 B 5 A

0 1 2 4 8 7 9 5 A B 6 3
A 2 0 3 B 4 7 8 9 6 1 5
5 A 6 0 4 1 2 9 3 8 B 7
2 5 7 B 9 A 6 3 4 1 8 0
3 6 4 A 1 B 5 0 8 7 2 9
6 0 5 1 3 9 A 2 B 4 7 8
1 3 B 9 2 6 8 4 7 5 0 A
4 9 8 6 5 3 1 7 0 2 A B
8 4 1 2 7 0 B A 5 3 9 6
7 B 9 5 0 8 3 6 2 A 4 1
9 7 A 8 6 5 4 B 1 0 3 2
B 8 3 7 A 2 0 1 6 9 5 4

0 1 2 9 A 8 3 6 4 5 7 B
6 2 0 7 5 B 8 A 9 4 1 3
4 B 9 0 6 1 2 5 A 7 3 8
A 9 B 3 7 2 5 4 6 1 8 0
8 7 6 A 1 5 B 0 3 9 2 4
B 0 5 1 8 4 A 3 7 6 9 2
1 4 7 2 3 9 6 B 8 A 0 5
9 A 4 8 2 3 1 7 0 B 5 6
2 6 1 4 B 0 9 8 5 3 A 7
7 5 3 B 0 A 4 9 2 8 6 1
3 8 A 5 4 6 7 2 1 0 B 9
5 3 8 6 9 7 0 1 B 2 4 A

. . . . . . . 

0 7 6 8 2 1 4 9 5 A B 3
8 1 0 5 6 B 9 7 A 3 2 4
2 5 A 0 7 3 8 6 1 4 9 B
A 4 3 6 9 5 B 2 7 8 1 0
7 B 4 A 8 2 3 0 9 6 5 1
6 0 7 2 4 9 5 1 3 B A 8
B A 5 4 1 8 7 3 6 9 0 2
5 3 2 7 A 4 6 B 0 1 8 9
3 2 1 9 B 0 A 8 4 5 6 7
4 9 B 3 0 A 1 5 8 2 7 6
9 6 8 1 5 7 2 4 B 0 3 A
1 8 9 B 3 6 0 A 2 7 4 5

0 7 5 3 2 1 8 9 A 4 6 B
3 1 0 6 B 4 9 2 7 5 A 8
9 8 6 0 5 B 2 7 1 3 4 A
2 B 7 8 3 6 A 5 4 9 1 0
5 9 B 4 A 2 3 0 8 6 7 1
A 0 4 9 8 7 6 1 5 B 2 3
B 5 2 A 1 9 4 3 6 8 0 7
4 A 9 2 7 8 5 B 0 1 3 6
8 6 1 5 9 0 7 4 3 A B 2
6 4 8 7 0 3 1 A B 2 9 5
7 2 3 1 6 A B 8 9 0 5 4
1 3 A B 4 5 0 6 2 7 8 9

0 3 5 4 2 1 6 8 7 9 A B
3 1 0 5 8 6 4 2 B A 9 7
9 7 A 0 3 B 8 6 1 5 2 4
6 A B 9 5 7 2 4 8 3 1 0
A 9 4 B 7 2 3 0 5 6 8 1
B 0 6 8 9 3 A 1 2 4 7 5
5 6 9 7 1 4 B 3 A 8 0 2
4 B 2 A 6 8 7 5 0 1 3 9
2 8 1 3 B 0 9 A 4 7 5 6
8 4 7 6 0 5 1 9 3 2 B A
7 2 8 1 4 A 5 B 9 0 6 3
1 5 3 2 A 9 0 7 6 B 4 8

Сейчас преобразую эти ДЛК в числовой формат и буду исследовать.

Конечно, получить полный набор ОДЛК к данному ДЛК и не мечтаю; для этого нужен, как минимум, кластер, которого у меня нет.
Прогноз: думаю, что в полном наборе будет несколько миллионов ОДЛК.

Исследование почти не продвигается :(
Пока удалось только канонизировать набор

Order? 12
Format, (1: first row or 2: \diagonal)? 1
File name? inp
.. writing DLS to file output12CF1_4.txt
number of DLS 211488 CFs 211177

elapsed time 0:03:18

Это выполнилось быстро.
Потом запустила программу Harry White GetOrthogonal, чтобы проверить набор на наличие ортогональных пар.
Программа работает уже несколько часов и неизвестно, сколько ещё будет работать.
Прогресс в программе не отображается

Order? 12

Enter the name of the squares file: inp
..output file inpPairs_10.txt
..output file inpPairNos_9.txt
squares 211488

Покручу ещё, может быть, вырулит.

Вспоминаю опять Паркера.
Интересно, как ему удалось проверить набор из более 12 миллионов ОЛК на наличие ортогональных пар?
И это ведь много лет назад, когда техника была менее быстрой.

Наверное, в этой программе надо проверять по частям.
Скажем, взяли первые 50000 ОДЛК набора и проверили каждый из них на ортогональность со всеми следующими за ним.
Это должно выполниться быстрее, нежели проверка всего набора. Правильно?
Теперь отбрасываем проверенные 50000 ОДЛК и проверяем следующие 50000 ОДЛК, каждый из них проверяется на ортогональность со всеми следующими за ним.
Мне кажется, это хороший алгоритм проверки, должен работать.

Пока жду, когда программа закончит работать, если дождусь. Тоскливое ожидание, тем более, что программа ничего не сообщает.
И это только всего 211488 ДЛК! А что будет для миллиона ДЛК?
О 12 миллионах (Паркер) я уж и не говорю. Чего-то мы не знаем, что знал Паркер.
Конечно, у Паркера были ЛК 10-го порядка, а у нас ДЛК 12-го порядка.
Но проверить ортогональность двух ЛК 10-го порядка и двух ЛК 12-го порядка - разница не очень большая.
Но у него было более 12 миллионов ЛК! И он их все проверил!

Ну, и вспоминаю программу Беляева проверки на псевдотройки.
Кто в теме, тот знает.
Набор Паркера был проверен на псевдотройки по программе Беляева на форуме boinc.ru
Жалко, что после восстановления форума ссылки на старые темы не работают.

Вырулила!

Order? 12

Enter the name of the squares file: inp
..output file inpPairs_10.txt
..output file inpPairNos_9.txt
squares 211488 orthogonal pairs 0

elapsed time 2:37:35

При тоскливом ожидании мне казалось, что программа уже работает несколько часов, не засекла время запуска.
Ну вот, работала 2 часа 37 минут.
Ортогональных пар в наборе ОДЛК не найдено.
Ожидаемый результат.
Проблема тройки MODLS 12-го порядка, видимо, открытая проблема, и решается многими математиками в мире.
А может быть, и решена, просто мы не знаем результат.
Во всяком случае, в статье OEIS https://oeis.org/A328873
мою оценку a(12)>=2 никто не поправил.
Следовательно, читатели статьи не знают решение проблемы о тройке MODLS 12-го порядка.

Так, что мы имеем?
Пополнение БД КФ ОДЛК 12-го порядка.
И рекордный ДЛК по Д-трансверсалям.
Найти новый рекордный ДЛК 12-го порядка по Д-трансверсалям, вообще говоря, не так просто.
Поэтому внесла найденный рекорд в статью OEIS https://oeis.org/A287648 (пока изменение не утверждено).

Сейчас посмотрю, сколько КФ ОДЛК у меня в БД 12-го порядка.
Посмотрела.
Было на 1 августа прошлого года 741700 КФ ОДЛК в БД.
Сейчас добавилось 211177 КФ ОДЛК.
Итого: 952877 КФ ОДЛК.
(Не проверила ещё канонизацию всего набора вместе, возможно, некоторые КФ ОДЛК повторяются в двух наборах.)
Хорошее ядро БД, можно открывать официальный проект :)

Канонизировала весь набор

Order? 12
Format, (1: first row or 2: \diagonal)? 2
File name? inp
.. writing DLS to file output12CF2_3.txt
number of DLS 952877 CFs 930337

elapsed time 0:20:53

Уникальных КФ ОДЛК в наборе 930337. Неплохо.

Цитата

Поэтому внесла найденный рекорд в статью OEIS https://oeis.org/A287648 (пока изменение не утверждено).

Уже утверждено. Отлично!

Не помню, выкладывала ли предыдущую часть БД КФ ОДЛК 12-го порядка, которая содержала 741700 КФ ОДЛК.
Вот сейчас выкладываю текущую БД на Яндекс.Диск
https://yadi.sk/d/qzsBqgypbl-AOw
Архив объёмом 65,4 МБ.
Файл readme.txt

=======================
DB CF ODLS of order 12
part1
=======================
Contains 930337 CF ODLS.

©2021 Alex Belyshev & Harry White & Natalia Makarova

Created on 23 January 2021.

Эх, забыла включить в выложенную часть БД КФ ОДЛК 12-го порядка рекордный квадратик

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

с 28496 Д-трансверсалей.

Ну, включила его во вторую часть БД, которую уже начала составлять.

Я ранее уже отмечала, что для порядка 12 очень хороши дважды симметричные по Гергели/Брауну ДЛК (в смысле поиска ортогональных ДЛК).
А таких ДЛК очень много.
Есть последовательность OEIS, где приведено количество таких ДЛК, посчитанное Белышевым.
Вот только не знаю: он их просто посчитал, или все их нашёл?
Я уже пробовала искать ОДЛК к таким ДЛК 12-го порядка, очень хорошо они дают ОДЛК.
Кажется, у меня есть программа Harry White для поиска дважды симметричных по Гергели/Брауну ДЛК 12-го порядка.
Забыла уже всё очень хорошо; программу вижу, но как пользоваться - не помню. И не видно, что пользовалась ею раньше, нет файлов с результатами в папке.

Кстати, найденный мной рекордный по Д-трансверсалям ДЛК (показан в начале поста) тоже является дважды симметричным по Гергели/Брауну; кроме того, он ещё ассоциативный.

Кроме всего прочего, у меня есть своя программа генерации дважды симметричных по Гергели/Брауну ДЛК 12-го порядка.
И есть 1000000 таких ДЛК, сгенерированных моей программой.
Я о них тоже писала ранее. И даже несколько ДЛК из этого набора проверяла на ОДЛК.
Теперь надо продолжить это. Хороший алгоритм для поиска ОДЛК 12-го порядка.
Сейчас канонизировала этот миллион ДЛК, получилось 958 тысяч с хвостиком КФ. Вот они какие - почти все уникальные, изоморфных довольно мало.
Если все эти ДЛК проверить на ОДЛК, много должно получиться ОДЛК.
Надо и на трансверсали эти квадратики пощупать, вдруг есть новый рекорд.

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

0 2 4 6 9 3 A 8 7 5 B 1
B 1 7 5 2 8 9 3 4 6 0 A
6 4 2 8 B 1 0 A 9 3 5 7
5 7 9 3 0 A B 1 2 8 6 4
9 3 1 B 4 6 7 5 A 0 2 8
2 8 A 0 7 5 4 6 1 B 9 3
8 A 0 2 5 7 6 4 B 1 3 9
3 9 B 1 6 4 5 7 0 A 8 2
7 5 3 9 A 0 1 B 8 2 4 6
4 6 8 A 1 B 2 0 3 9 7 5
1 B 5 7 8 2 3 9 6 4 A 0
A 0 6 4 3 9 8 2 5 7 1 B

который имеет 15928 Д-трансверсалей. Он очень долго проверялся и не проверился до конца, пришлось прервать.
Остальные КФ в наборе имеют количество трансверсалей около 2000 (плюс/минус), иногда побольше (от 3000 до 5000 с хвостиком).
Такие ДЛК проверяются достаточно быстро.

ОДЛК получено много, больше миллиона. Вот хвост выходного файла программы Белышева ortogon_u

. . . . . . 

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

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

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

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

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

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

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

Как видим, количество ортогональных диагональных соквадратов от каждого ДЛК хорошее, это не однушки-двушки.
И это третий уровень! Тут, вероятно, и четвёртый уровень будет приличный.
Напомню: всё это порождает рекордный ДЛК с 28496 Д-трансверсалями.
И это при том, что все ОДЛК к этому ДЛК я не нашла (первый уровень), их будет, по моему прогнозу, несколько миллионов.

Составление БД КФ ОДЛК 12-го порядка - дело интересное, но весьма сложное из-за объёмов: с такими объёмами я не смогу работать.
Однако по частям можно. Вот сейчас займусь анализом набора ОДЛК, полученного вчера на третьем уровне.
Потом ещё надо допроверить оставшиеся от второго уровня ДЛК; конечно, пропущу ДЛК с 15928 Д-трансверсалями, этот ДЛК за рабочий день не проверится.

Канонизировала.
Итоги второго и третьего уровней:

Order? 12
Format, (1: first row or 2: \diagonal)? 2
File name? cf12
.. writing DLS to file output12CF2.txt
number of DLS 608134 CFs 606453

elapsed time 0:13:18

Отлично! 606453 КФ ОДЛК.
Сейчас запущу проверку остальных КФ ОДЛК от второго уровня.
Их осталось
6459-3099-1=3359 КФ ОДЛК.
Пропускаю этот квадратик

0 2 4 6 9 3 A 8 7 5 B 1
B 1 7 5 2 8 9 3 4 6 0 A
6 4 2 8 B 1 0 A 9 3 5 7
5 7 9 3 0 A B 1 2 8 6 4
9 3 1 B 4 6 7 5 A 0 2 8
2 8 A 0 7 5 4 6 1 B 9 3
8 A 0 2 5 7 6 4 B 1 3 9
3 9 B 1 6 4 5 7 0 A 8 2
7 5 3 9 A 0 1 B 8 2 4 6
4 6 8 A 1 B 2 0 3 9 7 5
1 B 5 7 8 2 3 9 6 4 A 0
A 0 6 4 3 9 8 2 5 7 1 B

с 15928 Д-трансверсалями.
Кому интересно, можете его обсчитать. Программа Белышева ortogon_u выложена тут (Яндекс.Диск)
https://yadi.sk/d/rW8gHaJgwLh3DA

В файл input.txt запишите этот квадратик и запускайте программу.

Поехали!

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

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

Д-трансверсалей: 2000
Соквадратов:     34
Время в сек:     65

23 7 7 2

Господа!
А ещё было бы весьма интересно попробовать обсчитать показанный выше ДЛК с 15928 Д-трансверсалями программой Tomas Brada.
Эта программа многопоточная, что очень хорошо.
Если у вас есть компьютер с многоядерным процессором, который ничем не занят, попробуйте эту программу.
Код данного ДЛК в системе Tomas Brada

Dv8yEzQnSZSx2gbK2JTvcP6FD7Sh7XQ8

Командная строка для запуска программы

ortogonb.exe Dv8yEzQnSZSx2gbK2JTvcP6FD7Sh7XQ8 >out.txt

Результаты должны записаться в файл out.txt

Я пробовала работу этой программы только для ДЛК 11-го порядка. Это работает хорошо.

Для работы программы необходимы три библиотечные программы.
Я выкладывала где-то архив, содержащий и программу ortogonb.exe, и библиотечные программы.
Всё это работает в Windows.
Сейчас поищу ссылку на этот архив.

Этот квадратик хорош тем, что имеет много Д-трансверсалей, но всё-таки меньше рекордных квадратов.
Вполне возможно, что многопоточная программа его возьмёт за реальное время.
Надо пробовать.

Поискала ссылку и не нашла.
Может, я только собиралась выложить этот архив, но так и не выложила.
Выкладываю сейчас
https://yadi.sk/d/IcyYT4aBC_mkNg
это на Яндекс.Диске, 668 КБ.
В архиве три библиотечные программы и программа Tomas Brada ortogonb.exe.

Напоминаю: программа работает в Windows и требует многоядерный процессор, при этом ничем не занятый, так как программа загружает все ядра по полной.

Составила Топ-7 ДЛК 12-го порядка по Д-трансверсалям.
Все ДЛК представлены в виде КФ второго формата. Канонизировано программой Harry White.
Топ составлен по возрастанию.

1. 15928 Д-трансверсалей

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

Иллюстрация


ДЛК полностью обсчитан, смотрите далее. Найдено 2715194 ОДЛК.

2. 24752 Д-трансверсалей

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

Немного обсчитывала этот ДЛК. За 41 час работы программы найдено 276464 ОДЛК.

3. 24869 Д-трансверсалей

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

4. 24901 Д-трансверсалей

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

Иллюстрация


Немного обсчитывала этот ДЛК. За 10 часов работы программы найдено 86218 ОДЛК.

5. 25796 Д-трансверсалей

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

6. 26164 Д-трансверсалей

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

7. 28496 Д-трансверсалей

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

Иллюстрация



Немного обсчитывала этот ДЛК. Программа работала около 14 часов, найдено 211488 ОДЛК.

Пока всё. Какой будет следующий рекорд по Д-трансверсалям? А он, конечно, будет!

Пока у черепашки всё идёт хорошо

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

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

Д-трансверсалей: 2172
Соквадратов:     1419
Время в сек:     7060

124 10 16      1 1 3 1 2 1

ОДЛК шлёпает программа.
Не знаю, уложится ли черепашка до вечера с этой проверкой. Она очень старается :)
Ну, тут не страшно: можно и не уложиться, продолжить завтра.
При прерывании все решения сохраняются в файле. Последний проверенный ДЛК тоже известен.

Ага, перешли на вторую страницу.
Сейчас скопирую первую страницу и положу её на Яндекс.Диск.
Ссылку сообщу.

Вот
https://yadi.sk/d/tMHN3xy-MOBJkg
Формат html.
434 КБ.

Смотрю я на этот ДЛК 12-го порядка



и думаю: а ведь это ДЛК блочной структуры! Точь-в-точь, как было в ДЛК 10-го порядка.
Интересно, что даст здесь поворот блоков???
Эх, где же Белышев?
Тут такая хорошая задача для него образовалась :)

А вот посмотрите

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

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

Д-трансверсалей: 5736
Соквадратов:     2467
Время в сек:     8785

353 49 38 3 3   1  3 1 2 1

Черепашка слегка застряла :)
5736 Д-трансверсалей попалось, уже долго проверяется ДЛК.

Полистала тему "ЛК блочной структуры"
https://boinc.progger.info/odlk/forum_thread.php?id=41

Ой, сколько там было всего интересного!
Белышев столько нашёл семейств ЛК блочной структуры! От них столько нашлось ОДЛК!
Это, как вы понимаете, для ЛК 10-го порядка.
Гениальное исследование Белышева! Не единственное, между прочим.
Есть у него много других гениальных исследований, например, "Обобщённые симметрии".
Жалко, что он остановился!

Вот посмотрите на иллюстрацию



Верхний ДЛК - как раз ДЛК блочной структуры. А нижний ЛК - базовый ЛК семейства, которому этот ДЛК принадлежит.
Сравните этот ДЛК 10-го порядка с показанным выше ДЛК 12-го порядка.
В ДЛК 12-го порядка блочная структура даже более гармоничная.
Это понятно: ДЛК 12-го порядка ещё и ассоциативный.

Эх, покрутить бы блоки в этом ДЛК 12-го порядка! Наверняка, что-нибудь интересное найдётся.