С утра запустила 600 однушек из БД ручного проекта.
Много находится ОДЛК, полученных поворотом блоков; такие ОДЛК либо изоморфны, либо уже есть в БД.
По окончании все решения проверю.

После планирую проверить известные близняшки: тройки, четвёрки, шестёрки, причём в двух форматах.
Не все, конечно (все четвёрки-близняшки у меня и не сохранены), а только выложенные на форуме; тут и иллюстрации есть, всё наглядно.

При проверке всех известных близняшек наткнулась на конфигурацию
https://boinc.progger.info/odlk/forum_thread.php?id=46&postid=2958#2958

Очень интересные в этой конфигурации узорчатые ОДЛК - А и В.
Один из них даёт восьмёрку, а второй - четвёрку.
Сделаю иллюстрацию для этих узорчатых ОДЛК, они в формате 2.

Вот иллюстрация



Симпатичный узор из троек и четвёрок.

От 600 однушек, что с утра проверяла, решений нашлось много, но большинство, как уже отметила, получены поворотом блоков и новых решений не дали.
Вот только два решения, в которых преобразованный ОДЛК получен не поворотом блоков

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

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

Ну и тут во втором решении ОДЛК изоморфны.

Надо брать для вторичной обработки те решения, для которых ещё не применялся алгоритм поворота блоков.
Тогда решений будет больше.
Узоры, получаемые поворотом блоков, самые распространённые.
Более сложные перестановки элементов находятся редко.
Хотя это, возможно, не всегда так. Только наблюдения для проверенных результатов.

А сегодня я проверила троечки из нашей БД, 99 штук.
Особо интересных узоров не обнаружила, только поворот блоков.
Покажу одно решение, поворот блоков, но полученные ОДЛК уникальные и каждый даёт тройку



Интересные троечки, но... юбилейной троечки не случилось: обе тройки уже есть в БД.

Однако... в реализации данного алгоритма ещё остался потенциал. Решения находятся далеко не все.
Знаю, в чём несовершенство моей реализации.

Предлагаю всем сделать более совершенную реализацию.

У меня идея усовершенствования пока в зачаточном состоянии :)

PS. Если кому-то алгоритм интересен и нужна детализация, пишите ЛС.

Пропустила через программу четвёрки из нашей БД, 530 штук.
Результаты надо смотреть, пар ОДЛК много выдалось.
Есть даже такие результаты
POSTROENO KVADRATOV 4

Ну, это когда все 4 ортогональки четвёрки - узорчатые ДЛК. Тоже интересные решения.

Результатов
POSTROENO KVADRATOV 2
много, но есть ли что-то интересное, пока не знаю.
Буду рассматривать потихоньку.

Вот первое решение от четвёрок

ОДЛК 1
0 2 4 7 5 8 9 6 3 1
6 1 3 5 7 9 8 2 0 4
4 0 2 8 9 7 5 3 1 6
1 9 5 3 6 4 2 8 7 0
5 3 7 1 4 6 0 9 2 8
2 4 0 9 8 5 7 1 6 3
3 7 8 4 0 1 6 5 9 2
8 6 9 0 2 3 1 7 4 5
9 5 6 2 1 0 3 4 8 7
7 8 1 6 3 2 4 0 5 9

ОДЛК 2
0 2 4 7 5 8 9 6 3 1
6 1 3 5 7 9 8 2 0 4
4 0 2 8 9 7 5 3 1 6
1 9 5 3 6 4 2 8 7 0
5 3 7 1 4 6 0 9 2 8
2 6 1 9 8 5 7 0 4 3
3 7 8 4 0 1 6 5 9 2
8 4 9 0 3 2 1 7 6 5
9 5 6 2 1 0 3 4 8 7
7 8 0 6 2 3 4 1 5 9

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

Как и предполагала, от четвёрок уникальных решений не получено.
Проверила пятёрку, найденную Demis, она вообще не дала никаких решений.
Сейчас проверю две пятёрки, найденные мной.

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

Порция двушек ничего не дала, зато порция однушек порадовала: два уникальных решения

