ODLK2 Server hosting PADLS experiment

Message boards : Science : ODLK2 Server hosting PADLS experiment
Message board moderation

To post messages, you must log in.

Previous · 1 · 2 · 3 · 4 · 5 · 6 · 7 . . . 9 · Next

AuthorMessage
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13131
Credit: 0
RAC: 0
Message 3965 - Posted: 22 Jun 2019, 11:59:43 UTC
Last modified: 22 Jun 2019, 12:05:21 UTC

У нас сегодня рекорд жары за 10 лет, самое жаркое 22 июня :)
Думать очень трудно.
Тэк-с...
считываем массив (в преобразованном мной виде); в каждой строке выводим последние 25 символов.
Это будет то, что нам нужно.
Осталось код написать, прямо в скриптовом формате или как он там называется... формат командной строки...
ID: 3965 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13131
Credit: 0
RAC: 0
Message 3966 - Posted: 22 Jun 2019, 13:27:44 UTC
Last modified: 22 Jun 2019, 14:33:03 UTC

Отбой!
Я придумала, как преобразовать формат.

Преобразовала, в порции 5382 КФ ОДЛК.
Сейчас обрабатываются результаты скриптом Белышева zamyk.bat.

Вот готово Замыкание

Найдено марьяжных КФ:
count[1] = 10792
count[2] = 22
Всего: 10814
Найдено соквадратов: 10836
КФ соквадратов: 10814

Уникальность могу проверить только в рамках проекта ODLK по состоянию на 1 января 2019 г., потому что БД у нас в проектах ODLK и ODLK1 до сих пор не ведётся.

Проверила уникальность относительно всех решений BOINC-проекта ODLK на 1 января 2019 г., уникальных 10812 КФ ОДЛК.
Сейчас ещё проверю относительно БД ручного проекта.
Вот
inp.txt
10812 квадратов.
out_102541.txt
102541 квадратов.
---Выход в out.txt
Уникальных 113351 квадратов (выход).

Относительно БД ручного проекта уникальных 10810 КФ ОДЛК.

Отличные результаты!
И это всего за три дня и очень малыми силами.
ID: 3966 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13131
Credit: 0
RAC: 0
Message 3967 - Posted: 22 Jun 2019, 14:46:16 UTC
Last modified: 22 Jun 2019, 14:54:50 UTC

О повторяемости результатов в эксперименте PADLS TOTAL rule 51

Повторяемость неизбежна, потому что... сливки сняли... помните?

Были ветви эксперимента
PADLS rule 51, генератор 1;
PADLS rule 51, генераторы 1 и 2 (эта ветвь сейчас в работе у XAVER).

Далее, как уже не раз отмечалось, линейка №51 проверяется в BOINC-проекте ODLK.
Проверяется просто на марьяжность КФ.
Но все решения, найденные в этом эксперименте, тоже будут найдены и в эксперименте PADLS TOTAL rule 51.

И при всей этой неизбежной повторяемости львиная доля решений в эксперименте PADLS TOTAL rule 51 будет уникальна.
И решений будет много.
Вот только насчёт солидных групп пар ОДЛК... сливки сняли!
Если и будут такие группы, то не очень много.
ID: 3967 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13131
Credit: 0
RAC: 0
Message 3968 - Posted: 23 Jun 2019, 0:46:40 UTC - in response to Message 3967.  
Last modified: 23 Jun 2019, 6:19:55 UTC

Посмотрите для примера, сколько солидных групп пар ОДЛК нашли в проекте ODLK1



отсюда
https://boinc.multi-pool.info/latinsquares/forum_thread.php?id=54&postid=771#771

Не густо! Выше четвёрки вообще ничего нет.

А в эксперименте PADLS получено очень много групп пар ОДЛК выше двушки: тройки, четвёрки, пятёрки, шестёрки,семёрка, восьмёрки, десятка.
Не найдена только девятка.

