Выложила на Яндекс.Диск утилиту ODLK9_FROM_RULE.exe
https://yadi.sk/d/F66-JrjR3d62ow

Как пользоваться утилитой, читайте в файле readme.txt

Утилита предназначена для выписывания из БД КФ ОДЛК 9-го порядка (во втором формате) решений, принадлежащих заданной линейке (1 - 20).
Понятно, что можно выписывать квадраты из заданной линейки не только из БД КФ ОДЛК, но и из любого массива КФ ДЛК 9-го порядка во втором формате.

---

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

Если у вас есть набор различных ДЛК 9-го порядка, вы можете канонизировать ДЛК, например, канонизатором Harry White.
Об этом канонизаторе я писала здесь
https://boinc.progger.info/odlk/forum_thread.php?id=162&postid=6151

Канонизатор Harry White позволяет получить КФ ДЛК обоих форматов (и не только для порядка 9).

Можно также канонизировать ДЛК 9-го порядка канонизатором Белышева kanonizator_dlk9.
Этот канонизатор даёт КФ ДЛК только второго формата.
Канонизатор есть в архиве, выложенном тут
https://yadi.sk/d/8oNQldIm79JJMA

---

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

Пришли результаты от помощника из линеек 5 и 7.
Мощно!
От результатов из линейки 5 получено 20 уникальных КФ ОДЛК.
От результатов из линейки 7 получено 241 уникальных КФ ОДЛК.

Наша БД выросла до 54117 КФ ОДЛК.
Солидных групп ОДЛК не найдено; однушки, двушки, четвёрки и две шестёрочки

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

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

Сейчас посмотрю, что мы имеем в линейках 5 и 7 на данный момент.

---

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

Для линейки 5 утилита выдала

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

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

 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 

There are 701 squares in the rule 5

Отлично! Почти вся линейка у нас в кармане (если верить результату BOINC-проектов).
Осталось 718-701=17 КФ ОДЛК.
Вот жутко интересно: найдутся ли все эти КФ ОДЛК в первой группе, которая ещё обрабатывается.
Или же и в "хвосте" есть КФ ОДЛК.
"Хвост" паршивец - огромадный! Считаться будет чёрт знает сколько.
Пока он пустой, за две недели ни одного решения!

---

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

Для линейки 7 утилита выдала

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

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

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

There are 21204 squares in the rule 7

Грандиозно! И это пока не всё в этой линейке, ещё считать и считать.

---

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

Горячая новость от помощника
за сутки в линейку 5 прибыли три новые КФ ОДЛК

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

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

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

И осталось найти всего 14 КФ ОДЛК!
Очень хочется, чтобы эти КФ оказались в первой группе.
Но "хвост" меня поражает! Он содержит кучу групп (по разделению Harry White). Я потом подробно покажу это разделение.
И что? Вся эта куча групп пустая??? Это очень круто.