ОДЛК 1
 0 6 7 2 8 4 9 5 3 1 
 4 1 5 6 7 3 8 9 0 2 
 8 9 2 1 5 0 7 3 4 6 
 6 2 1 3 0 9 4 8 5 7 
 3 0 8 7 4 6 1 2 9 5 
 1 4 0 9 2 5 3 6 7 8 
 7 5 4 8 9 1 6 0 2 3 
 2 3 9 4 1 8 5 7 6 0 
 9 7 3 5 6 2 0 1 8 4 
 5 8 6 0 3 7 2 4 1 9 

ОДЛК 2
 0 6 7 2 8 4 9 5 3 1 
 4 1 5 6 7 3 8 9 0 2 
 8 9 2 1 5 0 7 3 4 6 
 6 2 1 3 0 9 4 8 5 7 
 3 0 8 7 4 6 1 2 9 5 
 1 4 6 9 2 5 3 0 7 8 
 7 5 0 8 9 1 6 4 2 3 
 2 3 9 4 1 8 5 7 6 0 
 9 7 3 5 6 2 0 1 8 4 
 5 8 4 0 3 7 2 6 1 9 
***
ОДЛК 1 
 0 6 8 7 9 4 3 2 5 1 
 6 1 5 2 7 3 8 9 0 4 
 8 5 2 9 1 0 4 3 7 6 
 7 9 0 3 6 1 2 5 4 8 
 5 8 3 1 4 6 9 0 2 7 
 1 3 4 0 8 5 7 6 9 2 
 2 4 7 5 3 9 6 8 1 0 
 3 0 9 4 2 8 1 7 6 5 
 9 7 1 6 5 2 0 4 8 3 
 4 2 6 8 0 7 5 1 3 9 

ОДЛК 2
 0 6 8 7 9 4 3 2 5 1 
 6 1 5 2 7 3 8 9 0 4 
 8 5 2 9 1 0 4 3 7 6 
 7 9 0 3 6 1 2 5 4 8 
 5 8 3 1 4 6 9 0 2 7 
 1 3 6 0 8 5 7 4 9 2 
 2 4 7 5 3 9 6 8 1 0 
 3 0 9 4 2 8 1 7 6 5 
 9 7 4 6 5 2 0 1 8 3 
 4 2 1 8 0 7 5 6 3 9

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

Обработала сегодняшнюю порцию решений с проекта Tomas Brada ради интереса (только однушки).
Нашлись довольно интересные уникальные однушки, перестановка элементов - не поворот блоков



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

Двушки и четвёрка вообще ничего не дали.

В четвёрке, найденной сегодня в проекте Tomas Brada узорчатые ортогональки.
Продублирую иллюстрацию, ну очень красиво!



Кстати, переводила в Google пост для форума проекта Tomas Brada.
Пишу "узорчатые ДЛК", перевод - "patterned DLS", пишу "узоры", перевод - "patterns".
Ну, пусть будут паттерны. Но мне узоры больше нравятся :)
Хотя да - что-то от шаблонов здесь есть.

Новый вариант программы написала.
Опять вернулась к формату 1, он удобнее для данной программы.
Программа работает намного быстрее предыдущей версии (формат 2).
Уже обработала этой программой порцию однушек.
Весьма оригинальное нашлось решение



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

Ни четвёрки, ни шестёрки, ни восьмёрки новых решений не дали.
Зато однушки хорошо обрабатываются!
Обработала новой программой однушки из сегодняшней порции с проекта Tomas Brada.
Покажу два решения: уникальные однушки от ОДЛК 1 и от ОДЛК 2 получаются

ОДЛК 1
0 1 2 3 4 5 6 7 8 9
1 2 0 4 5 3 8 9 6 7
6 7 8 9 3 4 1 5 0 2
3 0 9 7 2 8 4 6 1 5
7 4 1 2 6 0 5 3 9 8
9 3 6 5 7 1 0 8 2 4
8 5 4 1 0 7 9 2 3 6
5 6 3 0 8 9 2 4 7 1
4 8 7 6 9 2 3 1 5 0
2 9 5 8 1 6 7 0 4 3