Так что, не будем расстраиваться, если эксперимент PADLS TOTAL не даст солидных групп пар ОДЛК, он их уже дал!
Но этот эксперимент даст ещё огромное количество уникальных однушек и двушек.
Ну, и солидные группы пар совсем не исключаются, могут быть ещё.
ID: 3968 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13131
Credit: 0
RAC: 0
Message 3970 - Posted: 23 Jun 2019, 2:54:54 UTC
Last modified: 23 Jun 2019, 2:56:44 UTC

Интересный момент: из найденных мной в эксперименте PSDLS TOTAL rule 51 решений (240 марьяжных ДЛК) в проекте у Tomas Brada есть пока только одно

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

Такое вот у нас пока пересечение результатов.

Мои 240 марьяжных ДЛК выложены здесь
https://cloud.mail.ru/public/3Bnv/5FYgynNeC
ID: 3970 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13131
Credit: 0
RAC: 0
Message 3994 - Posted: 25 Jun 2019, 5:49:07 UTC
Last modified: 25 Jun 2019, 5:52:02 UTC

В проекте Tomas Brada в эксперименте PADLS TOTAL rule 51 сейчас тестируется Приложение для Windows.
Ещё порция WUs сгенерирована и проверяется.
https://boinc.tbrada.eu/forum_thread.php?id=3023&postid=3339#3339

Ждём результатов.
ID: 3994 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13131
Credit: 0
RAC: 0
Message 4005 - Posted: 26 Jun 2019, 7:13:55 UTC
Last modified: 26 Jun 2019, 7:18:27 UTC

Всё в проекте Tomas Brada идёт замечательно!
Приложение для Windows работает, Валидатор и Ассимилятор работают, кредиты назначаются.
Осталось сделать экспорт результатов, для меня ну очень важный момент.
С нетерпением жду, когда можно будет смотреть текущие результаты.

Господа!
BOINC-проект Tomas Brada ждёт вас!
Не пропустите интересный проект.
В проекте выполняется интереснейший эксперимент PADLS TOTAL rule 51.
Возможно, Томаш запустит и ещё две ветви эксперимента PADLS TOTAL, для линеек 15 и 38.
Это было бы очень здорово!
ID: 4005 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Tomas Brada

Send message
Joined: 14 Jan 19
Posts: 119
Credit: 574
RAC: 0
Message 4012 - Posted: 27 Jun 2019, 8:16:17 UTC
Last modified: 27 Jun 2019, 8:17:09 UTC

Another export. Hopefully the last one before automated publishing.
https://boinc.tbrada.eu/forum_thread.php?id=3023&postid=3358
Enjoy!
ID: 4012 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13131
Credit: 0
RAC: 0
Message 4013 - Posted: 27 Jun 2019, 9:06:01 UTC - in response to Message 4012.  
Last modified: 27 Jun 2019, 9:17:54 UTC

Another export. Hopefully the last one before automated publishing.
https://boinc.tbrada.eu/forum_thread.php?id=3023&postid=3358
Enjoy!

О-о-о!!! Спасибо.
Это превосходно!
Я скачала по ссылке 17684 КФ ОДЛК, декодирование дало 17683 КФ ОДЛК.
Первичная обработка (не скриптом zamyk.bat) дала 35434 КФ ОДЛК!

Уникальность проверила в рамках проекта ODLK по состоянию на 1 января 2019 г.
Все решения уникальные в этих рамках.
Относительно БД ручного проекта 2 КФ ОДЛК совпадают.

Грандиозные результаты!

Tomas Brada
поздравляю вас с отличным началом проекта!
ID: 4013 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13131
Credit: 0
RAC: 0
Message 4016 - Posted: 28 Jun 2019, 3:00:07 UTC
Last modified: 28 Jun 2019, 3:21:27 UTC

Сегодня с утречка запустила обработку результатов, выложенных Tomas Brada, скриптом Белышева zamyk.bat.
Итак, исходные, сырые результаты - 17683 КФ ОДЛК.
Получено Замыкание

Найдено марьяжных КФ:
count[1] = 35486
count[2] = 72
Всего: 35558
Найдено соквадратов: 35630
КФ соквадратов: 35558

35558 КФ ОДЛК, 72 двушки! Отличные результаты!
ID: 4016 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13131
Credit: 0
RAC: 0
Message 4017 - Posted: 28 Jun 2019, 3:19:26 UTC
Last modified: 28 Jun 2019, 3:33:20 UTC