Эх, где же Белышев? :(
Он мог бы разгадать эту загадку.
Как это обосновать теоретически? Почему так неравномерно распределены КФ ОДЛК в линейке?
Где густо, а где абсолютно пусто.

PS. Однако... не факт, что BOINC-проекты не ошиблись и в линейке 5 действительно 718 КФ ОДЛК.
Вот тут и необходимо независимое подтверждение результата.

---

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

Вот эту конфигурацию

2;1
3;1
4;1
5;1
6;1
7;1
8;2;3;4;5;6;7
9;2;3;4;5;6;7
10;2;3;4;5;6;7
11;4;7
12;2;3;4;5;6;7
13;2;3;4;5;6;7
14;2;3;4;5;6;7
15;4;7

которую нарисовала здесь
https://boinc.progger.info/odlk/forum_thread.php?id=44&postid=6697
перерисовала.
Потому что там явный брак. Видимо, брак возник при перетаскивании узлов. Надо осторожно перетаскивать.
На прежней иллюстрации явно видны треугольники (с вершинами в узлах), а их не должно быть, так как в конфигурации нет ни одной тройки MODLS.
Новая иллюстрация



Узлы и здесь немного перетаскивала для большей чёткости.
Если вы видите на иллюстрации треугольник с вершинами в узлах, значит, опять брак.
Я вроде не вижу таких треугольников.

---

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

Мы с черепашкой прощупали несколько линеек: 4, 9, 13, 20.
Ну, ещё была линейка 1 с самого начала. С этой линейкой всё было очень успешно, найдено много новых решений.
В остальных линейках всё не так хорошо. Много проблемных областей, которые приходится обходить.
А в проверенных небольших интервалах новых решений почти нет.

На данный момент наша БД содержит 54129 КФ ОДЛК.
Сейчас приведу данные по линейкам - прощупанным черепашкой и обрабатываемым помощником.

Вот

линейка 1 - 1575
линейка 4 - 3517
линейка 5 - 704
линейка 7 - 21204
линейка 9 - 1600
линейка 13 - 8716
линейка 20 - 2012

Остальные линейки мы пока не прощупывали.

Приведу для сравнения результаты BOINC-проектов - для тех линеек, которые у них полностью обработаны.

линейка 1 - 1575 (1655)
линейка 5 - 704 (718)
линейка 9 - 1600 (2445)
линейка 20 - 2012 (2195)

Результаты BOINC-проектов в скобках.

---

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

Это идёт тотальная проверка в линейке 13

. . . . . . . 
СНДЛК: 17561071 КФ: 6906457 время: 2892 сек
СНДЛК: 17592513 КФ: 6919190 время: 2897 сек
Найден ОДЛК #67
Найден ОДЛК #68
СНДЛК: 17612656 КФ: 6929960 время: 2902 сек
СНДЛК: 17633474 КФ: 6941044 время: 2907 сек
СНДЛК: 17652571 КФ: 6952079 время: 2912 сек
СНДЛК: 17699321 КФ: 6962740 время: 2917 сек
СНДЛК: 17715011 КФ: 6972326 время: 2922 сек
СНДЛК: 17731162 КФ: 6981165 время: 2927 сек
СНДЛК: 17745713 КФ: 6991615 время: 2932 сек
Найден ОДЛК #69
Найден ОДЛК #70
Найден ОДЛК #71
Найден ОДЛК #72
Найден ОДЛК #73
Найден ОДЛК #74
Найден ОДЛК #75
Найден ОДЛК #76
Найден ОДЛК #77
Найден ОДЛК #78
Найден ОДЛК #79
СНДЛК: 17761536 КФ: 7000867 время: 2937 сек
СНДЛК: 17799788 КФ: 7013412 время: 2942 сек
СНДЛК: 17816803 КФ: 7024051 время: 2947 сек
СНДЛК: 17836913 КФ: 7035593 время: 2952 сек
СНДЛК: 17859642 КФ: 7047639 время: 2957 сек
СНДЛК: 17919831 КФ: 7059588 время: 2962 сек
СНДЛК: 17944599 КФ: 7072313 время: 2967 сек
СНДЛК: 17960376 КФ: 7083400 время: 2972 сек
СНДЛК: 17974850 КФ: 7092990 время: 2977 сек
СНДЛК: 17998597 КФ: 7105746 время: 2982 сек
СНДЛК: 18013132 КФ: 7115995 время: 2987 сек
СНДЛК: 18050979 КФ: 7127553 время: 2992 сек
СНДЛК: 18075111 КФ: 7140480 время: 2997 сек
СНДЛК: 18096288 КФ: 7153166 время: 3002 сек
СНДЛК: 18138106 КФ: 7165773 время: 3007 сек
СНДЛК: 18165888 КФ: 7178610 время: 3012 сек
СНДЛК: 18194435 КФ: 7191426 время: 3017 сек
. . . . . . . 

Решений много - толку нет: все они уже есть в БД.

---

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

Долго считала, нашлось три уникальных КФ ОДЛК.
Такой мизерный прирост.

Всё, прервала.
Ушли отдыхать мы с черепашкой.

---

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

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

Пополнение в линейке 7 дало 297 уникальных КФ ОДЛК.
Наша БД выросла до 54431 КФ ОДЛК.

Сейчас посчитаю, сколько КФ ОДЛК стало в линейке 7.
Утилита выдала

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

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

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

There are 21472 squares in the rule 7

Очень хороша линеечка!
А она ещё считается и будет считаться долго.

---

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

Мы с черепашкой продолжаем грызть линейку 13

. . . . . . . .
Найден ОДЛК #54
Найден ОДЛК #55
СНДЛК: 8706196 КФ: 2899120 время: 1231 сек
Найден ОДЛК #56
Найден ОДЛК #57
Найден ОДЛК #58
Найден ОДЛК #59
Найден ОДЛК #60
СНДЛК: 8741849 КФ: 2911757 время: 1236 сек
СНДЛК: 8780811 КФ: 2924101 время: 1241 сек
СНДЛК: 8811434 КФ: 2936418 время: 1246 сек
СНДЛК: 8844714 КФ: 2948793 время: 1251 сек
СНДЛК: 8877861 КФ: 2961269 время: 1256 сек
СНДЛК: 8913549 КФ: 2973736 время: 1261 сек
СНДЛК: 8961710 КФ: 2986148 время: 1266 сек
СНДЛК: 9055925 КФ: 2998098 время: 1271 сек
СНДЛК: 9096034 КФ: 3010773 время: 1276 сек
СНДЛК: 9209241 КФ: 3022286 время: 1281 сек
СНДЛК: 9262236 КФ: 3034676 время: 1286 сек
СНДЛК: 9298760 КФ: 3047444 время: 1291 сек
СНДЛК: 9354405 КФ: 3059796 время: 1296 сек
СНДЛК: 9396555 КФ: 3072293 время: 1301 сек
СНДЛК: 9451380 КФ: 3084629 время: 1306 сек
СНДЛК: 9506762 КФ: 3096993 время: 1311 сек
СНДЛК: 9559510 КФ: 3109075 время: 1316 сек
СНДЛК: 9606005 КФ: 3119549 время: 1321 сек
СНДЛК: 9651124 КФ: 3130495 время: 1326 сек
СНДЛК: 9684625 КФ: 3140720 время: 1331 сек
СНДЛК: 9725464 КФ: 3153013 время: 1336 сек
СНДЛК: 9792740 КФ: 3165263 время: 1341 сек
СНДЛК: 9831536 КФ: 3178051 время: 1346 сек
Найден ОДЛК #61
Найден ОДЛК #62
СНДЛК: 9913384 КФ: 3190136 время: 1351 сек
Найден ОДЛК #63
СНДЛК: 9961395 КФ: 3202651 время: 1356 сек
СНДЛК: 10000636 КФ: 3215487 время: 1361 сек
СНДЛК: 10070724 КФ: 3227503 время: 1366 сек
СНДЛК: 10118896 КФ: 3239849 время: 1371 сек
. . . . . . . . 

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

---

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

Линейка 13 сейчас содержит

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

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

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

There are 8728 squares in the rule 13 

Было в последней проверке 8716 КФ ОДЛК.
Пополнилась чуть-чуть, всего на 12 КФ ОДЛК.
Такая вот линеечка - чёртова дюжина :)
А много ли всего КФ ОДЛК в этой линеечке, мы с черепашкой пока не знаем.
Может быть, BOINC-проекты уже знают.
Проблемных областей много, тотальную проверку часто прерываю. А что содержат в себе эти гиблые места - леший их знает.
Возможно, ничего не содержат - решений то есть.