ОДЛК 2
0 1 2 3 4 5 6 7 8 9
1 2 0 4 5 3 8 9 6 7
6 7 8 9 3 4 1 5 0 2
3 0 9 7 2 8 4 6 1 5
7 4 1 5 6 0 2 3 9 8
9 3 6 0 7 1 5 8 2 4
8 5 4 1 0 7 9 2 3 6
5 6 3 2 8 9 0 4 7 1
4 8 7 6 9 2 3 1 5 0
2 9 5 8 1 6 7 0 4 3
***
ОДЛК 1
0 1 2 3 4 5 6 7 8 9
1 2 0 4 5 8 9 3 6 7
5 8 6 9 7 3 0 2 4 1
2 0 9 7 3 6 4 5 1 8
6 5 3 8 1 0 7 4 9 2
4 3 1 2 8 9 5 0 7 6
8 6 4 1 0 7 3 9 2 5
7 4 5 6 9 2 1 8 3 0
9 7 8 0 6 4 2 1 5 3
3 9 7 5 2 1 8 6 0 4

ОДЛК 2
0 1 2 3 4 5 6 7 8 9
1 2 0 4 5 8 9 3 6 7
5 8 6 9 7 3 0 2 4 1
2 0 9 7 3 6 4 5 1 8
6 5 3 8 1 0 7 4 9 2
7 4 1 2 8 9 5 0 3 6
8 6 4 1 0 7 3 9 2 5
4 3 5 6 9 2 1 8 7 0
9 7 8 0 6 4 2 1 5 3
3 9 7 5 2 1 8 6 0 4

5000 однушек обрабатываются за 5 минут. Это хорошая скорость. Но можно, конечно, оптимизировать программу.

Главное не в этом. Главное в том, что это только один из вариантов программы, а вариантов надо написать о-ч-е-н-ь много, чтобы находить все решения, получаемые из известных решений перестановками элементов.
Выше уже говорила об этом. Надо написать отдельные модули и соединить их в одну программу.
Мы имеем более 10 миллионов КФ ОДЛК. Полная реализация моего алгоритма даст от этих 10 миллионов очень много новых КФ ОДЛК.

Вот такое чудо подарили однушечки



Здесь и поворот блока есть, блок {6,7}. Сложная, интересная перестановка! Восторг!!!
И однушечки получились уникальные.

Господа!
Вы будете смеяться, но мне очень сильно кажется, что можно останавливать поиск ОДЛК во всех BOINC-проектах :)
Все оставшиеся ОДЛК получатся из уже имеющихся вот этим самым алгоритмом, который я вам здесь демонстрирую.

Ну вот представьте на мгновение какой-то ОДЛК, который ещё не найден. Хорошо, вот он будет завтра найден.
Так и что? Наверняка он получится из какого-то уже имеющегося ОДЛК некоторой перестановкой элементов. Разве нет???

Итак, что требуется?
Требуется
1. сделать полную программную реализацию моего алгоритма вторичной обработки;
2. выполнить эту самую обработку для всех имеющихся КФ ОДЛК.

Однако оба пункта очень не простые.
Ну, второй пункт - дело техники; конечно, это лучше сделать в BOINC-проекте.
А вот первый пункт - головой надо работать, а не техникой. ИИ ещё не способен на такие дела!

PS. Ещё на заре поиска ОДЛК я заметила такое свойство у них: многие строки целиком повторяются, только стоят на разных позициях.
И таких повторяющихся строк ну очень много, прямо очень много!
Особенно хорошо это заметно мне в ОДЛК первого формата, может быть, просто потому, что я с этим форматом больше работала, нежели с форматом 2.
Эту БД (в формате 1) я вдоль и поперёк сто раз просмотрела, когда она была ещё маленькая.

Продолжение мысли...
Ещё тогда я думала над этим: строк таких, из которых ОДЛК собираются, наверняка конечное множество. Разумеется, не маленькое, но конечное.
Собрать все эти строки и сложить из них все ОДЛК :)
Может быть, идея очень наивная. Но! Чёрт побери! эти строки беспрестанно мелькают одни и те же, только в разных позициях - то вторая строка, то она же самая - пятая, то она же самая - восьмая.

