Ещё один шаг постобработки выполнила (ой, это уже какой по счёту?).
Добавилось в БД 121 новых КФ ОДЛК, теперь БД содержит 21947 уникальных КФ ОДЛК.
Надо делать следующий шаг.
Однако... обратите внимание на количество добавляемых в БД уникальных КФ - с каждым шагом оно становится меньше.

И на этом шаге были марьяжные КФ с большим количеством ОДЛК, например

[DLK(60):241]
0 2 3 5 6 7 8 4 1
4 1 6 7 3 0 2 8 5
8 5 2 0 7 4 3 1 6
2 8 4 3 1 6 7 5 0
5 6 7 8 4 1 0 2 3
6 3 1 2 8 5 4 0 7
1 7 5 4 0 8 6 3 2
3 0 8 6 5 2 1 7 4
7 4 0 1 2 3 5 6 8

---

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

Ещё один шаг выполнила.
Добавилось в БД 59 уникальных КФ ОДЛК.
Теперь БД содержит 22006 уникальных КФ ОДЛК.

22 тысячи! Класс!

На этом шаге уже поменьше ортогональных соквадратов у марьяжных КФ, например

[DLK(24):20]
0 3 5 6 7 4 8 2 1
4 1 6 8 3 2 5 0 7
1 5 2 0 8 7 3 4 6
7 4 0 3 5 6 1 8 2
6 8 3 2 4 1 7 5 0
8 0 1 7 2 5 4 6 3
2 7 8 5 1 0 6 3 4
3 2 4 1 6 8 0 7 5
5 6 7 4 0 3 2 1 8

Тэк-с, надо следующий шаг делать. Интересно, добавит ли он что-то.

---

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

Ой, взаправду это никогда не закончится :)
Новый шаг добавил в БД 51 новых КФ ОДЛК.
Теперь БД содержит 22057 уникальных КФ ОДЛК.

Надо делать ещё один шаг. Вряд ли он последний.
Да, конечно, скрипт для постобработки надо писать глобальный, чтобы сразу всю многоходовку делал.
А схема чертовски сложная, процесс выполняется в разных папках.
Небольшой скрипт написала только для последнего этапа, когда всё уже происходит в папке ortogon_u.

---

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

Очередной шаг добавил в БД 5 новых КФ ОДЛК.
Теперь БД содержит 22062 уникальных КФ ОДЛК.

Ну, наверное, следующий шаг уже ничего не добавит.
Позже его выполню, утомилась :)
Сколько же шагов-то сделано в постобработке? Посчитать можно по сообщениям.
А начинала вот так

Я написала Канонизатор ЛК по ДЛК для ДЛК 9-го порядка.
Работает классно!
Уже обработала всю имеющуюся у меня БД, в ней содержалось 12019 уникальных КФ ОДЛК.
После обработки содержится 16901 уникальных КФ ОДЛК. Добавилось 4882 уникальные КФ ОДЛК.
Очень хорошо!

Посмотрите на последний результат постобработки.
Это же почти удвоение БД!!

---

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

Уф! Наконец-то это закончилось, очередной шаг постобработки уже ничего не добавил в БД.

Черепашка поехала за новыми марьяжными КФ

. . . . . . . 
СНДЛК: 1327922 КФ: 171805 время: 75 сек
СНДЛК: 1428142 КФ: 182946 время: 80 сек
СНДЛК: 1509745 КФ: 194067 время: 85 сек
СНДЛК: 1607905 КФ: 204957 время: 90 сек
Найден ОДЛК #1:

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

Продолжить? (Y/N): y

СНДЛК: 1648460 КФ: 209864 время: 291 сек
СНДЛК: 1825709 КФ: 218777 время: 296 сек
СНДЛК: 2047982 КФ: 227153 время: 301 сек
СНДЛК: 2258755 КФ: 235929 время: 306 сек
СНДЛК: 2588387 КФ: 241818 время: 311 сек
СНДЛК: 3169339 КФ: 241929 время: 316 сек
. . . . . 

И... приехали!

