Анализ решений из линейки 15

Message boards : Science : Анализ решений из линейки 15
Message board moderation

To post messages, you must log in.

AuthorMessage
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 7857 - Posted: 24 Jan 2022, 6:16:46 UTC
Last modified: 24 Jan 2022, 7:38:42 UTC

Предыстория

Чем интересна линейка 15?
В этой линейке находятся псевдоассоциативные СН ДЛК 10-го порядка.
О разработке мной алгоритма поиска ОДЛК 10-го порядка от псевдоассоциативных ДЛК было много написано ранее.
Это один из самых эффективных алгоритмов, которые были разработаны мной за всё время действия ручного проекта.
Алгоритм был реализован и с успехом использовался не только в ручном проекте, но и в BOINC-проекте TBEG.
К сожалению, Tomas Brada остановил свой BOINC-проект.
Было найдено очень много интереснейших решений с применением данного алгоритма.

В проектах ОДЛК и ODLK1 мне не удалось добиться понимания администраторов: алгоритм не был реализован.
Хотя в проекте ОДЛК удалось запустить просто поиск решений в линейках 15, 38 и 51; во всех этих линейках находятся псевдоассоциативные СН ДЛК.
Но! Есть разница в методе обработки этих СН ДЛК.
Просто поиск решений в линейке - это один метод и соответствующий ему расчётный модуль.
В алгоритме поиска от псевдоассоциативных ДЛК надо использовать другой метод обработки, соответственно будет другой расчётный модуль.
Вот просто взять и заменить один расчётный модуль на другой - ни у одного администратора не хватило духу.
А результат был бы поразительным!
Вместо сплошных однушек, которые сейчас имеем в линейке 15, были бы двушки, тройки, четвёрки и т. д., да и однушек было бы в разы больше.

Прошло много времени.
Проект ОДЛК продолжает молотить псевдоассоциативные СН ДЛК из линеек 15, 38 и 51 всё тем же способом (малоэффективным).
В проекте ODLK1 решения в этих линейках получаются только рикошетом.
В ручном проекте поиск ОДЛК 10-го порядка остановлен в связи с тем, что я начала исследования ОДЛК порядков n>10.
Имея очень ограниченные ресурсы, не смогла продолжать параллельно поиск ОДЛК 10-го порядка.

На данный момент БД КФ ОДЛК, найденных в ручном проекте, содержит 263396 КФ ОДЛК.
Я не помню, выложила ли эту БД КФ ОДЛК.

Теперь благодаря Demis мы имеем полные БД КФ ОДЛК обоих проектов (ОДЛК и ODLK1).
И я решила посмотреть на решения из линейки 15.

Смотрите рассказ об этом анализе далее.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 7857 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 7858 - Posted: 24 Jan 2022, 6:45:38 UTC
Last modified: 24 Jan 2022, 13:09:44 UTC

Цитата
На данный момент БД КФ ОДЛК, найденных в ручном проекте, содержит 263396 КФ ОДЛК.
Я не помню, выложила ли эту БД КФ ОДЛК.

Demis подсказал ссылку
https://disk.yandex.ru/d/2R5bQgnJHY4USQ

Было выложено 19 июля 2021 г.
Я специально для Demis выложила, чтобы у него эта БД была.
Ну вот и отлично, что ссылка есть, БД выложена.

Сейчас пришла в голову мысль, что надо бы обработать эти результаты скриптом Белышева zamyk.
Вообще-то при поиске результатов я сразу обрабатывала их этим скриптом.
Но БД ручного проекта начала создаваться так давно, что и скрипта Белышева zamyk ещё не существовало.
Поэтому вполне могли остаться сырые результаты.
Попросила Demis обработать эти результаты. Авось, что-нибудь добавится к этим КФ ОДЛК.

PS. Смотрите далее тему "БД КФ ОДЛК ручного проекта"
https://boinc.progger.info/odlk/forum_thread.php?id=218
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 7858 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 7859 - Posted: 24 Jan 2022, 6:59:35 UTC
Last modified: 24 Jan 2022, 7:12:16 UTC

