Ветвь эксперимента PADLS TOTAL rule 51 запущена в BOINC-проекте Tomas Brada на тестирование!

Смотрите
https://boinc.tbrada.eu/forum_thread.php?id=3023&postid=3308#3308

В проекте Tomas Brada, в эксперименте PADLS TOTAL rule 51 найдены первые решения
https://boinc.tbrada.eu/forum_thread.php?id=3023&postid=3311#3311

Отлично! Tomas Brada молодец!
Хотя ещё очень много предстоит сделать в проекте (программы Ассимилятор и Валидатор, Приложение для Windows), но если есть желание, всё это будет сделано со временем.
Эксперимент запущен!
Это огромный эксперимент и очень важный. Тут не просто полная разработка одной конкретной линейки (№51), тут в разы более мощная проверка.
Как верно заметил Tomas Brada, в этом алгоритме одновременно проверяются КФ почти из всех линеек.
Например, найденные решения

DRwmjE6YqSYbZGpCVCf22jzvn # rule=25
4K8iYyrbV6vvb5bpRJnQAJ7LY # rule=07
HNKv5Chy8LiU4eJTV7pk6PLL2 # rule=32

принадлежат линейкам 25, 7 и 32.

Выложен код Приложения
https://boinc.tbrada.eu/forum_thread.php?id=3023&postid=3315#3315

Господа!
Подключайтесь к новому BOINC-проекту!
Это второй филиал BOINC-проекта ODLK.
Мечты сбываются :)

Tomas Brada использует сжатый формат ДЛК, разработанный Белышевым.
Правильно! Это отличный формат.
Я писала об этом формате в теме об автономном подпроекте и выкладывала ссылку на программы Белышева.
К сожалению, форум boinc.ru, где Белышев выложил программы кодирования и декодирования СН ДЛК, в настоящее время не работает.
Если понадобится, сообщите, я выложу архив с программами.

Пример
показанные выше решения

DRwmjE6YqSYbZGpCVCf22jzvn
4K8iYyrbV6vvb5bpRJnQAJ7LY
HNKv5Chy8LiU4eJTV7pk6PLL2

декодируются в следующие СН ДЛК

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

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

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

Господа!
А кто смелый - открыть третий филиал BOINC-проекта ODLK?
Работой обеспечу всех :)

Как уже сообщалось, я тестировала ветвь эксперимента PADLS TOTAL rule 51 на своём ПК.
Было проверено программой Белышева family_mar примерно 15 миллионов КФ в линейке №51.
Найдено 240 марьяжных КФ; все они уникальные однушки, то есть дали 480 уникальных КФ ОДЛК.

Только в одном интервале из проверенных оказались не уникальные марьяжные ДЛК.
Вот этот интервал

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

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

В этом интервале программой Белышева moschnometr_kf

Найдено СНДЛК:  474
Найдено КФ:     228

И вот посмотрите, что дают эти 228 КФ при проверке программой family_mar (полный протокол работы программы)

Поиск марьяжных ДЛК (кроме симметричных) для семейства ЛК

Введено ЛК: 228

144
289
425
531
644
788
935
1085
1239
1390
1533
1680
1839
220
434
638
861
84
165
244
320
78
156
236
322
152
302
454
602
746
890

Найдено марьяжных ДЛК: 217 они записаны в файл output.txt
Время работы в сек   : 182.255

217 марьяжных ДЛК, и все они не уникальные.

PS. Решения выложила здесь
https://cloud.mail.ru/public/3Bnv/5FYgynNeC