Ещё продолжение мысли...
Для СН ДЛК (формат 2) мы рассматриваем группы в линейках, это СН ДЛК с одинаковой первой строкой.
И количество таких групп мы точно знаем. Ага!
Теперь пойдем дальше, в каждой группе рассмотрим все СН ДЛК с одинаковой второй строкой. Количество таких подгрупп тоже определится однозначно. Теперь в этой подгруппе рассмотрим все СН ДЛК с одинаковой третьей строкой. Ну и т. д.
Набор строк определится хотя бы для подгрупп.
Но... может быть, все СН ДЛК в данной группе из строк этого набора и состоят??? Только строки эти в разных позициях бывают.
В общем, надо думать...

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

А вот посмотрите какие малюсенькие получены уникальные однушечки, одна из них была в БД ручного проекта, а вторая получена моим алгоритмом вторичной обработки

ОДЛК 1
0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 7 9 5 8
3 6 4 2 9 1 8 0 7 5
7 5 1 9 8 2 4 3 0 6
8 7 9 5 1 3 2 6 4 0
4 9 5 7 6 8 0 2 1 3
5 4 6 1 7 0 3 8 9 2
6 3 7 8 0 4 9 5 2 1
9 8 3 0 2 7 5 1 6 4
2 0 8 6 5 9 1 4 3 7

ОДЛК 2
0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 7 9 5 8
3 6 4 2 9 1 8 0 7 5
7 5 1 9 8 2 4 3 0 6
8 9 5 7 1 3 2 6 4 0
4 7 9 5 6 8 0 2 1 3
5 4 6 1 7 0 3 8 9 2
6 3 7 8 0 4 9 5 2 1
9 8 3 0 2 7 5 1 6 4
2 0 8 6 5 9 1 4 3 7

Здесь перестановка элементов небольшая, но не поворот блоков. Родимое пятнышко :)

Вот не было этой однушечки в БД, а получается-то она из имеющейся в БД однушки перестановкой всего шести элементов.

И кстати, очень важное замечание: ни мощнейший алгоритм Белышева Канонизатор ЛК по ДЛК, ни алгоритм поворота блоков такие перестановки не берут (как показанное здесь родимое пятнышко и другие сложные перестановки).

Нашла интересную однушечку

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

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

Информация к размышлению...
Назревает новый алгоритм :)
А что - много ли таких вот ортогональных пар?
Хороший вопрос!
Если их много, стоит их поискать :)

Решила проверить этим алгоритмом SODLS, найденные Белышевым, их 30502.
Обработала 2000 КФ, нашлось одно уникальное решение

ОДЛК 1
0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 7 8 9 5 6
5 6 9 2 8 4 3 1 7 0
4 7 5 6 2 1 0 8 9 3
8 0 1 9 7 2 5 3 6 4
9 5 3 1 6 8 2 4 0 7
2 8 6 7 9 3 4 0 1 5
7 3 8 0 1 6 9 5 4 2
6 4 7 5 0 9 1 2 3 8
3 9 4 8 5 0 7 6 2 1

ОДЛК 2
0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 7 8 9 5 6
5 6 9 2 8 4 3 1 7 0
4 7 5 6 2 1 0 8 9 3
8 0 1 9 7 2 5 3 6 4
7 5 3 1 6 8 9 4 0 2
2 8 6 7 9 3 4 0 1 5
9 3 8 0 1 6 2 5 4 7
6 4 7 5 0 9 1 2 3 8
3 9 4 8 5 0 7 6 2 1

Перестановка - не поворот блоков.
Не помню, проверяла ли SODLS поворотом блоков. Скорее всего, проверяла.
Хорошо помню, что проверяла их Канонизатором ЛК по ДЛК и нашлось много новых решений.

Можно было бы и сразу все скормить моей программе, но... как всегда проблема форматов.

От второй порции 2000 шт нашлась ещё одна уникальная однушка.
По зёрнышку, по зёрнышку :)