Цитата
Результаты обработки решений с проекта ODLK за май т. г.

odlk3 (сырые результаты - 4480 КФ ОДЛК)
Найдено марьяжных КФ:
count[1] = 8986
count[2] = 18
Всего: 9004
Найдено соквадратов: 9022
КФ соквадратов: 9004

odlkmax (сырые результаты - 3880 КФ ОДЛК)
Найдено марьяжных КФ:
count[1] = 7764
count[2] = 13
Всего: 7777
Найдено соквадратов: 7790
КФ соквадратов: 7777

odlkmin (сырые результаты - 4052 КФ ОДЛК)
Найдено марьяжных КФ:
count[1] = 8142
count[2] = 10
Всего: 8152
Найдено соквадратов: 8162
КФ соквадратов: 8152

Всего: 24933 КФ ОДЛК.
Увы! Ни одной группы пар ОДЛК выше двушки нет.

Уникальность проверила только в рамках проекта ODLK и своего автономного подпроекта, уникальных 24921 КФ ОДЛК.

Просто сравните с результатами, показанными выше, из проекта Tomas Brada.

Проекту ODLK пошёл третий год. Это уже довольно известный, раскрученный проект. Задания в проекте есть всегда. В проекте работают три Приложения.
Проект стабильно работает. Я нисколько не умаляю значение этого проекта!
Но... проект потерял свою эффективность. В проекте не запускаются новые, эффективные эксперименты.
Ничего не в силах изменить :(
И была вынуждена искать новые возможности запуска экспериментов.
И они найдены! BOINC-проект Tomas Brada работает!
Сколько я потратила сил и времени на эти поиски - одному Богу известно.
ID: 4017 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13131
Credit: 0
RAC: 0
Message 4020 - Posted: 28 Jun 2019, 4:47:37 UTC

Тор-10 лучших команд в BOINC-проекте Tomas Brada

1 SETI.USA 11 23,664 536,498 International Другое
2 OcUK - Overclockers UK 1 7,609 94,752 United Kingdom Другое
3 Russia Team 1 6,324 73,786 Russia Национальные
4 L'Alliance Francophone 11 3,639 92,507 International Другое
5 SETI.Germany 12 3,524 57,542 Germany Другое
6 Overclock.net 2 2,623 86,436 International Тип компьютера
7 BlackOps 1 2,013 40,350 International Тип компьютера
8 Free-DC 2 1,053 51,109 International Другое
9 BOINC.SK 1 893 18,571 Slovakia Другое
10 Hardware Canucks 1 751 32,929 Canada Тип компьютера

отсюда
https://boinc.tbrada.eu/top_teams.php

Есть один участник команды Russia Team, который выводит команду на третье место!

Спасибо всем вам, дорогие наши участники!
ID: 4020 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13131
Credit: 0
RAC: 0
Message 4049 - Posted: 2 Jul 2019, 13:17:21 UTC
Last modified: 2 Jul 2019, 13:24:55 UTC

Цитата

Now, i set up automatic exporting. There is a file: https://boinc.tbrada.eu/download/tot_odlk_plain.txt
This file is updated every 12 hours, starting from now, with all the ODLS in the project database. Nothing more, nothing less.

отсюда
https://boinc.tbrada.eu/forum_thread.php?id=3031&postid=3403#3403

Скачала результаты по ссылке, 58120 КФ ОДЛК.
Вычла предыдущую порцию результатов (17683 КФ ОДЛК), осталось 40437 КФ ОДЛК.
Обрабатывать скриптом Белышева zamyk.bat не стала, потому что такая порция у меня очень долго будет обрабатываться.
Выполнила только первичную обработку.
Найдена уникальная тройка!

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

Это 97-ая тройка в нашей общей БД.

Общее количество КФ ОДЛК, найденных в проекте, уже более 100000.
Это PADLS!
ID: 4049 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13131
Credit: 0
RAC: 0
Message 4051 - Posted: 3 Jul 2019, 2:36:35 UTC
Last modified: 3 Jul 2019, 5:18:09 UTC

С огромным интересом исследую результаты с BOINC-проекта Tomas Brada; смотрите по этой ссылке
https://boinc.tbrada.eu/download/tot_odlk_plain.txt

Как сообщил Tomas Brada, файл результатов обновляется каждые 12 часов. Отлично!
Сейчас вот скачала, новых результатов много добавилось (по сравнению со вчерашней партией решений).
Буду обрабатывать и внимательно рассматривать.

PS. Обратите внимание на знак авторских прав в самом начале файла результатов.
Это для любителей включать результаты других BOINC-проектов в свою БД (да ещё без указания ссылки). Есть такие любители!

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

1. BOINC project SAT@home (154 CF)
http://sat.isa.ru/pdsat/index.php
https://ru.wikipedia.org/wiki/SAT@home

3. BOINC project Gerasim@Home (5865 CF)
http://gerasim.boinc.ru/
https://ru.wikipedia.org/wiki/Gerasim@Home

3. "Manual" project "Development of the DB from CF DLS of order 10 having orthogonal DLS" (39328 CF)
Details about the project in the forum
http://mathhelpplanet.com/viewtopic.php?f=57&t=46638
and
BOINC project
https://boinc.progger.info/odlk/

Во-первых, указаны ссылки на проекты, с которых взяты решения.
Во-вторых, с решений проекта SAT@home я начинала составление БД ещё в своём ручном проекте (никаких BOINC-проектов у меня тогда ещё не было).
Это первый кирпичик в БД. Ну, плюс ещё первые пары ОДЛК, найденные в 1992 г. Брауном и компанией.
В-третьих, о решениях с проекта Gerasim@Home.
Ссылка на проект тоже указана.
Далее, проект Gerasim@Home был запущен несколько раньше проектов ODLK и ODLK1.
Я тогда БД уже вовсю составляла в своём ручном проекте.
Конечно, мне очень хотелось добавлять результаты с проекта Gerasim@Home в составляемую мной БД.
Первые выложенные на форуме boinc.ru результаты я добавила.
Затем обратилась к руководителю проекта Gerasim@Home Ватутину с просьбой дать мне прямой доступ к результатам этого проекта.
И... получила отказ. Ватутин ответил, что не видит смысла в ведении альтернативной БД.
Вот на этом наши альтернативные БД и разошлись, как в море корабли :)
Я больше не добавляла результаты с проекта Gerasim@Home в свою БД.
5865 КФ ОДЛК - это все результаты с проекта Gerasim@Home, которые были добавлены.

