О-о-о!
Программа вырулила!

order? 12
Type of Latin square, 1 LS or 2 DLS? 2
Get diagonal transversals, (Y or N)? y
File name? inp
.. writing counts to file 12Transversals.txt
DLS 16477 max transversals 14586
DLS 21535 max transversals 14586

elapsed time 3:55:34

Ну, тут мало совсем Д-трансверсалей.
Это была группа ОДЛК к какому-то ДЛК 12-го порядка.

---

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

Вести с двух BOINC-проектов о поиске БД КФ ОДЛК 9-го порядка
https://vk.com/wall162891802?w=wall162891802_1397

Цитирую:

По результатам расчетов в проектах Gerasim@Home (http://gerasim.boinc.ru) и RakeSearch (https://rake.boincfast.ru/rakesearch/) найдены еще 3 новых комбинаторных структуры из ДЛК порядка 9:

* 34N94M34C2 — 012345678120478536805627413463750182587164320648213705271036854356801247734582061
* 39N100M39C — 012345678123706854548670213604537182370812546281064735756428301837251460465183027
* 34N100M34C — 012345678123706854548670213601537482370812546287064135756428301834251760465183027

Пройдено 18,66% пространства перебора, всего найдено 22431 КФ ОДЛК порядка 9"

Ого!

Пройдено 18,66% пространства перебора.

Круто!
Если посчитать пропорционально, то всего ожидается примерно 120209 КФ ОДЛК.
Что-то маловато.
У меня сейчас уже есть 52038 КФ ОДЛК. То есть я нашла уже около половины ожидаемой БД?
Думаю, вряд ли это так.
Тогда надо предположить, что результаты расположились очень неравномерно (пропорциональность исключается совсем). И в первых проверенных "18,66% пространства перебора" решений в разы меньше, чем в оставшемся пространстве.

О комбинаторных структурах я уже писала выше.
Если это конфигурации в моей терминологии, то в БД КФ ОДЛК 9-го порядка их будут сотни.

К примеру, эта комбинаторная структура

* 34N94M34C2 — 012345678120478536805627413463750182587164320648213705271036854356801247734582061

двушка
[DLK(2):1]

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

Двушек в БД не менее тысячи. Чем интересна именно эта двушка? О ней сообщается, как о новой комбинаторной структуре.
Ну, наверное, в чём-то она уникальна, если новая :)
Я уже отмечала выше, что двушка (как и другие группы ОДЛК) может иметь второй уровень, при этом либо бесполезный (по КФ), либо полезный.
И все такие двушки (с разными вторыми уровнями) будут тоже уникальны.
А вдруг ещё и третий уровень возникнет.
Так что, конфигураций тут будет о-ч-е-н-ь много.

В теме "Программа Gephi. Рисуем!" показана интересная пятёрочка ОДЛК 9-го порядка с хорошим вторым уровнем (полезным по КФ). Наверняка это тоже уникальная конфигурация.

[DLK(5)]
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

Подробно об этой пятёрочке смотрите здесь
https://boinc.progger.info/odlk/forum_thread.php?id=169&postid=6611
Возможно, у пятёрочки есть и третий уровень (и возможно, тоже полезный по КФ). Я не проверяла.

PS. Да, у показанной двушки есть второй уровень

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

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

Каждый ОДЛК двушки даёт 12-ку.
Вот этим она и уникальна.

---

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

Многопоточность программы generator_kf_odlk9, распараллеливание

Один из потенциальных помощников по поиску БД КФ ОДЛК 9-го порядка спросил меня: является ли многопоточной программа Белышева generator_kf_odlk9?
Насколько мне известно, эта программа многопоточной не является.

