Главное - записался в start.txt последний найденный ОДЛК

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

Завтра с него и начну дальше проверять.
Всё удачно сложилось в этом грандиозном интервале: тотальная проверка не нарушится. И повторение проверки будет не слишком большим.

---

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

И так бывает даже в конце линейки

. . . . . .
СНДЛК: 1085238627 КФ: 1461770 время: 7152 сек
СНДЛК: 1086011546 КФ: 1462301 время: 7157 сек
СНДЛК: 1086868508 КФ: 1462301 время: 7162 сек
СНДЛК: 1087727442 КФ: 1462301 время: 7167 сек
СНДЛК: 1088646400 КФ: 1462301 время: 7172 сек
Найден ОДЛК #26
Найден ОДЛК #27
Найден ОДЛК #28
Найден ОДЛК #29
Найден ОДЛК #30
Найден ОДЛК #31
Найден ОДЛК #32
Найден ОДЛК #33
СНДЛК: 1089318575 КФ: 1464079 время: 7177 сек
СНДЛК: 1089956772 КФ: 1466520 время: 7182 сек
СНДЛК: 1090613311 КФ: 1468527 время: 7187 сек
СНДЛК: 1091378664 КФ: 1469484 время: 7192 сек
СНДЛК: 1092095963 КФ: 1470224 время: 7197 сек
СНДЛК: 1092714116 КФ: 1471608 время: 7202 сек
СНДЛК: 1093388657 КФ: 1473277 время: 7207 сек
. . . . . . .

А вот и гиблое место (жуткая пустыня)

. . . . . . . 
СНДЛК: 469359498 КФ: 572313 время: 3045 сек
СНДЛК: 470280454 КФ: 572313 время: 3050 сек
СНДЛК: 471238072 КФ: 572313 время: 3055 сек
СНДЛК: 472179329 КФ: 572313 время: 3060 сек
СНДЛК: 473107888 КФ: 572313 время: 3065 сек
СНДЛК: 474020853 КФ: 572313 время: 3070 сек
СНДЛК: 474907791 КФ: 572313 время: 3075 сек
СНДЛК: 475846889 КФ: 572313 время: 3080 сек
СНДЛК: 476806688 КФ: 572313 время: 3085 сек
СНДЛК: 477733298 КФ: 572313 время: 3090 сек
СНДЛК: 478309233 КФ: 572313 время: 3095 сек
СНДЛК: 479164749 КФ: 572313 время: 3100 сек
СНДЛК: 479940231 КФ: 572313 время: 3105 сек
СНДЛК: 480594259 КФ: 572313 время: 3110 сек
СНДЛК: 481293932 КФ: 572313 время: 3115 сек
СНДЛК: 482006575 КФ: 572313 время: 3120 сек
СНДЛК: 482689401 КФ: 572313 время: 3125 сек
СНДЛК: 483437747 КФ: 572313 время: 3130 сек
СНДЛК: 484240209 КФ: 572313 время: 3135 сек
СНДЛК: 484979615 КФ: 572313 время: 3140 сек
СНДЛК: 485830842 КФ: 572313 время: 3145 сек
СНДЛК: 486687824 КФ: 572313 время: 3150 сек
СНДЛК: 487530213 КФ: 572313 время: 3155 сек
СНДЛК: 488277035 КФ: 572313 время: 3160 сек
. . . . . . .

СН ДЛК идут, КФ нет ни одной.
Приближаемся к концу линейки.

---

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

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

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

Она в линейке №1 находится (не рикошетная).

Сегодня, наверное, закончим прощупывать линейку №1.
Уже начали пустыни попадаться.

---

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

А вот уникальная троечка найдена в линейке №1

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

Пока идём, всё ближе конец линейки.
Всё чаще попадаются пустыни.

---

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

Уф! Устали прощупывать :) Может, хватит уже прощупывать линейку №1?
Всё меньше решений встречается, всё больше становятся пустыни. Конец линейки!
Но там ещё "хвост". А это вообще сплошная пустыня! Мрак!