. . . . . 
СНДЛК: 87849966 КФ: 241929 время: 987 сек
СНДЛК: 88464775 КФ: 241929 время: 992 сек
СНДЛК: 89181610 КФ: 241929 время: 997 сек
СНДЛК: 89911103 КФ: 241929 время: 1002 сек
СНДЛК: 90615931 КФ: 241929 время: 1007 сек
СНДЛК: 91372527 КФ: 241929 время: 1012 сек
СНДЛК: 92177930 КФ: 241929 время: 1017 сек
СНДЛК: 92915313 КФ: 241929 время: 1022 сек
СНДЛК: 93701084 КФ: 241929 время: 1027 сек
СНДЛК: 94374607 КФ: 241929 время: 1032 сек
СНДЛК: 95025510 КФ: 241929 время: 1037 сек
СНДЛК: 95717139 КФ: 241929 время: 1042 сек
СНДЛК: 96421922 КФ: 241929 время: 1047 сек
СНДЛК: 97142521 КФ: 241929 время: 1052 сек
СНДЛК: 97794783 КФ: 241929 время: 1057 сек
СНДЛК: 98485379 КФ: 241929 время: 1062 сек
СНДЛК: 99225627 КФ: 241929 время: 1067 сек
СНДЛК: 99961646 КФ: 241929 время: 1072 сек
СНДЛК: 100607247 КФ: 241929 время: 1077 сек
СНДЛК: 101006666 КФ: 241929 время: 1082 сек
СНДЛК: 101579503 КФ: 241929 время: 1087 сек
СНДЛК: 102203465 КФ: 241929 время: 1092 сек
СНДЛК: 102811202 КФ: 241929 время: 1097 сек
СНДЛК: 103431843 КФ: 241929 время: 1102 сек
. . . . . . 

Вот и пустыня: миллионы СН ДЛК щёлкают, а КФ нет ни одной!
Прервала.
Переходим в другую область.

---

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

Пока черепашка ищет решения в линейке 9, я тоже не сижу сложа руки.
Решила заняться ассоциативными ДЛК.
Ассоциативные СН ДЛК возможны в линейках №№ 1, 5, 14, 18, 20.
Написала программу генерации, можно генерировать в любой из указанных линеек.
Начинаю с линейки 1.
Задала для начала 10000 ассоциативных ДЛК, сгенерировались мгновенно.
Вот первые 5 ассоциативных ДЛК, выданные программой

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

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

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

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

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

Проверила утилитой Harry White

Order? 9

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

Counts
------
     10000 diagonal Latin
     10000 associative
     10000 natural \diagonal

Всё в порядке, все 10000 ДЛК ассоциативные.
Канонизатор выдал 8363 КФ ДЛК.
Проверяю на марьяжные ДЛК. Они есть, хотя и не сильно много.
Покажу все найденные в этой порции марьяжные ДЛК

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

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

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

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

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

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

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

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

[DLK(1):11]
0 2 3 4 6 7 8 5 1
5 1 8 7 3 6 4 0 2
1 6 2 5 7 8 3 4 0
4 7 6 3 0 2 1 8 5
2 5 1 8 4 0 7 3 6
3 0 7 6 8 5 2 1 4
8 4 5 0 1 3 6 2 7
6 8 4 2 5 1 0 7 3
7 3 0 1 2 4 5 6 8

[DLK(1):12]
0 2 3 4 6 7 8 5 1
6 1 4 2 5 8 7 0 3
1 6 2 7 8 0 3 4 5
4 5 7 3 1 2 0 8 6
8 7 6 5 4 3 2 1 0
2 0 8 6 7 5 1 3 4
3 4 5 8 0 1 6 2 7
5 8 1 0 3 6 4 7 2
7 3 0 1 2 4 5 6 8

[DLK(1):13]
0 2 3 4 6 7 8 5 1
6 1 4 2 5 8 7 0 3
4 6 2 7 1 0 3 8 5
1 5 7 3 8 2 0 4 6
8 7 6 5 4 3 2 1 0
2 4 8 6 0 5 1 3 7
3 0 5 8 7 1 6 2 4
5 8 1 0 3 6 4 7 2
7 3 0 1 2 4 5 6 8