---

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

У меня отличная новость!
К нам с помощником присоединился ice00.
Теперь нас уже трое.

У ice00 два потока.
Выделила ему для обработки линейку 9.
Я немножко работала в этой линейке, но решений нашла не очень много.
На момент запуска эксперимента у ice00 эта линейка содержит 1604 КФ ОДЛК.
[По данным BOINC-проектов всего в этой линейке 2445 КФ ОДЛК.]
Конечно, у ice00 будет работать тотальная проверка.
Используется программа Белышева generator_kf_odlk9.

Ждём новые результаты из линейки 9.

PS. По сообщению ice00 исходные коды Белышева прекрасно скомпилировались под Linux.
Всё замечательно работает.
Некоторые пользователи прямо страдают в BOINC-проектах Gerasim@Home и Rake Search от отсутствия Приложения для Linux.

Пригласила бы этих страдальцев в свой ручной проект :)
У нас есть Linux.
Но ведь они хотят считать именно в BOINC-проекте, и не хотят в ручном проекте.

---

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

Данные по всем линейкам на данный момент

линейка 1 - 1575 (1655)
линейка 2 - 148 (825)
линейка 3 - 1149 (2400)
линейка 4 - 3520
линейка 5 - 704 (718)
линейка 6 - 433
линейка 7 - 21472
линейка 8 - 1077
линейка 9 - 1604 (2445)
линейка 10 - 729
линейка 11 - 3694
линейка 12 - 2674
линейка 13 - 8728
линейка 14 - 756 (1069)
линейка 15 - 1369
линейка 16 - 670
линейка 17 - 246
линейка 18 - 1348 (1555)
линейка 19 - 527 (1234)
линейка 20 - 2012 (2195)
--------------------
Всего: 54435 КФ ОДЛК