Немножко подшлифовала свою утилиту, которая выписывает ОДЛК 9-го порядка для заданной линейки из текущей БД.
Так вот, в линейке №1 на данный момент содержится 1563 КФ ОДЛК.
Вот хвост вывода утилиты

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

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

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

KVADRATOV W LINEYKE 1 SODERJITSYA 1563

По результатам двух BOINC-проектов это количество равно 1655, если эти результаты верные.
Итак, не добрали мы с черепашкой в линейке №1 всего 92 КФ ОДЛК.
Эти КФ ОДЛК остались в проблемных областях, которые я обходила.
Результаты получены неплохие по линейке №1.

Теперь выписываю утилитой КФ ОДЛК из линейки №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 

KVADRATOV W LINEYKE 5 SODERJITSYA 673 

Отлично! Тут по результатам BOINC-проектов должно быть 718 КФ ОДЛК.
Не добрали всего 45 КФ ОДЛК.
В этой линейке есть висяк, то есть одна из 20 групп всё ещё считается.
Ну и "хвост", разумеется, который тоже считается.

Интересно: если недостающие 45 КФ ОДЛК окажутся в обрабатываемой группе 1, получается, что "хвост" пустой.
Это будет хороший исход эксперимента.
А вот если в группе 1 будут не все 45 КФ ОДЛК, значит, оставшиеся КФ ОДЛК - в "хвосте".
И найти их не так просто, потому что "хвост" в один поток может обрабатываться несколько недель.
Надо что-то придумывать для убыстрения обработки "хвоста".
Самый простой вариант: разбить "хвост", скажем, тоже на 20 групп и запустить обработку на 20 ядрах.
Это несколько поможет.

В общем, пока ждём завершения группы 1.

Да, наша БД подросла до 52867 КФ ОДЛК (+100).
Сегодня помощник не снимал результаты.
+100 это черепашка нашла.

---

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 

KVADRATOV W LINEYKE 7 SODERJITSYA 20350

Есть небольшой прирост, на начало эксперимента в линейке было 20266 КФ ОДЛК.
В этой линейке завершилась пока всего одна группа из 20.
Остальные 19 групп считаются, результаты из них не снимались.

---

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

Пришли результаты от помощника.
После обработки всех результатов получено 637 уникальных КФ ОДЛК.
В данный момент по линейкам, которые обрабатывает помощник:

линейка №5 - 691 КФ ОДЛК;
линейка №7 - 20868 КФ ОДЛК.

Всего в БД: 53504 КФ ОДЛК.

Есть одна тройка и одна шестёрка, остальные однушки, двушки и четвёрки.
Покажу тройку и шестёрку

[DLK(6):383]
0 8 6 2 7 3 5 4 1
4 1 3 6 5 8 7 0 2
7 6 2 5 8 0 3 1 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
1 4 8 0 2 7 6 5 3
3 2 5 1 6 4 8 7 0
5 0 7 4 3 1 2 6 8

[DLK(3):412]
0 6 5 4 7 3 2 8 1
6 1 3 2 8 7 4 0 5
8 7 2 5 1 0 3 4 6
7 4 0 3 5 6 8 1 2
2 5 1 0 4 8 7 6 3
1 8 6 7 2 5 0 3 4
4 0 8 1 3 2 6 5 7
3 2 4 8 6 1 5 7 0
5 3 7 6 0 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

Итак, с момента начала совместных экспериментов найдено 1485 уникальных КФ ОДЛК.
Включила для этой порции решений постобработку.
Пока обработала Канонизатором ЛК по ДЛК.
Добавление: 67 уникальных КФ ОДЛК.
Завтра продолжу постобработку двумя шахматными алгоритмами и ещё одним алгоритмом.

Это найденная при постобработке уникальная шестёрка

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

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

У нас в экспериментах тотальная проверка вряд ли может быть выполнена полностью.
Поэтому нам постобработка нужна.
Мы экспериментируем. Это интересно.
Получить всю БД КФ ОДЛК на 20 ядрах плюс моя черепашка нереально.

---

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

Интересный момент.
Проверила, есть ли в новых решениях, полученных постобработкой, КФ ОДЛК из линеек №№ 5 и 7.
Из линейки №5 нет.
А из линейки №7 - вот они

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

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

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

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

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

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

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

