Алгоритм PADLS TOTAL

Message boards : Science : Алгоритм PADLS TOTAL
Message board moderation

To post messages, you must log in.

Previous · 1 · 2 · 3

AuthorMessage
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13041
Credit: 0
RAC: 0
Message 3924 - Posted: 18 Jun 2019, 3:51:51 UTC
Last modified: 18 Jun 2019, 3:53:11 UTC

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

Смотрите
https://boinc.tbrada.eu/forum_thread.php?id=3023&postid=3308#3308
ID: 3924 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13041
Credit: 0
RAC: 0
Message 3930 - Posted: 19 Jun 2019, 1:43:51 UTC
Last modified: 19 Jun 2019, 1:56:39 UTC

В проекте 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.
Мечты сбываются :)
ID: 3930 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13041
Credit: 0
RAC: 0
Message 3931 - Posted: 19 Jun 2019, 2:00:03 UTC
Last modified: 19 Jun 2019, 2:22:52 UTC

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
ID: 3931 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13041
Credit: 0
RAC: 0
Message 3932 - Posted: 19 Jun 2019, 2:08:05 UTC
Last modified: 19 Jun 2019, 2:08:40 UTC

Господа!
А кто смелый - открыть третий филиал BOINC-проекта ODLK?
Работой обеспечу всех :)
ID: 3932 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13041
Credit: 0
RAC: 0
Message 3961 - Posted: 22 Jun 2019, 7:36:42 UTC
Last modified: 22 Jun 2019, 7:40:29 UTC

Как уже сообщалось, я тестировала ветвь эксперимента 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
ID: 3961 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Previous · 1 · 2 · 3

Message boards : Science : Алгоритм PADLS TOTAL


©2024 (C) Progger