Однако смысл в ведении альтернативных БД, оказывается, есть!
Наша БД раза в 3 больше будет, чем БД, полученная в проекте Gerasim@Home.

Наша БД в данный момент пополняется из 4-х проектов:
1. BOINC-проект ODLK;
2. BOINC-проект ODLK1;
3. Мой автономный подпроект;
4. BOINC-проект Tomas Brada.

Автономный подпроект - это тот же самый ручной проект, с которого всё и начиналось. Этот проект по-прежнему работает!
ID: 4051 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13131
Credit: 0
RAC: 0
Message 4052 - Posted: 3 Jul 2019, 5:26:38 UTC
Last modified: 3 Jul 2019, 5:41:57 UTC

Итак, обработала последнюю порцию решений с проекта Tomas Brada.
Объединила все результаты (не совсем полные, правда, так как одну из порций я не обработала скриптом zamyk.bat), получилось 134576 КФ ОДЛК.
Впечатляет! При этом уже есть одна уникальная тройка.

Если темп сохранится, результаты будут сравнимы с результатами в проекте ODLK1.
Но... мощности-то этих проектов пока не сравнимы!
Проект Tomas Brada только начался, в проекте всего около 100 активных участников на данный момент.

Эксперимент PADLS очень эффективный во всех своих ветвях.
И я предлагала этот эксперимент к запуску в BOINC-проектах ещё в декабре 2017 г., сразу как был разработан алгоритм эксперимента и его ПО.
А ветвей в эксперименте много.
Смотрите тему "О серии алгоритмов PADLS"
https://boinc.progger.info/odlk/forum_thread.php?id=123