Тогда возникает естественный вопрос: как распараллелить процесс, то есть "раскидать по ядрам" или искусственно сделать многопоточным.
Один из самых простых способов - запустить в разных папках программу.
Но в этом способе надо уметь разделить области поиска.
Самое простое, естественно, разделение всей области поиска на 20 областей - по линейкам.
Это вообще гениальное разделение, созданное Белышевым.
Однако это очень большие области.
Ну, кто имеет 20 ядер и может работать 24 часа в сутки, ему такое разделение вполне подойдёт.

Далее вопрос о разделении на более мелкие области.
Тут тоже понятно: берём любую линейку и делим её на группы - по первой строке СН ДЛК в линейке.
В каждой линейке имеется 900+ таких групп.
Не совсем удобное количество областей, потому что раскидывать на 900 потоков сложно.
Тогда напрашивается очень простой способ: укрупнить группы и сделать их не 900, а, скажем, 16.

Далее возник вопрос: вот запустили мы 16 областей поиска на 16 ядрах.
Как программа будет отслеживать конец области поиска?
Нам-то границы областей известны, а программе Белышева они неизвестны, и она будет работать до конца линейки или пока её не прервёшь.
Ну, если хорошо подумать, и этот вопрос можно решить.

---

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

Выше приведено количество групп в каждой из 20 линеек
https://boinc.progger.info/odlk/forum_thread.php?id=44&postid=1154

Это количество было определено с помощью программы Harry White.
Кроме того, указана минимальная КФ в каждой линейке.

---

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

Я придумала ещё один способ разделения линейки на области.
Применила его к линейке №5, разделила область этой линейки на 20 групп.
Мы пока тестируем это оригинальное распараллеливание.
Посмотрим, как это будет на практике.

Суха теория, мой друг,
а древо жизни вечно зеленеет.
(с)

Я человек экспериментов. Хотя очень уважаю теоретиков, нашего Белышева, например. Он создал поистине замечательную теорию ЛК/ДЛК/ОДЛК.

---

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

Информация о линейке №5

1 0 3 6 4 2 5 8 7

содержит ассоциативные ДЛК
вариантов первой строки 916
минимальная КФ

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

Минимальная КФ ОДЛК в этой линейке, имеющаяся в БД на данный момент (текущий минимум)

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

Очень далеко от минимальной КФ; очень вероятно, что это не самое минимальное решение в линейке.

Итак, в линейке №5 имеется 916 групп, 916 непересекающихся областей поиска.
Распараллеливайте на здоровье!

Много ли СН ДЛК будет в одной группе линейки? Хороший вопрос!
А вот разделите - и узнаете :)

Как я уже отметила, моё разделение совершенно оригинальное.
У меня разделение пока на 20 областей. Границы областей известны.
Запускаем каждую область в отдельной папке. Проверяем и ждём результаты.
Отслеживание конца области - пока есть некоторый способ.
Но в идеале надо бы написать для этого скрипт.
Ну, можно ещё модифицировать программу Белышева, чтобы она умела отслеживать конец области поиска.

---

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

Цитата

Минимальная КФ ОДЛК в этой линейке, имеющаяся в БД на данный момент (текущий минимум)

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

Очень далеко от минимальной КФ; очень вероятно, что это не самое минимальное решение в линейке.

Ах, да! Был же старт и были первые решения на старте :)
Вот они (из первой группы линейки №5)

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

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

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

Минимальное решение подтверждено!
Хороший старт. Первые три решения в линейке найдены. И это уже незыблемо, ибо тотальная проверка.

Обратите внимание, как далеко друг от друга второе и третье решения.

---

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

Горячая новость от помощника

Пока найдено 858 шт.
Это общее число квадратов по всем (20-ти) ядрам.
И это примерно за 18 часов расчета.

Это прекрасные результаты!
Всё это в линейке №5.
В имеющейся у меня БД есть решения из линейки №5 в количестве 543 шт.
Теперь их уже намного больше. Супер!

---

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

Линейка №5 у помощника досчитывается, точнее - досчитываются 20 нормальных групп.
Последняя КФ 20-й группы

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