В скобках указаны результаты BOINC-проектов по завершённым у них линейкам.

---

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

Ой, чегой-то мы нашли с черепашкой :)
Грызли целый день линейку 13 и ничего нового не было.
Наконец, выскочила одна уникальная КФ ОДЛК.
Что за чертовщина!
Смотрим
это основной ДЛК
[DLK(1):1]

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

это его ортогональка

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

Оказывается, основной ДЛК и его ортогональка изоморфны. Поэтому и одна уникальная КФ ОДЛК.
В-о-о-о-т! Какой компот, с одной грушей :)

Ну что ж, потрудились на славу, одну оригинальную КФ ОДЛК нашли в линейке 13. Тоже годится.

---

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

Кстати, мы нашли уникальную конфигурацию для однушек: это однушки, которые ортогональны своим изоморфам, но не являются SODLS.
Все подобные конфигурации состоят из двух ОДЛК, которые изоморфны, но не получаются друг из друга транспонированием (как в случае SODLS).

---

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

Мы с черепашкой перешли в линейку 3, линейку 13 бросили, там уже ничего не прибавляется при нашем поиске.
Информация о линейке 3

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

вариантов первой строки 928
минимальная КФ
0 2 3 4 5 6 7 8 1
2 1 4 5 3 7 8 0 6
1 0 2 6 7 8 3 4 5
4 6 0 3 8 2 1 5 7
7 3 5 8 4 1 0 6 2
3 8 1 7 6 5 4 2 0
5 7 8 0 2 3 6 1 4
8 5 6 1 0 4 2 7 3
6 4 7 2 1 0 5 3 8

Первая КФ ОДЛК на данный момент

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

Вполне возможно, что это не минимальная КФ ОДЛК.
На данный момент в линейке содержится 1149 КФ ОДЛК.
По данным BOINC-проектов линейка 3 содержит 2400 КФ ОДЛК.

Попробуем пощупать эту линейку.

---

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

Ну вот и пощупали линейку 3.
За целый день нашли всего 6 уникальных КФ ОДЛК, все однушки.
Завтра будем щупать другую линейку.
Похоже, хорошие линейки кончились, остались линейки, состоящие сплошь из гиблых мест.
Тут, конечно, нужно подключать мощную технику и выполнять тотальную проверку.

---

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

Сегодня мы с черепашкой выбрали линейку 19.
Информация о линейке

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

вариантов первой строки 900
минимальная КФ
0 2 3 4 5 7 8 6 1
4 1 0 5 6 8 3 2 7
1 3 2 0 8 4 7 5 6
2 4 1 3 7 6 0 8 5
5 6 8 7 4 0 1 3 2
6 7 4 8 0 5 2 1 3
7 8 5 1 2 3 6 4 0
8 0 6 2 3 1 5 7 4
3 5 7 6 1 2 4 0 8

Первая КФ ОДЛК в линейке на данный момент

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

Вполне возможно, что это не минимальная КФ.

На данный момент в линейке содержится 527 КФ ОДЛК.
По результатам BOINC-проектов в линейке содержится 1234 КФ ОДЛК.
Пока у нас нет и половины решений в линейке.

Ну вот, начали прощупывать эту линеечку.
Первый же проверенный интервал принёс 24 уникальные КФ ОДЛК!
Много восьмёрок, есть 12-ка и 13-ка

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

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

Отличный результат! Тьфу-тьфу-тьфу - чтоб не сглазить :)

Завтра жду результаты от помощника, что там накапало в линейках 5 и 7.
Надеюсь, что хорошо накапало.

---

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