И в эксперименте PADLS TOTAL пока запущена только одна ветвь из трёх (rule 51).
Две ветви ждут своей очереди, rule 15 и rule 38.
Tomas Brada сообщал, что он добавил несколько сегментов из линеек 15 и 38 в генерацию WUs, просто для тестирования.
Тестирование - это хорошо, но нужен полноценный запуск этих ветвей эксперимента.

Я спросила
Is it possible to run separate Applications for rules 15 and 38?
Can the server handle the load?

здесь
https://boinc.tbrada.eu/forum_thread.php?id=3023&postid=3365#3365
Ответ пока не получен.
ID: 4052 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13131
Credit: 0
RAC: 0
Message 4055 - Posted: 3 Jul 2019, 14:46:38 UTC
Last modified: 3 Jul 2019, 15:01:07 UTC

Файл результатов в проекте Tomas Brada уже обновился!
Новая порция решений содержит 10134 КФ ОДЛК.
Замыкание (обработка скриптом Белышева zamyk.bat)

Найдено марьяжных КФ:
count[1] = 20338
count[2] = 45
count[4] = 1
Всего: 20384
Найдено соквадратов: 20432
КФ соквадратов: 20384

Супер!
Четвёрка уникальная!

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

Это 529-ая четвёрка в нашей общей БД.

Общее количество найденных в проекте КФ ОДЛК: 154960 (фактически чуть больше, выше писала причину). Класс!

На уникальность решения могу проверить только частично, потому что у меня нет всей БД.
Первые порции решений проверяла частично на уникальность, почти все решения уникальные (за исключением 2-4 КФ ОДЛК).
Ну, думаю, что Tomas Brada проверит решения на уникальность, когда будет публиковать БД проекта.

Итак, в проекте уже найдены уникальные тройка и четвёрка.
Я хочу девяточку :)
ID: 4055 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13131
Credit: 0
RAC: 0
Message 4060 - Posted: 4 Jul 2019, 18:03:06 UTC
Last modified: 4 Jul 2019, 19:05:25 UTC

Сегодня две порции решений обработала (снимаю результаты каждые 12 часов), они дали 44693 КФ ОДЛК, в том числе 89 двушек.
Групп пар ОДЛК выше двушки сегодня нет.

Общий итог в проекте: 199653 КФ ОДЛК (фактически чуть больше, причину писала выше).
Это уже в 2 раза больше, чем получено в проекте ODLK за июнь т. г. (93948 КФ ОДЛК).
Проект Tomas Brada с экспериментом PADLS TOTAL rule 51 работает меньше месяца.

Пока проект ещё не работает в полную силу. В данный момент заданий к отправке нет.
Tasks ready to send 0
Задания обрабатываются 33440

https://boinc.tbrada.eu/server_status.php
ID: 4060 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13131
Credit: 0
RAC: 0
Message 4061 - Posted: 4 Jul 2019, 18:18:23 UTC
Last modified: 4 Jul 2019, 19:07:47 UTC

В проекте уже есть первый миллионер!

1 Mumps [MM] 83,362 1,220,702 United States 28 Feb 2019, 1:15:50 UTC
2 RFGuy_KCCO 59,197 793,336 United States 19 Feb 2019, 18:42:29 UTC
3 phoenicis 37,338 452,856 United Kingdom 17 Feb 2019, 9:15:48 UTC
4 PDW 27,739 408,673 United Kingdom 24 Feb 2019, 11:58:50 UTC
5 Gunnar Hjern 18,373 274,760 Sweden 21 Jun 2019, 20:04:09 UTC
6 ChelseaOilman 14,889 164,371 United States 2 Jul 2019, 19:23:09 UTC
7 jozef j 10,940 177,055 Slovakia 8 Mar 2019, 17:07:05 UTC
8 [SG-2W]Kurzer 7,615 121,531 Germany 19 Feb 2019, 12:00:38 UTC
9 [H]auntjemima 6,194 68,377 Canada 2 Jul 2019, 19:32:16 UTC
10 mmonnin 5,138 133,951 United States 16 Feb 2019, 18:41:05 UTC