There are 7 squares in the rule 7 

7 новых решений найдено. Легко! Они не помешают нам.

---

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

А это из линейки №1 в той же порции решений из 67 квадратов

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

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

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

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

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

There are 5 squares in the rule 1 

Я 92 КФ ОДЛК не добрала в этой линейке, вот уже 5 добрала постобработкой. Совсем неплохо.

---

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

Постобработка продолжается!

Новая пятёрочка найдена при постообработке

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

Сейчас обрабатываю двумя шахматными алгоритмами.

---

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

Пока черепашка выполняет постобработку, я порисую в Gephi.
Вот эту шестёрочку возьму, недавно найденную

0 8 6 2 7 3 5 4 1
4 1 3 6 5 8 7 0 2
7 6 2 5 8 0 3 1 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
1 4 8 0 2 7 6 5 3
3 2 5 1 6 4 8 7 0
5 0 7 4 3 1 2 6 8

Рассматриваю только два уровня.
На первом уровне это основной ДЛК и 6 его ортогоналек, всего 7 ОДЛК (уникальных пять).
На втором уровне от 6 ортогоналек получено 8 соквадратов (уникальный один).
Таким образом, второй уровень не бесполезный, есть один новый ОДЛК.
Всего в двух уровнях 15 ОДЛК (6 уникальных).
Эти ОДЛК образовали 46 ортогональных пар.
Таблица ортогональных пар, выданная утилитой Harry White

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

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

Иллюстрация этой конфигурации, нарисованная в Gephi



Довольно чётко видны все рёбра; я чуть-чуть перетащила некоторые узлы.

А вот вам задачка: есть ли в этой конфигурации MODLS?
Ну, одна тройка MODLS, конечно, есть; её видно сразу.
Есть ли ещё тройки MODLS? Сколько?
Есть ли MODLS из более трёх ОДЛК?
Задачку, разумеется, проще решать не по иллюстрации, а по таблице ортогональных пар.

---

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

Минимальная КФ ОДЛК в линейке

Почти во всех линейках существует проблема поиска минимальной КФ ОДЛК.
Выше показана информация о всех 20 линейках, в которой присутствует минимальная КФ для каждой линейки.
Как правило, минимальная КФ является "пустышкой".
И в большинстве линеек интервал от минимальной КФ до минимальной КФ ОДЛК огромный.
В этом и состоит проблема.
Если вы запустите поиск минимальной КФ ОДЛК "с нуля" (по программе Белышева generator_kf_odlk9), этот поиск будет выполняться очень долго.
Я запускала такой поиск в нескольких линейках.
Поиск удался только в линейках №№ 1 и 9.

Можно запустить поиск минимальной КФ ОДЛК не "с нуля", а с минимальной КФ.
Но это мало что изменит, поиск будет по-прежнему долгий.

В экспериментах, которые выполняет помощник в линейках №№ 5 и 7, минимальные КФ ОДЛК уже найдены.
Теперь попробовала найти минимальную КФ ОДЛК в линейке №4.
Вроде и не очень большой интервал между минимальной КФ и минимальной КФ ОДЛК.
Это минимальная КФ

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 5 0 3 8 2 1 6 7
3 7 6 8 4 0 5 1 2
6 8 1 7 0 5 2 3 4
7 3 8 2 1 4 6 5 0
8 6 5 0 2 1 4 7 3
5 4 7 1 6 3 0 2 8

а это минимальная КФ ОДЛК, которую всё-таки нашла

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

Искала долго. При этом сначала искала с помощью программы Harry White, эта стратегия поиска описана тут.
Потом переключилась на программу Белышева.

Теперь нацеливаемся с черепашкой прощупать линейку №4.
Вот закончим постобработку и займёмся этим.

---

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

Шахматные алгоритмы отстрелялись ещё вчера, они дали 23 новых КФ ОДЛК.
А сейчас идёт постобработка последним алгоритмом, это самый медленный алгоритм.
Завтра должна закончить.
Уже получено 67+23=90 новых КФ ОДЛК (это от Канонизатора ЛК по ДЛК и шахматных алгоритмов).
От последнего алгоритма будет примерно столько же новых КФ ОДЛК.