За этой КФ начинается жуткая пустыня - КФ вообще пропали!
Это проблема "хвоста" - абсолютно нерешаемая при тотальной проверке.
Если бы не тотальная проверка, этот "хвост" просто бросили бы. При тотальной проверке бросить нельзя.
"Хвост" может проверяться безобразно долго.
Где пустыня закончится - неизвестно; возможно, она потянется до конца линейки. А может быть, встретятся ещё небольшие оазисы.

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

---

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

Думаю, как решить проблему "хвоста".
Вся область пустыни известна.
Можно делить её дальше на группы с помощью программы Harry White, например.
И каждую группу проверять на наличие КФ.
Но это не даёт никакого эффекта - то же самое сделает программа Белышева, запущенная со стартовой точки пустыни.
Программа будет проверять всю пустыню до конца линейки.
Найдутся оазисы - программа их не пропустит.

Ничего другого пока не придумывается :(

---

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

Последние новости о поиске КФ ОДЛК 9-го порядка в двух BOINC-проектах

По результатам расчетов в проектах Gerasim@Home (http://gerasim.boinc.ru) и RakeSearch (https://rake.boincfast.ru/rakesearch/) найдена еще 1 новая комбинаторная структура из ДЛК порядка 9:

* 6N9M4C — 012345678123078564468701325256430187687513042571286430835124706340867251704652813

Пройдено 22,51% пространства перебора, всего найдено 23346 КФ ОДЛК порядка 9

отсюда
https://vk.com/wall162891802

Более пятой части пройдено, а решений что-то мало.
Ну, возможно, решения пойдут дальше гуще :)

У нас с помощником неизвестно, какая часть пространства перебора пройдена.
БД на данный момент содержит 52182 КФ ОДЛК.

У помощника всё ещё считается линейка №5.
У меня считается в любом месте - где понравится.

"Хвост" линейки №5 тоже считается. А куда же деваться, проверять его надо.
Пока эта чёртова дыра не дала ни одного решения! Возможно, и не даст.

---

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

Приготавливая помощнику данные, выписала решения из всех линеек имеющейся на данный момент БД.
Самой крутой оказалась линейка №7, она содержит 20257 КФ ОДЛК.
Решения в БД имеются из всех 20 линеек.
Но вот львиная доля решений из линейки №7.

А самая хилая - линейка №2, всего 117 КФ ОДЛК содержит на данный момент.

---

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

Цитата

Анализ новых результатов: пока ничего интересного не найдено; большинство новых решений - однушки, изредка двушечки попадаются.

Покажу двушечки в новых результатах

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Сколько здесь оригинальных конфигураций - не знаю, не проверяла.
Можно проверить на досуге.

---

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

Горячая новость от помощника

В работе остались 4 группы из 20 (в линейке №5).
Это замечательно!

Удручает "хвост": мотается, мотается, решений не даёт... Б-р-р-р...
И отрубить его нельзя. Без этого мерзкого "хвоста" очень симпатичная была бы линеечка.

---

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

Посмотрим на линейку №1

Линейка №1 (1)
1 0 3 2 4 6 5 8 7

содержит ассоциативные ДЛК
вариантов первой строки 920
минимальная КФ

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

Эта линеечка мной долго проверялась с самого начала; было найдено довольно много КФ ОДЛК.
Работала, разумеется, программа Белышева generator_kf_odlk9
В теме всё это описано, весь мой поиск в этой линейке.

Теперь сравним с теми решениями, которые нашёл помощник при тестировании программы.
Вот консоль при работе программы

./generator_kf_odlk9
Генератор КФ ОДЛК9

Старт:

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

Найден ОДЛК #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

Продолжить? (Y/N): y (auto)
Найден ОДЛК #2:

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

Продолжить? (Y/N): y (auto)
Найден ОДЛК #3:

0 2 3 4 5 6 7 8 1
2 1 6 7 8 3 4 0 5
5 6 2 1 7 8 3 4 0
8 4 7 3 1 2 0 5 6
3 5 8 0 4 7 1 6 2
1 7 0 6 3 5 8 2 4
4 3 5 8 2 0 6 1 7
6 8 1 5 0 4 2 7 3
7 0 4 2 6 1 5 3 8
. . . . . 
Продолжить? (Y/N): y (auto)
Найден ОДЛК #16:

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

Продолжить? (Y/N): y (auto)
Найден ОДЛК #17:

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

Было найдено 17 КФ ОДЛК с самого начала динейки.
А это мои решения (первые три и последние два из 17)

 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 

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

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

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

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

Сравнила. Всё в точности совпадает.
Отлично!

---

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

А сейчас решила ещё поискать решения в линейке №1. Линеечка хорошая.
Выбираю для старта некоторую КФ ОДЛК из БД - и вперёд.
КФ ОДЛК дружно так выскакивают, но... большинство повторяются.
Вот

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

СНДЛК: 29274 КФ: 12701 время: 5 сек
СНДЛК: 61292 КФ: 25511 время: 10 сек
СНДЛК: 91361 КФ: 38349 время: 15 сек
Найден ОДЛК #1
СНДЛК: 135832 КФ: 49840 время: 20 сек
Найден ОДЛК #2
Найден ОДЛК #3
СНДЛК: 170072 КФ: 62494 время: 25 сек
Найден ОДЛК #4
СНДЛК: 217228 КФ: 75029 время: 30 сек
Найден ОДЛК #5
СНДЛК: 275472 КФ: 87212 время: 35 сек
Найден ОДЛК #6
СНДЛК: 306393 КФ: 100142 время: 40 сек
СНДЛК: 350226 КФ: 112775 время: 45 сек
СНДЛК: 399674 КФ: 125327 время: 50 сек
СНДЛК: 457014 КФ: 137639 время: 55 сек
Найден ОДЛК #7
СНДЛК: 533831 КФ: 149705 время: 60 сек
Найден ОДЛК #8
СНДЛК: 618864 КФ: 161510 время: 65 сек
Найден ОДЛК #9
СНДЛК: 674635 КФ: 173882 время: 70 сек
СНДЛК: 720570 КФ: 186449 время: 75 сек
СНДЛК: 773671 КФ: 198929 время: 80 сек
СНДЛК: 884236 КФ: 210348 время: 85 сек
Найден ОДЛК #10
СНДЛК: 1002842 КФ: 221508 время: 90 сек
СНДЛК: 1104831 КФ: 233175 время: 95 сек
. . . . . . . 

Однако и новые выскакивают иногда :) Очень интересный процесс.
Здесь у меня работает программа Белышева generator_kf_odlk9 в непрерывном режиме (запущена с ключом /m).
Весело, запущу и смотрю увлекательное кино :)
Когда КФ ОДЛК уже долго не появляются, прерываю и иду в другой интервал.