https://boinc.tbrada.eu/top_users.php

Активность участников радует.
Спасибо всем!

PS. Странно, что у участников нет медалей. Что-то тут Tomas Brada, по-моему, не сделал.
Может быть, это потому, что страницы участников нет в этом меню?



И страницы команд тоже нет. И команды тоже пока не имеют медалей.
ID: 4061 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13131
Credit: 0
RAC: 0
Message 4064 - Posted: 5 Jul 2019, 3:34:49 UTC

ID: 4064 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13131
Credit: 0
RAC: 0
Message 4066 - Posted: 5 Jul 2019, 6:14:56 UTC
Last modified: 5 Jul 2019, 6:17:36 UTC

Внимательно изучаю решения с проекта Tomas Brada.
Самый важный вопрос - уникальность найденных решений.
Уже писала выше, что не имею полной обшей БД с проектов ODLK и ODLK1, поэтому уникальность могу проверить только частично.

После обработки утренней порции решений имеем в результатах проекта Tomas Brada 221705 КФ ОДЛК (фактически чуть больше).
Превосходный результат!
Покажу несколько частичных проверок этих решений на уникальность.

1. Относительно первых 4-х частей общей БД (содержат 2009294 уникальных КФ ОДЛК)

C:\Users\Дом\Downloads\LKBase\Предыдущие базы\DB_500000>LKBaseSUB.exe  0<vvod1.txt
Имя входного файла ИСТОЧНИК (без расширения):Имя входного файла ВЫЧИТАЕМОЕ (без
расширения):input.txt
Всего 221705 квадратов (вход) в input.txt
out_1500000.txt
Всего 1500000 квадратов (вход) в out_1500000.txt
Уникальных 221697 квадратов (выход).
Для продолжения нажмите любую клавишу . . .

C:\Users\Дом\Downloads\LKBase\Предыдущие базы\DB_500000>LKBaseSub.exe  0<vvod2.txt
Имя входного файла ИСТОЧНИК (без расширения):Имя входного файла ВЫЧИТАЕМОЕ (без
расширения):input_Sub_out_1500000.txt
Всего 221697 квадратов (вход) в input_Sub_out_1500000.txt
DB_part4_509294.txt
Всего 509294 квадратов (вход) в DB_part4_509294.txt
Уникальных 221695 квадратов (выход).
Для продолжения нажмите любую клавишу . . .

Здесь пересечение составляет 10 КФ ОДЛК, 221695 КФ ОДЛК уникальны.

2. Относительно БД BOINC-проекта ODLK по состоянию на 1 января 2019 г. (содержит 385041 уникальных КФ ОДЛК)

Имя входного файла ИСТОЧНИК (без расширения):input
Имя входного файла ВЫЧИТАЕМОЕ (без расширения):output
input.txt
Всего 221695 квадратов (вход) в input.txt
output.txt
Всего 385041 квадратов (вход) в output.txt
Уникальных 221695 квадратов (выход).
Для продолжения нажмите любую клавишу . . .

Здесь нет пересечений.

3. Относительно БД ручного проекта (содержит 103896 уникальных КФ ОДЛК)

inp.txt
221695 квадратов.
out_103896.txt
103896 квадратов.
---Выход в out.txt
Уникальных 325583 квадратов (выход).
Для продолжения нажмите любую клавишу . . .

Здесь пересечение составляет 8 КФ ОДЛК, 221687 КФ ОДЛК уникальны.

Вероятность пересечений с результатами BOINC-проекта ODLK1 очень мала: линейка №51 в этом проекте не проверяется.
Надеюсь, что когда-нибудь ice00 доведёт БД проекта ODLK1 до ума, и тогда мы сможем проверять результаты проекта Tomas Brada относительно этой БД.

У Tomas Brada есть общая БД побольше, чем у меня. Он может проверять уникальность решений относительно общей БД.
ID: 4066 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Previous · 1 · 2 · 3 · 4 · 5 · 6 · 7 . . . 9 · Next

Message boards : Science : ODLK2 Server hosting PADLS experiment


©2024 (C) Progger