[DLK(1):14]
0 2 3 4 6 7 8 5 1
8 1 4 2 5 3 7 0 6
6 5 2 8 0 1 3 4 7
5 7 6 3 1 2 0 8 4
3 6 7 0 4 8 1 2 5
4 0 8 6 7 5 2 1 3
1 4 5 7 8 0 6 3 2
2 8 1 5 3 6 4 7 0
7 3 0 1 2 4 5 6 8

[DLK(1):15]
0 2 3 4 6 7 8 5 1
8 1 6 2 5 3 4 0 7
6 4 2 7 1 0 3 8 5
5 6 8 3 0 2 7 1 4
2 5 7 0 4 8 1 3 6
4 7 1 6 8 5 0 2 3
3 0 5 8 7 1 6 4 2
1 8 4 5 3 6 2 7 0
7 3 0 1 2 4 5 6 8

[DLK(1):16]
0 2 3 4 6 8 7 5 1
2 1 6 5 8 7 4 0 3
6 7 2 8 5 1 3 4 0
4 6 7 3 1 2 0 8 5
1 5 0 2 4 6 8 3 7
3 0 8 6 7 5 1 2 4
8 4 5 7 3 0 6 1 2
5 8 4 1 0 3 2 7 6
7 3 1 0 2 4 5 6 8

[DLK(1):17]
0 2 3 4 6 8 7 5 1
2 1 8 5 7 6 4 0 3
1 6 2 7 8 0 3 4 5
6 7 0 3 5 2 1 8 4
8 5 6 1 4 7 2 3 0
4 0 7 6 3 5 8 1 2
3 4 5 8 0 1 6 2 7
5 8 4 2 1 3 0 7 6
7 3 1 0 2 4 5 6 8

[DLK(1):18]
0 2 3 4 6 8 7 5 1
3 1 4 5 7 6 8 0 2
8 6 2 7 5 0 3 1 4
5 4 6 3 0 2 1 8 7
2 5 8 1 4 7 0 3 6
1 0 7 6 8 5 2 4 3
4 7 5 8 3 1 6 2 0
6 8 0 2 1 3 4 7 5
7 3 1 0 2 4 5 6 8

[DLK(1):19]
0 2 3 4 6 8 7 5 1
5 1 4 7 8 3 2 0 6
6 5 2 8 1 7 3 4 0
1 6 7 3 5 2 0 8 4
3 7 0 2 4 6 8 1 5
4 0 8 6 3 5 1 2 7
8 4 5 1 7 0 6 3 2
2 8 6 5 0 1 4 7 3
7 3 1 0 2 4 5 6 8

Даже двушечка есть.
Да, ассоциативные ДЛК имеют хорошие шансы на марьяжные ДЛК.

Кстати, давненько уже Ватутин сообщал, что проверил на марьяжность все центрально-симметричные ДЛК 9-го порядка.
При этом он различал центрально-симметричные и ассоциативные ДЛК.
Так говорил (своими словами передаю): ассоциативные ДЛК 9-го порядка, конечно, есть, но мощность множества ассоциативных ДЛК не велика.
На самом деле центрально-симметричные и ассоциативные ДЛК - это одно и то же множество.
Когда я начинала составлять БД, все результаты, выложенные тогда Ватутиным, в БД включила.

Теперь вот хочу сама проверить все ассоциативные ДЛК.
Много ли их всех?
Генерировать надо по группам в линейке.
Обратила внимание, что среди 10000 сгенерированных сейчас ассоциативных ДЛК есть ДЛК не только из первой группы.
Это хорошо. Значит, в одной группе ассоциативных ДЛК не так много.
Сейчас посчитаю количество групп в линейке 1.
Напомню: группа в линейке определяется первой строкой.
Вот это ДЛК из первой группы

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

А последний ДЛК в порции уже из другой группы

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

Количество групп, понятно, вполне конкретное; сгенерировать все ассоциативные ДЛК в одной группе не проблема.
Следовательно, задача проверки на марьяжность всех ассоциативных ДЛК 9-го порядка решаема.

Если Ватутин проверил действительно все центрально-симметричные ДЛК (= все ассоциативные ДЛК), то ничего нового я не найду.

---

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

