Новая ветвь эксперимента PADLS

Message boards : Science : Новая ветвь эксперимента PADLS
Message board moderation

To post messages, you must log in.

1 · 2 · 3 · 4 . . . 10 · Next

AuthorMessage
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 4086
Credit: 0
RAC: 0
Message 3160 - Posted: 22 Feb 2019, 6:51:01 UTC
Last modified: 22 Feb 2019, 8:06:31 UTC

В BOINC-проекте, запущенном недавно Tomas Brada, тестируется эксперимент PADLS.
Введены две порции WUs, вместе 4000 с хвостиком штук.
Но Tomas Brada разбил WUs на части, в результате получилось что-то много, даже не знаю точно - сколько.
Тестирование в проекте пока не завершено, досчитываются хвосты, на данный момент 5000 с хвостиком WUs.

Эксперимент PADLS имеет много ветвей. Это зависит от нескольких причин.
Во-первых, разные генераторы псевдоассоциативных ДЛК.
На данный момент я создала уже три генератора.
В текущем эксперименте у Tomas Brada работают два генератора.
Когда мы только начинали этот эксперимент (с Demis), у нас работал один генератор. Но это самый сильный генератор, в том смысле, что он производит псевдоассоциативные ДЛК с самой высокой степенью ассоциативности (нарушения ассоциативности только в двух центральных строках).
Поэтому и решения (ОДЛК) от псевдоассоциативных ДЛК этого генератора были очень хороши (много групп пар ОДЛК выше двушки).

Во-вторых, выполняются вариации побочной диагонали в псевдоассоциативных ДЛК.
В гениально открытых Белышевым 67 линейках, охватывающих все ДЛК 10-го порядка, только три линейки содержат псевдоассоциативные ДЛК: 15, 38 и 51.
Вот отсюда и варианты побочных диагоналей.

Новая ветвь, которая у меня сейчас в проверке, охватывает псевдоассоциативные ДЛК из линейки №38 при работе двух генераторов.
Я уже давно начала выполнять эту ветвь эксперимента. Но проверяется у меня очень медленно.
Сейчас ко мне подключился XAVER. Он взял первую порцию из 50 WUs.
Уже прислал результаты от первых 30 WUs.
Найдено 50 уникальных КФ ОДЛК.

Всё отлично, и мы продолжаем эту ветвь эксперимента.
Если в BOINC-проекте у Tomas Brada всё будет хорошо, можно будет запустить эту ветвь эксперимента.
Для этого потребуется модифицировать немножко оба генератора (это связано с изменением побочной диагонали ДЛК).
Понятно, что эта ветвь эксперимента должны быть выполнена ещё и для линеек №№15 и 51 (я начала с линейки №38).

У меня уже почти готова и следующая ветвь эксперимента: генератор 3.
Но тут проблемы с генерацией, которые надо решить (слишком много генерируется псевдоассоциативных ДЛК этим генератором).
Тест для этой ветви эксперимента уже выполнил XAVER.
Смотрите тему
https://boinc.progger.info/odlk/forum_thread.php?id=105
В теме подробности о генераторе 3.

И о следующей ветви эксперимента пока не буду рассказывать, чтобы не забегать далеко вперёд.
Хотя сама уже тестирую и эту ветвь понемножку.
ID: 3160 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 4086
Credit: 0
RAC: 0
Message 3161 - Posted: 22 Feb 2019, 7:11:11 UTC
Last modified: 22 Feb 2019, 8:45:29 UTC

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

Send message
Joined: 6 Apr 17
Posts: 4086
Credit: 0
RAC: 0
Message 3162 - Posted: 22 Feb 2019, 7:30:47 UTC
Last modified: 22 Feb 2019, 8:20:26 UTC

Показываю примеры псевдоассоциативных ДЛК в данной ветви эксперимента, произведённых генераторами 1 и 2 в одном и том же WU (для одной и той же строки)



Нарушения ассоциативности в белых ячейках.

PS. Как я уже отмечала ранее, множество ДЛК, полученное генератором 1, не включается полностью во множество ДЛК, полученное генератором 2 (для одной и той же строки), хотя пересечение есть.
С этими двумя множествами прекрасно справляется программа Белышева kanonizator_dlk_1.03, она канонизирует все ДЛК и удаляет дубликаты КФ.
Кстати, показанные на иллюстрации псевдоассоциативные ДЛК имеют различные КФ.
ID: 3162 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 4086
Credit: 0
RAC: 0
Message 3172 - Posted: 23 Feb 2019, 17:36:37 UTC
Last modified: 23 Feb 2019, 17:50:03 UTC