---

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

Запустила новый интервал (по-прежнему в линейке №1)

Найден ОДЛК #1
Найден ОДЛК #2
Найден ОДЛК #3
Найден ОДЛК #4
Найден ОДЛК #5
Найден ОДЛК #6
СНДЛК: 37684 КФ: 12428 время: 5 сек
СНДЛК: 73936 КФ: 24784 время: 10 сек
Найден ОДЛК #7
Найден ОДЛК #8
Найден ОДЛК #9
Найден ОДЛК #10
СНДЛК: 113766 КФ: 37176 время: 15 сек
СНДЛК: 151664 КФ: 49771 время: 20 сек
Найден ОДЛК #11
Найден ОДЛК #12
СНДЛК: 194424 КФ: 62201 время: 25 сек
СНДЛК: 236975 КФ: 74617 время: 30 сек
Найден ОДЛК #13
Найден ОДЛК #14
Найден ОДЛК #15
Найден ОДЛК #16
СНДЛК: 281179 КФ: 86921 время: 35 сек
Найден ОДЛК #17
Найден ОДЛК #18
Найден ОДЛК #19
Найден ОДЛК #20
СНДЛК: 324968 КФ: 99292 время: 40 сек
СНДЛК: 370468 КФ: 111580 время: 45 сек
СНДЛК: 406551 КФ: 124149 время: 50 сек
СНДЛК: 445597 КФ: 136660 время: 55 сек
СНДЛК: 481721 КФ: 149115 время: 60 сек
. . . . . . 