Обработала все 30502 SODLS данным алгоритмом вторичной обработки, нашла 22 уникальные КФ ОДЛК (14 однушек).

У меня файл сохранился, не так давно делала полную обработку всех SODLS скриптом Белышева zamyk.bat; получено 33753 КФ ОДЛК.
Ну вот, к ним можно добавить ещё 22 КФ ОДЛК, которые при обработке этим скриптом не получены.
Итого SODLS дали 33775 уникальных КФ ОДЛК. Хороший результат!

Эти уникальные однушечки найдены от SODLS алгоритмом вторичной обработки (узорчатые ДЛК)

ОДЛК 1
0 1 2 3 4 5 6 7 8 9
1 2 0 4 5 6 8 9 7 3
4 5 8 2 7 3 9 0 1 6
3 6 7 9 1 8 2 5 4 0
2 7 6 0 3 4 1 8 9 5
7 9 4 8 6 1 5 3 0 2
6 4 5 1 0 9 7 2 3 8
8 0 3 5 9 7 4 6 2 1
9 8 1 6 2 0 3 4 5 7
5 3 9 7 8 2 0 1 6 4

ОДЛК 2
0 1 2 3 4 5 6 7 8 9
1 2 0 4 5 6 8 9 7 3
4 5 8 2 7 3 9 0 1 6
3 6 7 9 1 8 2 5 4 0
6 7 5 0 3 4 1 2 9 8
7 9 4 8 6 1 5 3 0 2
2 4 6 1 0 9 7 8 3 5
8 0 3 5 9 7 4 6 2 1
9 8 1 6 2 0 3 4 5 7
5 3 9 7 8 2 0 1 6 4

Симпатичная перестановка из 8 элементов.

А это от двушек решение, исходная двушка из БД ручного проекта; уникальные двушки находятся у меня пока редко данным алгоритмом

ОДЛК 1
0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
3 6 7 2 1 8 9 0 5 4
6 3 8 9 0 7 2 1 4 5
7 4 9 5 8 1 3 2 0 6
8 7 4 1 5 3 0 6 9 2
5 0 1 6 2 9 4 8 3 7
2 9 3 7 6 4 8 5 1 0
9 8 5 0 7 2 1 4 6 3
4 5 6 8 9 0 7 3 2 1

ОДЛК 2
0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
3 6 7 2 1 8 9 0 5 4
6 3 8 9 0 7 2 1 4 5
7 4 9 5 8 1 3 2 0 6
8 9 4 7 5 3 0 6 1 2
5 0 1 6 2 9 4 8 3 7
2 7 3 1 6 4 8 5 9 0
9 8 5 0 7 2 1 4 6 3
4 5 6 8 9 0 7 3 2 1

В общем, кручу алгоритм потихоньку в сторонке :)
Сегодня с утра пропустила последнюю порцию с проекта Tomas Brada, нашлось 6 уникальных КФ ОДЛК (3 однушки).
Они тоже не лишние. Всё годится нам в общую копилку.
Надо все порции с этого проекта пропустить через программу данного алгоритма. Порций у меня уже 45. А решений-то в этих 45 порциях более полумиллиона!

А потом надо думать о полной реализации этого алгоритма. Ох, сложная эта реализация.

Алгоритм постобработки - узорчатые ДЛК - даёт отличные уникальные решения для результатов проекта Tomas Brada.
Сегодня обработала 10 порций, найдено 74 уникальных КФ ОДЛК.
Завтра продолжу обработку, у меня ещё 35 порций есть.
А там и новые результаты подоспеют, сейчас что-то случилось у Томаша, валидатор не работает и результаты висят у клиентов.

Напоминаю, что у меня сейчас имеется неполная реализация алгоритма узорчатые ДЛК.
Если сделать полную реализацию, решений будет в разы больше.

PS. Я обрабатываю результаты с проекта Tomas Brada двумя своими алгоритмами постобработки. Нашла уже 662 уникальных КФ ОДЛК.
Мой предыдущий алгоритм постобработки несколько аналогичен алгоритму узорчатые ДЛК.