XAVER обработал ещё 20 WUs в этой ветви эксперимента.
Найдены 41 уникальных КФ ОДЛК.
Хорошо!

Tomas Brada собирается подготовить эту ветвь эксперимента для запуска в своём BOINC-проекте.
Ну, а пока он собирается, мы с XAVER продолжаем эту ветвь эксперимента в ручном режиме.
ID: 3172 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 4086
Credit: 0
RAC: 0
Message 3179 - Posted: 24 Feb 2019, 14:41:29 UTC
Last modified: 24 Feb 2019, 14:42:59 UTC

Вторая партия WUs в проекте Tomas Brada досчиталась.
Осталось обработать результаты.

Потом, возможно, Томас запустит ветвь эксперимента, описанную в этой теме.
Я пока остановила эту ветвь и готовлю следующую ветвь для тестирования - сначала на своём ПК.
ID: 3179 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 4086
Credit: 0
RAC: 0
Message 3184 - Posted: 26 Feb 2019, 10:03:00 UTC
Last modified: 26 Feb 2019, 11:38:08 UTC

XAVER обработал ещё 30 WUs в этой ветви эксперимента PADLS.
Найдено 40 уникальных КФ ОДЛК.
В последней порции, которую он взял (50 WUs), ему осталось досчитать 20 WUs.

И очень хорошая новость: Tomas Brada уже запустил эту ветвь эксперимента в своём BOINC-проекте.
Быстро он сделал новое Приложение (два модифицированных генератора). Пока только для Linux. Обещает сделать и для Windows.
Партия для этой ветви эксперимента содержит 3319 WUs, но Tomas разбивает их на части, чтобы быстрее считались.

Подключайтесь к проекту Tomas Brada!
ID: 3184 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 4086
Credit: 0
RAC: 0
Message 3186 - Posted: 28 Feb 2019, 11:00:44 UTC
Last modified: 28 Feb 2019, 11:07:54 UTC

XAVER проверил последние 20 WUs в этом эксперименте.
Найдено 14 уникальных КФ ОДЛК.

Теперь ждём результаты этой ветви эксперимента PADLS в BOINC-проекте Tomas Brada.
Там уже все WUs этой ветви эксперимента разобрали.

Поразительная сила BOINC-проекта!
3319 WUs! Я могу обработать на своём ПК 4-5 WUs за рабочий день.
Представили разницу?

Ещё надо учесть, что BOINC-проект у Tomas только что запущен и участников пока мало.

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

Да, повторяемость решений в этой ветви эксперимента высокая. Причины понятны.
ID: 3186 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 4086
Credit: 0
RAC: 0
Message 3191 - Posted: 2 Mar 2019, 7:14:51 UTC
Last modified: 2 Mar 2019, 10:51:00 UTC

Приготовила и тестирую новую ветвь эксперимента - PADLS rule15.
Всё аналогично предыдущей ветви эксперимента, только теперь поиск выполняется в линейке №15.
Сгенерировано WUs (строк) 3438.

Первый WU (который сейчас тестирую) содержит 346021 псевдоассоциативных ДЛК (вместе от генераторов 1 и 2) и 190597 КФ ДЛК.
[Выход КФ больше 50%.]
Запустила проверку порции программой family_mar. Жду результаты.

Понятно, что в самом начале линейки результаты от генератора 1 будут повторены, потому что это проверялось в моём ручном проекте (мной и Demis).
Но генератор 2 должен дать новые решения.
А дальше по ходу линейки и генератор 1 будет давать новые решения, потому что есть большие пропущенные области, которые мы с Demis не проверили.

И дальше планируется ветвь эксперимента PADLS rule51, всё то же самое для линейки №51.
ID: 3191 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 4086
Credit: 0
RAC: 0
Message 3194 - Posted: 2 Mar 2019, 10:50:33 UTC - in response to Message 3191.  
Last modified: 2 Mar 2019, 10:56:06 UTC

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

Введено ЛК: 190597

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

Всё хорошо и можно начинать этот эксперимент в BOINC-проекте.
Пока Tomas не готов к запуску этого эксперимента, я немного потестирую в ручном режиме.