Посмотрим на ортогональки найденной двушки

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

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

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

Они центрально-симметричные!
Утилита Harry White сообщает об этих ДЛК

Order? 9

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

Counts
------
         2 diagonal Latin
         2 center symmetric

А теперь преобразуем эти ДЛК в КФ и проверим полученные КФ утилитой Harry White.

Вот КФ ортогоналек

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

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

Ну, даже без проверки очевидно, что КФ ассоциативны.
Но что скажет утилита?
Вот

Order? 9

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

Counts
------
         2 diagonal Latin
         2 associative
         2 natural \diagonal

---

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

Цитата

Сейчас посчитаю количество групп в линейке 1.
Напомню: группа в линейке определяется первой строкой.

Готово! Если не ошиблась, групп в линейке 1 всего 920.
Покажу несколько первых и последних (варианты первых строк, определяющие группы)

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

Ну, 920 групп - это мелочи :)
Если в каждой группе не более 10000 ассоциативных ДЛК, то всего их в линейке не более 10 миллионов. Пустяки!

---

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

Испытываю ассоциативные ДЛК 9-го порядка.
Причём в двух направлениях:
1) проверка сразу на марьяжность сгенерированной порции;
2) собираю все КФ ДЛК для дальнейшей проверки с помощью Канонизатора ЛК по ДЛК.

Первое направление пока ничего нового не добавило. Скорее всего и не добавит.
Второе направление буду пробовать, как проверю все ассоциативные ДЛК в линейке 1 - просто на марьяжность.
Каждая сгенерированная порция марьяжные ДЛК даёт.

Интересно: посмотрела в последней порции группы из нечётного количества пар ОДЛК.
Вот что нашлось

[DLK(3):77]
0 2 4 5 6 7 8 3 1
3 1 6 8 7 4 5 0 2
4 7 2 0 8 1 3 5 6
8 6 1 3 5 2 0 4 7
5 0 7 2 4 6 1 8 3
1 4 8 6 3 5 7 2 0
2 3 5 7 0 8 6 1 4
6 8 3 4 1 0 2 7 5
7 5 0 1 2 3 4 6 8

[DLK(5):15]
0 2 3 4 6 7 8 5 1
8 1 4 7 3 6 2 0 5
1 7 2 5 8 0 3 4 6
6 5 7 3 1 2 0 8 4
5 6 1 0 4 8 7 2 3
4 0 8 6 7 5 1 3 2
2 4 5 8 0 3 6 1 7
3 8 6 2 5 1 4 7 0
7 3 0 1 2 4 5 6 8

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

[DLK(13):6047]
0 4 5 7 6 2 8 3 1
3 1 4 6 8 0 5 2 7
6 8 2 4 0 7 3 1 5
8 2 1 3 7 6 4 5 0
5 0 7 2 4 8 1 6 3
4 3 6 0 1 5 7 8 2
2 7 8 1 5 3 6 0 4
1 5 0 8 3 4 2 7 6
7 6 3 5 2 1 0 4 8

[DLK(15):2487]
0 2 4 6 3 7 8 5 1
5 1 3 8 6 4 2 0 7
6 7 2 0 8 1 3 4 5
8 5 7 3 1 6 0 2 4
2 0 1 5 4 3 7 8 6
4 6 8 2 7 5 1 3 0
3 4 5 7 0 8 6 1 2
1 8 6 4 2 0 5 7 3
7 3 0 1 5 2 4 6 8

[DLK(19):17]
0 2 3 4 6 7 8 5 1
5 1 8 0 3 6 4 2 7
6 7 2 5 8 1 3 0 4
8 5 7 3 1 0 2 4 6
3 0 1 6 4 2 7 8 5
2 4 6 8 7 5 1 3 0
4 8 5 7 0 3 6 1 2
1 6 4 2 5 8 0 7 3
7 3 0 1 2 4 5 6 8

Семёрки нет, одиннадцатки нет, семнадцатки нет.
Похоже, для ДЛК порядка 9 тоже с группами из нечётного количества пар ОДЛК проблемы.

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

---

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

Черепашка усердно трудится - ищет ОДЛК в линейке 9