---

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

Всё, постобработка завершена.
Всего в результате постобработки (порции из 1485 КФ ОДЛК) получено 293 новых КФ ОДЛК.
Очень хорошо!

Наша БД выросла до 53797 КФ ОДЛК.

---

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

Это уже идём дальше.
Найдены только что две уникальные 16-ки

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

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

С утречка черепашке везёт :)

---

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

Это я кое-что проверяю в линейке №7

. . . . . . . 
Найден ОДЛК #305
Найден ОДЛК #306
Найден ОДЛК #307
Найден ОДЛК #308
Найден ОДЛК #309
Найден ОДЛК #310
Найден ОДЛК #311
Найден ОДЛК #312
Найден ОДЛК #313
Найден ОДЛК #314
Найден ОДЛК #315
Найден ОДЛК #316
Найден ОДЛК #317
Найден ОДЛК #318
Найден ОДЛК #319
Найден ОДЛК #320
Найден ОДЛК #321
Найден ОДЛК #322
Найден ОДЛК #323
Найден ОДЛК #324
Найден ОДЛК #325
СНДЛК: 992139 КФ: 712982 время: 412 сек
Найден ОДЛК #326
Найден ОДЛК #327
. . . . . . . .

Линейка №7 у нас рекордсменка!
Сейчас её прощупывает помощник.
Ну, он прощупывает намного сильнее, чем мы с черепашкой, - до самой последней косточки :)
Единственное, что от него может ускользнуть, - это "хвост".
Если "хвост" не пустой, найти в нём решения очень проблематично.
Попадаются также и другие проблемные области в этой линейке, но мы надеемся с ними справиться.

---

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

Итак, мы с черепашкой начали прощупывать линейку №4.
Информация о линейке

Линейка №4
1 0 3 2 4 7 8 6 5
вариантов первой строки 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 5 0 3 8 2 1 6 7
3 7 6 8 4 0 5 1 2
6 8 1 7 0 5 2 3 4
7 3 8 2 1 4 6 5 0
8 6 5 0 2 1 4 7 3
5 4 7 1 6 3 0 2 8

Я уже нашла минимальную КФ ОДЛК в линейке

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

На момент начала эксперимента линейка содержит 3475 КФ ОДЛК (сейчас, возможно, уже чуть больше - из-за добавленных в результате постобработки решений).
Рейтинг у этой линейки неплохой.

---

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

Хотела нарисовать конфигурацию, порождаемую этой 16-ой, недавно найденной

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

Ну, в Gephi ничего невозможно будет разобрать.
Рассматриваю, как всегда, два уровня.
На первом уровне это 17 ОДЛК, из которых 9 уникальных.
16 ортогоналек первого уровня дали 32 ОДЛК, уникальный один.
Таким образом, второй уровень добавил один уникальный ОДЛК.
Всего в конфигурации 49 ОДЛК (10 уникальных), они образовали 528 ортогональных пар.
Покажу таблицу ортогональных пар, которую выводит утилита Harry White

2:  1
3:  1
4:  1
5:  1
6:  1
7:  1
8:  1
9:  1
10:  1
11:  1
12:  1
13:  1
14:  1
15:  1
16:  1
17:  1
18:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
19:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
20:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
21:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
22:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
23:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
24:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
25:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
26:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
27:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
28:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
29:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
30:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
31:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
32:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
33:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
34:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
35:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
36:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
37:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
38:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
39:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
40:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
41:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
42:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
43:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
44:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
45:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
46:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
47:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
48:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
49:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17

Здесь очень интересно: каждый квадрат набора 2, 3, 4, ..., 17 ортогонален каждому квадрату набора 1,18,19, ..., 49.
Итого: 16*33=528 ортогональных пар.
Если вручную рисовать, можно сделать наглядно, но нудно 528 линий рисовать :)
В Gephi наверняка не будет никакой наглядности.
Попробуйте, если интересно.

---

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

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

---

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