Весёлый старт :) всего за одну минутку найдено 20 КФ ОДЛК.
Жду новых решений. Если их долго не будет, пойду в следующий интервал.
В предыдущем интервале новые решения найдены.

---

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

Пока писала сообщение, тут у меня прогресс :)

. . . . . . . 
СНДЛК: 2886937 КФ: 1003901 время: 420 сек
СНДЛК: 2923673 КФ: 1015617 время: 425 сек
СНДЛК: 2960023 КФ: 1027827 время: 430 сек
СНДЛК: 3006342 КФ: 1040272 время: 435 сек
СНДЛК: 3069935 КФ: 1052197 время: 440 сек
СНДЛК: 3102964 КФ: 1064855 время: 445 сек
СНДЛК: 3132951 КФ: 1077784 время: 450 сек
СНДЛК: 3163145 КФ: 1090466 время: 455 сек
СНДЛК: 3195588 КФ: 1103153 время: 460 сек
СНДЛК: 3238874 КФ: 1115415 время: 465 сек
СНДЛК: 3288245 КФ: 1126104 время: 470 сек
Найден ОДЛК #63
Найден ОДЛК #64
Найден ОДЛК #65
СНДЛК: 3331475 КФ: 1137766 время: 475 сек
СНДЛК: 3368993 КФ: 1147334 время: 480 сек
СНДЛК: 3392186 КФ: 1156511 время: 485 сек
СНДЛК: 3411045 КФ: 1164451 время: 490 сек
СНДЛК: 3441874 КФ: 1172765 время: 495 сек
. . . . .

65 ОДЛК! Супер.
Правда, новых ОДЛК может быть пока 0.
Я уже отмечала выше, что для ОДЛК порядка 9 часто встречаются области, в которых эти ОДЛК очень плотно расположены.
Вот пример такой области.
И в то же время встречаются жуткие пустыни. Вот такой контраст.

---

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

Сегодня нашла в линейке №1 29 уникальных КФ ОДЛК, в том числе две двушечки и троечку

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

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

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

Остальные однушки. При этом троечка рикошетная, она не из линейки №1.
Хорошее пополнение БД.

Завтра продолжу. Очень удачно получилось - нашёлся очередной ОДЛК и через 2 минуты отключили электричество.
Когда включили, посмотрела, последний найденный ОДЛК записан в файл start.txt.
Прекрасно!
Можно теперь с этого ОДЛК продолжить поиск.

---

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

https://vk.com/wall162891802?w=wall162891802_1400
Цитирую

Постобработка изменена таким образом, что теперь найденные КФ ОДЛК раскладываются по линейкам и считается число xSODLS (см. скрин). Так на данный момент найдены все 88 КФ DSODLS (интересно, верны ли полученные ранее результаты и нет ли еще? :), 108 КФ SODLS из 470 известных и 3713 КФ ESODLS.

"Верны ли полученные ранее результаты и нет ли ещё?" - спрашивает Ватутин (с оттенком юмора).

Результаты по SODLS и DSODLS 9-го порядка были найдены Francis Gaspalou и подтверждены Алексеем Белышевым.
Этого вполне достаточно, чтобы утверждать: найденные результаты верны.

Далее, Ватутин благополучно подтвердил найденные Francis Gaspalou результаты и создал последовательность в OEIS.
Но, наверное, уже забыл об этом своём подтверждении и теперь хочет подтвердить эти результаты ещё раз.
Крупный специалист по подтверждению результатов!

---

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