. . . . . . 
СНДЛК: 2608923 КФ: 1143782 время: 505 сек
СНДЛК: 2638930 КФ: 1150503 время: 510 сек
СНДЛК: 2685726 КФ: 1162565 время: 515 сек
СНДЛК: 2730595 КФ: 1174392 время: 520 сек
Найден ОДЛК #1:

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

Продолжить? (Y/N): y

СНДЛК: 2751465 КФ: 1179083 время: 770 сек
СНДЛК: 2798664 КФ: 1191402 время: 775 сек
СНДЛК: 2838147 КФ: 1203750 время: 780 сек
СНДЛК: 2897315 КФ: 1215811 время: 785 сек
СНДЛК: 2956974 КФ: 1227869 время: 790 сек
СНДЛК: 3019136 КФ: 1239924 время: 795 сек
. . . . . 

И находит!
Обработала недавно найденные марьяжные ДЛК.
БД КФ ОДЛК подросла до 22111 уникальных КФ ОДЛК.
Сейчас накапливается новая порция марьяжных ДЛК, уже 25 штучек есть.

Пока линейка 9 даёт результаты, не истощилась совсем.
Когда перестанет давать, перейдём в линейку 10.

---

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

Проверка ассоциативных ДЛК продолжается.
Вот интересно - соточка, найдена от ассоциативного ДЛК

[DLK(100):957]
0 2 3 5 6 7 8 4 1
4 1 6 7 5 2 0 8 3
6 5 2 0 8 4 3 1 7
2 8 4 3 7 6 1 5 0
3 6 1 8 4 0 7 2 5
8 3 7 2 1 5 4 0 6
1 7 5 4 0 8 6 3 2
5 0 8 6 3 1 2 7 4
7 4 0 1 2 3 5 6 8

Заодно проверяю семёрку, 11-ку и 17-ку. Не нашлось их пока.
Они, может, есть уже в имеющейся БД, это я не проверяла; проверяю в решениях, найденных от ассоциативных ДЛК.

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

---

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

Ну вот, найдена от ассоциативных ДЛК 11-ка

[DLK(11):4828]
0 2 5 8 6 3 7 4 1
3 1 7 6 5 8 2 0 4
4 7 2 1 8 6 3 5 0
8 4 0 3 7 2 5 1 6
7 8 6 5 4 0 1 2 3
6 0 1 7 3 5 4 8 2
1 5 8 0 2 4 6 3 7
2 6 3 4 0 1 8 7 5
5 3 4 2 1 7 0 6 8

Этот ДЛК не ассоциативный, значит, решение рикошетное.
Семёрки и 17-ки пока не нашлось.

Продолжаю проверку ассоциативных ДЛК, пока в БД ничего не добавилось. Это ожидаемый результат.
Впереди у меня ещё второе направление.
Примерно третью часть ассоциативных ДЛК в линейке 1 проверила.

---

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

Поиск КФ ОДЛК в линейке 9 продолжаю.
Результаты есть, пока их накапливаю, потом обработаю.
На данный момент найдено 47 марьяжных ДЛК в этой линейке; ну, уникальных гораздо меньше - раза в два.
Всё равно есть и уникальные решения.

Проверку ассоциативных ДЛК пока остановила, так как ничего нового не находится.

---

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

Обработала накопленные марьяжные ДЛК в линейке 9.
Удалось найти 115 уникальных КФ ОДЛК.

В итоге БД подросла до 22305 КФ ОДЛК.

Ещё не сделала постобработку новых КФ ОДЛК Канонизатором ЛК по ДЛК.
Попозже сделаю.

PS. Постобработка новых КФ ОДЛК ничего не добавила.

---

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

Остановила поиск в линейке 9, очень мало стало появляться решений.