Возвращаюсь к решениям из линейки 15.
Итак, Demis выбрал все КФ ОДЛК из линейки 15 из полных БД проектов ОДЛК и ODLK1.
Их оказалось всего 50019 шт. Мало!
Я выбрала ещё КФ ОДЛК из линейки 15 по проекту TBEG и по ручному проекту.
Это добавило 5427 КФ ОДЛК. И всего стало 55446 КФ ОДЛК из линейки 15.
Пропустила эти КФ ОДЛК через программу Белышева ortogon_u.
Все однушки!
Как я писала уже выше, малоэффективный алгоритм грубой силы не даёт интересных решений (троек и четвёрок в проектах ОДЛК и ODLK1 найдено очень мало, а групп ОДЛК выше четвёрки в проекте ОДЛК совсем не найдено, а в проекте ODLK1 только благодаря одному из алгоритмов Белышева для симметричных решений, реализованному в самом начале Progger, найдено несколько шестёрок и восьмёрок).
Все остальные группы ОДЛК (пятёрки, семёрка, десятки) были найдены в ручном проекте.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 7859 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 7860 - Posted: 24 Jan 2022, 7:25:18 UTC
Last modified: 24 Jan 2022, 17:16:23 UTC

Самое сложное в поиске ОДЛК в линейке 15 (любым методом) - это генерация КФ СН ДЛК.
Дело в том, что в этой линейке отношение количества КФ СН ДЛК к количеству СН ДЛК 1:48.
Поэтому встречаются многомиллионные "пустыни", в которых нет ни одной КФ СН ДЛК.
Однако Progger как-то эту проблему решает в проекте ОДЛК.
Решал её и Tomas Brada в проекте TBEG.

Сейчас я запустила поиск ОДЛК в линейке 15 своим алгоритмом для псевдоассоциативных ДЛК.
Первый этап поиска - это как раз генерация КФ СН ДЛК.
Это выполняется программой Белышева generator_kf.
Выполняется очень хорошо, пока не встретится многомиллионная "пустыня".
Второй этап поиска - это обработка сгенерированных КФ СН ДЛК программой Белышева family_mar.

Вот, собственно, и весь процесс поиска.

PS. Процесс протестировала. Всё работает прекрасно.
Думаем с Demis над скриптом, чтобы всё было автоматизировано.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 7860 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 7866 - Posted: 25 Jan 2022, 12:06:40 UTC
Last modified: 25 Jan 2022, 14:38:44 UTC

Изложила Demis сценарий обработки, он написал отличный скрипт.
Мы сейчас тестируем по одной задачке (вушке).

У меня на консоли

. . . . . . 
Checked DLK: 5694269
Run Time (s): 901.072
Real Run Time (s): 451
Found Fancy DLS: 0
They are written to file output.txt
---------
Cycle run: 9
25.01.2022
15:59
run: generator_kf
Генератор КФ ДЛК10

Старт:

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

Найдено КФ[15]: 20000 время поиска: 0.093 сек
Проверено 20000 СНДЛК
Время работы:   0.093 сек

Программа завершена . . .

Run: family_mar input.txt output.txt
Find Marijazh DLS (except symmetrical) for family LS
Used config file: family_mar.conf
UseThreads:1
MaxThread:2
ShowWrittenOnScreen:1
BlockToContinueRun:0
Have LS: 20000
nb_threads: 2
. . . . . . 

Очень интересный процесс!
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 7866 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 7880 - Posted: 28 Jan 2022, 4:24:05 UTC
Last modified: 28 Jan 2022, 4:41:58 UTC

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

Итак, выше сказано, что найден набор из 55446 КФ ОДЛК, принадлежащих линейке 15.
Приведу первые 5 КФ ОДЛК из данного набора, пронумеровав их

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

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

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

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

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

Также было сказано выше, как эти КФ ОДЛК найдены. Повторю.
1) Линейка 15 обрабатывается в BOINC-проекте ОДЛК алгоритмом грубой силы (тотальная проверка).
Что это означает?
Одна программа ищет КФ СН ДЛК в данной линейке, а затем другая программа проверяет, есть ли у этих КФ СН ДЛК ортогональные ДЛК.
По терминологии Алексея Белышева КФ СН ДЛК, у которых есть ОДЛК, называются марьяжными.
Термин прижился :)
Даже администратор BOINC-проекта ODLK1 ice00 этим термином пользуется.
Марьяжная КФ записывается как КФ ОДЛК.

Замечание: в BOINC-проекте TBEG тоже немного обрабатывалась линейка 15, но не алгоритмом грубой силы, а моим алгоритмом "псевдоассоциативные ДЛК".

2) КФ ОДЛК из линейки 15 могут быть найдены как ортогональные соквадраты к марьяжным КФ из других линеек.
Это я называю: решения, полученные рикошетом.
Такие решения могут быть найдены в обоих BOINC-проектах: ОДЛК и ODLK1 (а также и в других проектах, например: TBEG, ручной проект) ; и, конечно, уже были найдены за всё время работы всех этих проектов.