Кстати, вы видите время обработки довольно маленького WU на моём ПК, это 3 ч. 10 мин.
Количество найденных в обработанном WU марьяжных ДЛК близко к среднему по эксперименту, которое составляет 20 штук.
ID: 3194 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 4086
Credit: 0
RAC: 0
Message 3195 - Posted: 2 Mar 2019, 16:00:45 UTC
Last modified: 2 Mar 2019, 16:06:36 UTC

Покажу первые псевдоассоциативные ДЛК от генераторов 1 и 2 (задана одна и та же строка)



Нарушения ассоциативности в белых ячейках.

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

А вот генератор 2 с условием нарушения ассоциативности в четырёх центральных строках в линейке №15 ещё не работал.

Несмотря на свою похожесть показанные на иллюстрации ДЛК не изоморфны.
ID: 3195 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 4086
Credit: 0
RAC: 0
Message 3202 - Posted: 3 Mar 2019, 9:29:19 UTC

Я продолжаю работать в этой ветви эксперимента PADLS на своём ПК.
Иду по второму кругу (если считать генератор 1), но это нужно пройти.
Сейчас добавлен генератор 2.
Пусть проверка для генератора 1 повторяется.
Эксперименты должны обладать свойством повторяемости, то есть любой эксперимент может быть повторен и результаты сравниваются.
Это незыблемое правило.
У нас с Demis и в первом круге был ручной режим. Так что, повторная проверка очень не помешает.

Конечно, хотелось бы второй круг пройти в BOINC-проекте.
Но... это пока под вопросом...
ID: 3202 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 4086
Credit: 0
RAC: 0
Message 3204 - Posted: 4 Mar 2019, 13:28:18 UTC

Ох, попался "тяжёлый" WU, 422105 КФ ДЛК - псевдоассоциативных

prov.txt
output_SUB_prov.txt
Скопировано файлов:         1.
Скопировано файлов:         1.
Поиск марьяжных ДЛК (кроме симметричных) для семейства ЛК

Введено ЛК: 422105

Программа family_mar пыхтит :)
ID: 3204 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 4086
Credit: 0
RAC: 0
Message 3205 - Posted: 4 Mar 2019, 18:15:27 UTC - in response to Message 3204.  
Last modified: 4 Mar 2019, 19:10:33 UTC

Вот закончилась проверка

prov.txt
output_SUB_prov.txt
Скопировано файлов:         1.
Скопировано файлов:         1.
Поиск марьяжных ДЛК (кроме симметричных) для семейства ЛК

Введено ЛК: 422105

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

56 марьяжных ДЛК найдено!

Это Замыкание

Найдено марьяжных КФ:
count[1] = 117
count[2] = 9
Всего: 126
Найдено соквадратов: 135
КФ соквадратов: 126

Хороший WUs попался.
Кстати, в закончившейся в проекте Tomas Brada ветви эксперимента PADLS rule 38 максимальное количество марьяжных ДЛК в одном WU 47 штук.
В предыдущей ветви было максимум 263 марьяжных ДЛК в одном WU.
ID: 3205 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 4086
Credit: 0
RAC: 0
Message 3206 - Posted: 4 Mar 2019, 19:17:45 UTC

Только что я выложила скрипт gener_check.bat для выполнения эксперимента PADLS rule 15
https://cloud.mail.ru/public/JQLP/Pzaixf7qF

Если вы хотите попробовать работу скрипта, распакуйте архив и запустите скрипт.
В файле A18.txt уже записана строка для выполнения одного WU.
Это как раз тот WU, который я показала выше (даёт 56 марьяжных ДЛК).
На моём ПК этот WU обрабатывался почти 7 часов.
На вашем ПК это может быть быстрее.
У меня компьютер тихоход (2,4 Ггц).

Чтобы обрабатывать другие WU, надо получить исходные строки от меня.
Пишите мне, если вдруг захотите это выполнить.
ID: 3206 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 4086
Credit: 0
RAC: 0
Message 3209 - Posted: 5 Mar 2019, 6:50:44 UTC
Last modified: 5 Mar 2019, 7:11:45 UTC

А я продолжаю обработку WUs в ветви эксперимента PADLS rule 15.
Сегодня WU полегче :)

prov.txt
output_SUB_prov.txt
Скопировано файлов:         1.
Скопировано файлов:         1.
Поиск марьяжных ДЛК (кроме симметричных) для семейства ЛК

Введено ЛК: 374434

но тоже солидный, часов на 5-6 потянет.