И перешла к новой стратегии.
Вообще-то она не новая, но уже почти забытая.
Совершенно случайно наткнулась в архиве загрузок на эту папку.
Когда только начинала заниматься БД КФ ОДЛК 9-го порядка, привлекла Harry White к решению проблемы.
Послала ему найденные мной 20 линеек для СН ДЛК 9-го порядка и попросила написать генератор.
Может, я тут уже рассказывала об этом генераторе (?), посмотрите.
Генератор отличный! Он генерирует миллион СН ДЛК в заданной линейке примерно за 10 секунд.
Эти СН ДЛК надо канонизировать перед проверкой на марьяжные ДЛК, потому что среди них могут оказаться изоморфные СН ДЛК.
Огромный плюс этого алгоритма в том, что непрерывность поиска обеспечена.
Ищем порционно: генератор генерирует миллион СН ДЛК, они проверяются на марьяжные ДЛК, затем генерируется следующая порция.
Программы не надо прерывать! И не потеряется последний проверенный СН ДЛК (или последняя проверенная КФ, как в программе Белышева generator_kf_odlk9).
[Програма Белышева тоже может быть запущена в непрерывном режиме (с ключом m), но это неудобная для меня непрерывность: я на ночь выключаю компьютер. Поэтому мне нужна порционная непрерывность.]

Для стартового ДЛК можно взять любую КФ из БД, а можно и просто любой СН ДЛК из какой-нибудь линейки.
Я взяла КФ из БД, и сразу же сильно повезло. Нашлось много решений, в том числе и уникальных.
БД КФ ОДЛК выросла до 23676 КФ ОДЛК (+1371 КФ ОДЛК).

Сегодня продолжу.

---

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

БД КФ ОДЛК выросла у нас с черепашкой до 24153 КФ ОДЛК (+477)!

Медленно, но верно мы продвигаемся вперёд.
Трудно угадать, в какой области находятся решения.
Тактика у меня основана на интуиции.
Иду по имеющейся БД, смотрю на решения, выбираю КФ, с какой начать поиск.
Иногда попадаются очень продуктивные области, а порой бывает пусто.

Проверять тотально (всё подряд) - тактика грубой силы. Это хорошо для BOINC. Да и то не совсем хорошо, как мы видим на примере BOINC-проектов для поиска ОДЛК порядка 10.
Преимущество только в том, что БД для порядка 9 будет значительно меньше, нежели для порядка 10.

В последней порции решений больших групп пар ОДЛК нет, самая большая - восьмёрка, вот она

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

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

---

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

Господа!

Чтобы вы могли присоединиться к проекту "БД КФ ОДЛК порядка 9", я выкладываю ПО
https://yadi.sk/d/8DXzqszSThG4zA
(архив небольшой, 2,1 Мб)

ПО было создано Белышевым и Harry White.

Это скрипт, который работает у меня

@echo off
DLS9R1BdFdCP.exe
copy TemporaryDLS9R1BdFd.txt input.txt
kanonizator_dlk9.exe < vvod1.txt
copy output.txt input.txt
ortogon_u.exe < Y.txt
copy /b rez.txt+mates.txt rez.txt
pause

Перед запуском скрипта необходимо записать стартовый ДЛК в файл DLS9R1BdFdLast.txt.
Стартовым ДЛК может быть любой СН ДЛК из какой-нибудь линейки или любая КФ из существующей БД.

В процессе работают следующие программы:
1. DLS9R1BdFdCP.exe, программа генерации СН ДЛК в выбранной линейке, автор Harry White;
2. kanonizator_dlk9.exe, программа канонизации СН ДЛК, автор Белышев;
3. ortogon_u.exe, программа проверки ДЛК на ОДЛК, автор Белышев.

Процесс можно зациклить.
Результаты записываются в файл rez.txt.
Для удобства я копирую результаты из файла mates.txt, это один из выходных файлов программы ortogon_u.exe.
Поэтому важно: обязательно найдите все ортогональные ДЛК к полученным в файле rez.txt квадратам с помощью программы ortogon_u.exe.
Затем все полученные результаты канонизируйте.
И далее уже пойдёт постобработка полученных КФ ОДЛК (поиск ОДЛК от ОДЛК).

В архиве вы найдёте файл Variants_of_Diagonal.txt.
Это линейки (побочные диагонали) для СН ДЛК 9-го порядка.
Этот файл я послала Harry перед тем, как он начал писать программу генерации.