Теперь всё совсем понятно: откуда происходит набор из 55446 КФ ОДЛК из линейки 15.
Понятно также, что это далеко не полный набор КФ ОДЛК из этой линейки.
Это только малюсенькая часть, найденная на данный момент.
Однако это очень хороший набор: он даёт нам интервалы для нашего эксперимента.
Что такое интервал?
Интервал, это то множество КФ СН ДЛК, которое находится между двумя соседними КФ ОДЛК.

Итак, интервал №1 - это все КФ СН ДЛК из линейки 15, которые находятся между следующими квадратами (КФ ОДЛК)

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

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

Интервал №2 - это все КФ СН ДЛК из линейки 15, которые находятся между следующими квадратами (КФ ОДЛК)

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

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

И так далее.
[Я специально ввела разные символы для номеров КФ ОДЛК и для номеров интервалов.]
Последний интервал №55445 состоит из множества КФ СН ДЛК между следующими квадратами (КФ ОДЛК)

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

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

Таким образом, мы имеем в наборе КФ ОДЛК из линейки 15 на данный момент 55445 интервалов.
Отличный набор интервалов!
И вот он - метод интервалов, который я заметила очень давно, почти в самом начале проекта.
Это очень эффективный метод. Он уже многократно использовался в ручном проекте.
Кроме того, этот метод использовался в крупном эксперименте по составлению полной БД КФ ОДЛК 9-го порядка, который тоже был выполнен в ручном проекте.
Одним словом, метод интервалов прекрасно себя зарекомендовал.
Будем использовать метод интервалов и в данном эксперименте.

Я постаралась подробно рассказать о КФ ОДЛК и методе интервалов.
Прошу задать ваши вопросы, если что-то осталось непонятно.

О моём алгоритме поиска ОДЛК читайте далее.
ID: 7880 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 7881 - Posted: 28 Jan 2022, 5:09:51 UTC
Last modified: 28 Feb 2022, 21:20:08 UTC

Итак, рассказываю об алгоритмах поиска ОДЛК.
Выше уже сказано об алгоритме грубой силы.
Далее, сказано, что в BOINC-проекте TBEG немного обрабатывалась линейка 15 моим алгоритмом "псевдоассоциативные ДЛК".
В чём отличие этот алгоритма от алгоритма, который будет работать в готовящемся эксперименте?
В алгоритме "псевдоассоциативные ДЛК" я написала специальные генераторы псевдоассоциативных ДЛК; генераторов было два.
Эти генераторы генерировали псевдоассоциативные КФ СН ДЛК из линейки 15 с высокой степенью ассоциативности.
И эти псевдоассоциативные КФ СН ДЛК давали очень хорошие результаты.
В готовящемся эксперименте мы будем генерировать все КФ СН ДЛК подряд; в линейке 15 все КФ СН ДЛК псевдоассоциативные, но с разной степенью ассоциативности.

А в остальном эти два алгоритма одинаковые.
А далее в BOINC-проекте TBEG был запущен эксперимент в линейке 51, который в точности такой же, как готовящийся эксперимент.
Только линейка другая.
Напомню: всего три линейки содержат псевдоассоциативные СН ДЛК, это линейки 15, 38 и 51.
Есть ещё две линейки, в которых тоже содержатся псевдоассоциативные СН ДЛК, но в этих линейках нарушения ассоциативности в побочной диагонали.
Я в своё ручном проекте написала генераторы и для этих двух линеек, тестировала их и нашла много решений.
Экспериент по линейке 51 в проекте TBEG тоже дал прекрасные результаты.
К сожалению, эксперимент остановлен.

В самом начале темы я уже писала, как выполняется процесс поиска ОДЛК в моём алгоритме.
Не буду повторять подробно.
Кратко: работают две программы Алексея Белышева, реализующие два этапа поиска ОДЛК.
Главная изюминка алгоритма - применение программы Алексея Белышева family_mar.
Эта программа даёт поразительный эффект!
Очень многие КФ СН ДЛК из тех, которые при обычной проверке на марьяжность не дают решений, при обработке программой family_mar дают решения.
ID: 7881 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 7885 - Posted: 28 Jan 2022, 7:32:12 UTC
Last modified: 28 Jan 2022, 7:33:09 UTC

Цитата
Итак, интервал №1 - это все КФ СН ДЛК из линейки 15, которые находятся между следующими квадратами (КФ ОДЛК)

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

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

Квадрат #1 - это первая марьяжная КФ в линейке 15.