WUs м-н-о-г-о, мне хватит надолго, чему я очень рада: хорошо, когда есть много работы.
А у меня работы очень много - хорошей и разной.
Отлично работает второй эксперимент - мультисимметрия. Пока только с одним генератором. В этом эксперименте стабильно находятся "симметричные" решения с симметрией (16,31,31).
Можно подключить к эксперименту другие генераторы [например, для симметрии (16,16,16)], но пока негде.
ID: 3209 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 4086
Credit: 0
RAC: 0
Message 3210 - Posted: 5 Mar 2019, 7:08:31 UTC
Last modified: 5 Mar 2019, 7:10:14 UTC

Пока эта ветвь эксперимента в работе, я думаю, какую ветвь запустить далее.
Ну, во-первых, надо ещё выполнить ветвь PADLS rule 51.
Тут всё аналогично текущей ветви эксперимента, только линейка другая.
Модификация обоих генераторов совсем незначительная. Затем генерация строк и - вперёд.

А вот что после этой ветви - надо хорошо подумать.
У меня уже готов генератор 3. Но... может быть, надо пропустить генератор 3 и перейти сразу к тотальному генератору.
Думаю... пока есть время подумать.

Кстати, тотальный генератор уже немного тестировала. Всё замечательно работает.

PS. О генераторе 3 смотрите тему
https://boinc.progger.info/odlk/forum_thread.php?id=105
О тотальном генераторе пока нет темы.
ID: 3210 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 4086
Credit: 0
RAC: 0
Message 3213 - Posted: 5 Mar 2019, 11:43:03 UTC
Last modified: 5 Mar 2019, 11:44:41 UTC

Ну вот, закончилась обработка WU

prov.txt
output_SUB_prov.txt
Скопировано файлов:         1.
Скопировано файлов:         1.
Поиск марьяжных ДЛК (кроме симметричных) для семейства ЛК

Введено ЛК: 374434

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

Я угадала: 6 часов (с хвостиком) продолжалась проверка.
А здесь найдено только 21 марьяжных ДЛК.
Напомню: среднее по эксперименту PADLS - 20 марьяжных ДЛК от одного WU.

Буду продолжать потихоньку.
Тише едешь - дальше будешь :) (некоторые добавляют: от того места, куда едешь).
Я не тороплюсь, мне некуда спешить.
ID: 3213 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 4086
Credit: 0
RAC: 0
Message 3226 - Posted: 8 Mar 2019, 18:17:04 UTC

Вот ещё интересный WU

prov.txt
output_SUB_prov.txt
Скопировано файлов:         1.
Скопировано файлов:         1.
Поиск марьяжных ДЛК (кроме симметричных) для семейства ЛК

Введено ЛК: 406150

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

51 марьяжных ДЛК произвёл на свет.
Замыкание не очень богатое

Найдено марьяжных КФ:
count[1] = 106
count[2] = 5
Всего: 111
Найдено соквадратов: 116
КФ соквадратов: 111
ID: 3226 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 4086
Credit: 0
RAC: 0
Message 3227 - Posted: 8 Mar 2019, 18:24:20 UTC
Last modified: 8 Mar 2019, 18:29:55 UTC

Вчера к этой ветви эксперимента подключился Demis.
Он протестировал 10 строк и... уже нашёл уникальную тройку

Предложил скрипт для пакетной обработки WUs, смотрите сообщение
https://boinc.progger.info/odlk/forum_thread.php?id=100&postid=3220#3220

Кстати, обрабатывал он 10 строк своим скриптом.
Сегодня взял для обработки ещё 100 строк.
ID: 3227 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 4086
Credit: 0
RAC: 0
Message 3228 - Posted: 9 Mar 2019, 4:01:04 UTC
Last modified: 9 Mar 2019, 4:01:44 UTC

Отстегнула Demis 100 строк, сама продолжаю дальше.
Не знаю, что там Demis попалось, а у меня продолжают идти солидные WU.
Вот сейчас первый с утра

prov.txt
output_SUB_prov.txt
Скопировано файлов:         1.
Скопировано файлов:         1.
Поиск марьяжных ДЛК (кроме симметричных) для семейства ЛК

Введено ЛК: 405772

Второй генератор мощно работает!

Пока эта ветвь эксперимента в работе, готовлю следующую ветвь - PADLS rule 51.
А о следующей за ней ветви думаю.
Совершенно неожиданно наткнулась ещё на одну интересную ветвь. Надо проработать её как следует.
ID: 3228 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
1 · 2 · 3 · 4 . . . 10 · Next

Message boards : Science : Новая ветвь эксперимента PADLS


©2019 (C) Progger