Вы можете генерировать СН ДЛК в любой выбранной линейке в любом (разумном) количестве программой Harry DLS9R1BdFd.exe, которую тоже найдёте в архиве.
Инструкция при генерации понятна по запросам программы.
Если есть вопросы, задавайте.

Маленькую БД КФ ОДЛК я выложила давно здесь
https://yadi.sk/d/qbqG65bt3Re8RP
В этой первоначальной части БД всего 6795 КФ ОДЛК.
На данный момент составленная мной БД КФ ОДЛК содержит 24153 КФ ОДЛК.
Это, конечно, очень мало пока.
Но на одном ПК трудно получить много решений.

Пожалуйста, присоединяйтесь к проекту!

---

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

Я объявила официальное открытие проекта "БД КФ ОДЛК порядка 9"
https://boinc.progger.info/odlk/forum_thread.php?id=165

Задача очень интересная.
Если полная БД КФ ОДЛК порядка 8 легко может быть составлена на одном ПК, то с порядком 9 не так всё просто.
Я занимаюсь БД КФ ОДЛК порядка 9 давно; правда, был большой перерыв.
Пока найдено очень мало уникальных КФ ОДЛК.

Согласно последовательности OEIS https://oeis.org/A287764

Number of main classes of diagonal Latin squares of order n.
1, 0, 0, 1, 2, 2, 972, 4873096, 3292326155394

надо проверить 3292326155394 КФ ДЛК 9-го порядка на ОДЛК.
Один ПК тут не справится, даже мощный ПК.

Я уже писала в теме, как работаю сейчас.
По сути это метод интервалов.
Выбираю в имеющейся у меня БД некоторую КФ (интуитивно) и запускаю поиск, начиная с этой КФ.
Если несколько выполнений скрипта ничего не дали, выбираю другую КФ из БД.
Скрипт у меня рассчитан на 5 миллионов СН ДЛК. КФ среди них иногда бывает меньше (есть изоморфные СН ДЛК).

Можно изменить тактику.
Например, можно заняться поиском в одной линейке.
Harry установил в каждой линейке количество групп (по первой строке).
Вот можно разбить поиск в линейке по группам.
Генератор Harry White генерирует СН ДЛК в заданной линейке и в заданной группе этой линейки.

Ну, и ещё можно придумать много разных тактик.
Было бы желание!
Главное: есть отличное ПО.

---

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

Пример работы программы генерации Harry White DLSR1BdFd.exe (программа включена в архив)

Monday 2020-08-10 14:38:58 Iineianeia a?aiy (ceia)

Continue from last DLS, y (yes) or n (no)? n
Which /diagonal variant, (1 .. 20)? 3
Which row 1 choice, (1 .. 928)? 10

How many? 100
.. writing DLS to file 9DLS_1.txt
DLS of:
0 2 3 4 8 6 7 5 1
. 1 . . . . . 2 .
. . 2 . . . 3 . .
. . . 3 . 0 . . .
. . . . 4 . . . .
. . . 8 . 5 . . .
. . 5 . . . 6 . .
. 6 . . . . . 7 .
7 . . . . . . . 8

Number of DLS 100
Continue? y (yes) or n (no)?

Первый вопрос программы: надо ли воспользоваться последним сохранённым ДЛК?
Отвечаем на вопрос - нет (n).
Если ответить "да", программа начнёт генерацию с ДЛК, записанного в файл DLS9R1BdFdLast.txt.

После этого программа спрашивает, какой вариант диагонали надо выбрать. Это линейки, их 20 штук.
Я выбрала линейку 3.
Далее программа спрашивает, какую первую строку надо выбрать в указанной линейке.
В линейке 3 существует 928 вариантов первой строки (это группы в моей терминологии).
Я выбрала группу 10.
Последний вопрос: сколько сгенерировать СН ДЛК?
Я ввела 100.

Вот и всё. Программа сгенерирует нужное количество СН ДЛК в выбранной линейке и запишет их в файл 9DLS.txt.
Очень простая процедура. И весьма полезная!

PS. В консоли вы видите в ДЛК выбранный вариант побочной диагонали (линейка) и выбранный вариант первой строки (группа).
Линейки выбираются в соответствии с файлом Variants_of_Diagonal.txt (файл включён в архив).

---

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