А теперь расскажу о нулевом интервале, который сейчас тестирует Demis.
До первой марьяжной КФ есть много КФ СН ДЛК от начала линейки.
Все эти КФ СН ДЛК были сгенерированы в BOINC-проекте ОДЛК и проверены на марьяжность, и все они оказались не марьяжные.
Но! Они не были обработаны программой Алексея Белышева family_mar.
Вот это и есть нулевой интервал, который сейчас проверяет Demis.
Решений уже найдено много.
Demis заодно тестирует написанный им скрипт.
Важный момент в скрипте, чтобы обработка интервала остановилась при достижении конца интервала.
Этот момент и надо хорошо проверить.
Понятно, что концом нулевого интервала является квадрат

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

Важно отметить, что все марьяжные КФ должны быть найдены при поиске моим алгоритмом.
На этом и основано отслеживание достижения конца интервала при обработке.

Я тестирую интервал чуть подальше от начала списка.
У меня интервал скоро закончится. Решения тоже найдены.
ID: 7885 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 7886 - Posted: 28 Jan 2022, 7:43:06 UTC
Last modified: 28 Jan 2022, 7:45:23 UTC

Цитата
Самое сложное в поиске ОДЛК в линейке 15 (любым методом) - это генерация КФ СН ДЛК.
Дело в том, что в этой линейке отношение количества КФ СН ДЛК к количеству СН ДЛК 1:48.
Поэтому встречаются многомиллионные "пустыни", в которых нет ни одной КФ СН ДЛК.

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

Я тестировала последний интервал № 55445

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

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

Программа генерации КФ СН ДЛК сгенерировала 14884 КФ СН ДЛК и... дальше застряла. Не находит больше!
Я не стала ждать долго и прервала программу.
Как справляться с этим препятствием, я пока не придумала.
ID: 7886 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 7887 - Posted: 28 Jan 2022, 8:11:39 UTC
Last modified: 28 Jan 2022, 16:40:37 UTC

Показываю тестируемый мной интервал №31 (интервал выбран случайно)

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

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

Всё пока идёт замечательно. Приближаюсь к конечному квадрату интервала.
ID: 7887 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 7897 - Posted: 30 Jan 2022, 2:50:17 UTC
Last modified: 30 Jan 2022, 2:52:29 UTC

У меня интервал №31 завершился.
У Demis нулевой интервал ещё тестируется, этот интервал оказался огромным.
Вот так: с самого начала линейки есть очень много КФ СН ДЛК, которые были сгенерированы и проверены в BOINC-проекте ОДЛК.
Но! Все эти КФ СН ДЛК оказались не марьяжными (другой термин - "пустышки").
Однако при обработке программой Белышева family_mar эти КФ СН ДЛК дают много решений. Эти решения и находит Demis.
[Собственно, я уже это объясняла выше; просто повторяю для лучшего понимания.]

Пока Demis тестирует нулевой интервал, я решила протестировать интервал №1

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

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

При этом данный интервал я тестирую новой версией скрипта, в которой есть проверка конца интервала.
В первой версии скрипта (которой я тестировала предыдущий интервал) такой проверки не было, я отслеживала конец интервала визуально.
Вместе с Demis мы уже нашли около 500 КФ ОДЛК, это только в трёх тестируемых интервалах, из которых завершён один.
ID: 7897 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 7906 - Posted: 3 Feb 2022, 17:21:03 UTC
Last modified: 3 Feb 2022, 22:35:00 UTC

Demis протестировал нулевой интервал, а потом ещё и интервал №1

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

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

Я продолжаю тестировать интервал №1, раньше протестировала интервал №31.
Интервал №1 мы тестируем разными вариантами скрипта, я хочу сравнить результаты.
Demis начал тестировать этот интервал только вчера и уже закончил.
А я несколько дней тестирую этот интервал и ещё не закончила.
Это зависит от производительности компьютера.

Итак, всего протестировано три интервала.
Найдено 947 уникальных КФ ОДЛК.
Конечно, уникальность - только в рамках данного эксперимента.
Разумеется, КФ ОДЛК могут быть повторены в одном из других проектов (BOINC-проекты ОДЛК, ODLK1 и TBEG, ручной проект).
Но общая БД всех проектов, если её собрать в кучу, очень большая, и проверять уникальность относительно обшей БД проблематично.
Может быть, это имеет смысл сделать после окончания эксперимента (чтобы всё сразу проверить).

Осталось Demis сделать окончательную редакцию скрипта и можно запускать эксперимент.
ID: 7906 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 7920 - Posted: 5 Feb 2022, 14:42:36 UTC

У меня завершилось тестирование интервала №1.
Результаты совпали с результатами, полученными Demis.

Начну готовить сообщение о запуске эксперимента.
ID: 7920 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote

Message boards : Science : Анализ решений из линейки 15


©2024 (C) Progger