Российские распределенные вычисления на платформе BOINC
Форум участников распределённых вычислений.

Добро пожаловать, Гость! Чтобы использовать все возможности Вход или Регистрация.

Уведомление

Icon
Error

2 Страницы12>
Опции
К последнему сообщению К первому непрочитанному
Offline evatutin  
#1 Оставлено : 3 декабря 2014 г. 12:22:48(UTC)
evatutin


Статус: Старожил

Медали: Первооткрывателю: Результат в проекте SAT@homeРазработчику: За организацию проекта Gerasim@home

Группы: Editors, Member
Зарегистрирован: 08.06.2010(UTC)
Сообщений: 3,640
Откуда: Russia, Kursk

Сказал(а) «Спасибо»: 1023 раз
Поблагодарили: 1825 раз в 885 постах
http://srbase.myfirewall.org/sr5/

Собирается решать проблему Серпинского-Ризеля до 1030, как написано на сайте (наверное подразумевается 10^30 199). По какому основанию (наверное 5 199) и чем отличается от одноименного проекта в PrimeGrid мне непонятно...

kvt.kurskstu team founder
Gerasim@home scientist
My numbers are 5056994653507584 and 1835082219864832081920. Why not? smile
Offline Disel  
#2 Оставлено : 3 декабря 2014 г. 14:05:23(UTC)
Disel


Статус: Старожил

Медали: Первооткрывателю: Нахождение пар ОДЛК в RakeSearch! Донор: За финансовую помощь сайту

Группы: Member, Russia Team Group
Зарегистрирован: 08.07.2013(UTC)
Сообщений: 3,603
Мужчина
Российская Федерация

Сказал «Спасибо»: 519 раз
Поблагодарили: 427 раз в 327 постах
Хотел подключиться, но у них там только тестеры работают, свободного подключения пока нет. И линевые приложения есть, молодцы.
Ubuntu Linux 18.04 LTS - 64 bit / Boinc 7.9.3(х64) / Core 2 DUO E6300 1.8 Ггц / GeForce GT-630
Offline citerra  
#3 Оставлено : 3 декабря 2014 г. 17:59:03(UTC)
citerra


Статус: Старожил

Медали: Первооткрывателю: Нахождение пар ОДЛК в RakeSearch!Донор: За финансовую помощь сайту

Группы: Editors, Member, Russia Team Group, Moderators
Зарегистрирован: 02.10.2007(UTC)
Сообщений: 2,288

Сказал(а) «Спасибо»: 499 раз
Поблагодарили: 344 раз в 250 постах
Автор: evatutin Перейти к цитате
http://srbase.myfirewall.org/sr5/

Собирается решать проблему Серпинского-Ризеля до 1030, как написано на сайте (наверное подразумевается 10^30 199). По какому основанию (наверное 5 199) и чем отличается от одноименного проекта в PrimeGrid мне непонятно...

по веткам дискуссии
http://srbase.myfirewall...r5/forum_thread.php?id=8
http://srbase.myfirewall...5/forum_thread.php?id=19
получается всё-таки некоторые базы до 1030 ( сейчас Ризель R784 и R920 )

является частью проектов
http://www.noprimeleftbe...-conjecture-reserves.htm
http://www.noprimeleftbe...-conjecture-reserves.htm

PrimeGrid's исследует по основанию 5
thanks 1 пользователь поблагодарил citerra за этот пост.
evatutin оставлено 03.12.2014(UTC)
Offline artem_rave  
#4 Оставлено : 29 декабря 2014 г. 16:03:37(UTC)
artem_rave


Статус: Интересующийся

Группы: Member
Зарегистрирован: 18.05.2013(UTC)
Сообщений: 60
Мужчина
Российская Федерация
Откуда: Russia Team

Сказал «Спасибо»: 39 раз
Поблагодарили: 9 раз в 4 постах
Приложения только для CPU, долго таким мокаром считать. Респект только за короткие задания.
Offline evatutin  
#5 Оставлено : 29 декабря 2014 г. 18:09:20(UTC)
evatutin


Статус: Старожил

Медали: Первооткрывателю: Результат в проекте SAT@homeРазработчику: За организацию проекта Gerasim@home

Группы: Editors, Member
Зарегистрирован: 08.06.2010(UTC)
Сообщений: 3,640
Откуда: Russia, Kursk

Сказал(а) «Спасибо»: 1023 раз
Поблагодарили: 1825 раз в 885 постах
Автор: artem_rave Перейти к цитате
Приложения только для CPU, долго таким мокаром считать. Респект только за короткие задания.


Надеюсь, что сделают и для GPU, т.к. в данной задаче я не вижу для этого никаких проблем — вычисления однородные, доступ в память последовательный, условий нет. Кстати, на CPU тут должны эффективно работать SSE/AVX-расширения, надеюсь они тоже есть или появятся 199

kvt.kurskstu team founder
Gerasim@home scientist
My numbers are 5056994653507584 and 1835082219864832081920. Why not? smile
Offline artem_rave  
#6 Оставлено : 29 декабря 2014 г. 20:32:15(UTC)
artem_rave


Статус: Интересующийся

Группы: Member
Зарегистрирован: 18.05.2013(UTC)
Сообщений: 60
Мужчина
Российская Федерация
Откуда: Russia Team

Сказал «Спасибо»: 39 раз
Поблагодарили: 9 раз в 4 постах
Автор: evatutin Перейти к цитате
Автор: artem_rave Перейти к цитате
Приложения только для CPU, долго таким мокаром считать. Респект только за короткие задания.


Надеюсь, что сделают и для GPU, т.к. в данной задаче я не вижу для этого никаких проблем — вычисления однородные, доступ в память последовательный, условий нет. Кстати, на CPU тут должны эффективно работать SSE/AVX-расширения, надеюсь они тоже есть или появятся 199


Полностью согласен, вообще считаю что считать процессором математические проекты (которые можно считать видюхой) это крайне не рациональное использование ресурсов.
Offline den777  
#7 Оставлено : 22 февраля 2015 г. 19:30:06(UTC)
den777


Статус: Частенько заглядывает

Группы: Member
Зарегистрирован: 23.03.2014(UTC)
Сообщений: 208
Мужчина
Российская Федерация
Откуда: Новосибирск

Сказал «Спасибо»: 8 раз
Поблагодарили: 45 раз в 31 постах
AVX и FMA там есть.
Зато Russia Team нет. Заведите.

Хотя LLR как бы есть и под GPU, но, видать, что-то с ним не очень, иначе бы в PrimeGrid уже давно бы использовалось (доступно только в PRPNet). В этом проекте все то же самое.

Код для регистрации прямо на главной странице висит, если что.
Offline AlexA  
#8 Оставлено : 22 февраля 2015 г. 19:47:28(UTC)
AlexA


Статус: Administration

Медали: Переводчику: За помощь в создании сайта

Группы: Editors, Member, Administration, Russia Team Group, Moderators
Зарегистрирован: 02.10.2007(UTC)
Сообщений: 6,140
Мужчина
Российская Федерация
Откуда: "Russia Team"

Сказал «Спасибо»: 1250 раз
Поблагодарили: 1516 раз в 838 постах
Автор: den777 Перейти к цитате

Зато Russia Team нет. Заведите.

Завел - http://srbase.myfirewall...am_display.php?teamid=66 smile

Offline Zabaikalec2010  
#9 Оставлено : 23 февраля 2015 г. 3:55:52(UTC)
Zabaikalec2010


Статус: Давно уж тут

Группы: Member, Russia Team Group
Зарегистрирован: 11.11.2013(UTC)
Сообщений: 353
Мужчина
Российская Федерация
Откуда: Калуга

Сказал «Спасибо»: 241 раз
Поблагодарили: 73 раз в 58 постах
Не хочет регистрировать ни как они пишут
Если у Вас есть BOINC Manager, не используйте эту форму. Вместо этого запустите BOINC, выберите Добавить проект, и введите свой e-mail и пароль.

ни нормально регистрируясь (пригласительный код хотят)
Чтобы создать учётную запись, Вы должны указать пригласительный код.
Offline AlexA  
#10 Оставлено : 23 февраля 2015 г. 7:16:06(UTC)
AlexA


Статус: Administration

Медали: Переводчику: За помощь в создании сайта

Группы: Editors, Member, Administration, Russia Team Group, Moderators
Зарегистрирован: 02.10.2007(UTC)
Сообщений: 6,140
Мужчина
Российская Федерация
Откуда: "Russia Team"

Сказал «Спасибо»: 1250 раз
Поблагодарили: 1516 раз в 838 постах
Автор: Zabaikalec2010 Перейти к цитате
Не хочет регистрировать ни как они пишут
Если у Вас есть BOINC Manager, не используйте эту форму. Вместо этого запустите BOINC, выберите Добавить проект, и введите свой e-mail и пароль.

ни нормально регистрируясь (пригласительный код хотят)
Чтобы создать учётную запись, Вы должны указать пригласительный код.

Код на главной странице указан:
Цитата:
The invitation code for creating new accounts is pillepalle


thanks 1 пользователь поблагодарил AlexA за этот пост.
Zabaikalec2010 оставлено 23.02.2015(UTC)
Offline Zabaikalec2010  
#11 Оставлено : 23 февраля 2015 г. 12:14:41(UTC)
Zabaikalec2010


Статус: Давно уж тут

Группы: Member, Russia Team Group
Зарегистрирован: 11.11.2013(UTC)
Сообщений: 353
Мужчина
Российская Федерация
Откуда: Калуга

Сказал «Спасибо»: 241 раз
Поблагодарили: 73 раз в 58 постах
Автор: AlexA Перейти к цитате

Код на главной странице указан:
Цитата:
The invitation code for creating new accounts is pillepalle




В 4 утра пытался регистрироваться, надо ложиться раньше, спасибо. smile
Offline zlodeck  
#12 Оставлено : 3 марта 2015 г. 11:05:46(UTC)
zlodeck


Статус: Частенько заглядывает

Группы: Member
Зарегистрирован: 03.06.2012(UTC)
Сообщений: 205
Откуда: Замкадье

Сказал(а) «Спасибо»: 24 раз
Поблагодарили: 96 раз в 56 постах
Автор: evatutin Перейти к цитате
http://srbase.myfirewall.org/sr5/

Собирается решать проблему Серпинского-Ризеля до 1030, как написано на сайте (наверное подразумевается 10^30 199). По какому основанию (наверное 5 199) и чем отличается от одноименного проекта в PrimeGrid мне непонятно...



В отличие от PrimeGrid проект SRBase решает проблему Серпинского-Ризеля для чисел с различнными основаниями не превышающими 1030. PrimeGrid - только по основанию 2 и 5.

Т.е. SRBase ищет простые числа k*b^n ± 1 с основанием b < 1030.

(Ну, и название проекта кагбэ намекает.. smile )


Кстати, возможно, что наличие аналитически найденых кандидатов для проблемы Серпинскиго-Ризеля ограничено как раз основанием 1030.
Это, правда, чисто мое предположение.


Offline citerra  
#13 Оставлено : 3 марта 2015 г. 12:04:41(UTC)
citerra


Статус: Старожил

Медали: Первооткрывателю: Нахождение пар ОДЛК в RakeSearch!Донор: За финансовую помощь сайту

Группы: Editors, Member, Russia Team Group, Moderators
Зарегистрирован: 02.10.2007(UTC)
Сообщений: 2,288

Сказал(а) «Спасибо»: 499 раз
Поблагодарили: 344 раз в 250 постах
Автор: zlodeck Перейти к цитате
Кстати, возможно, что наличие аналитически найденых кандидатов для проблемы Серпинскиго-Ризеля ограничено как раз основанием 1030.
Это, правда, чисто мое предположение.

Базу можно взять любую. Пока проект ограничился 1030.

Offline zlodeck  
#14 Оставлено : 3 марта 2015 г. 15:04:56(UTC)
zlodeck


Статус: Частенько заглядывает

Группы: Member
Зарегистрирован: 03.06.2012(UTC)
Сообщений: 205
Откуда: Замкадье

Сказал(а) «Спасибо»: 24 раз
Поблагодарили: 96 раз в 56 постах
Автор: citerra Перейти к цитате
Автор: zlodeck Перейти к цитате
Кстати, возможно, что наличие аналитически найденых кандидатов для проблемы Серпинскиго-Ризеля ограничено как раз основанием 1030.
Это, правда, чисто мое предположение.

Базу можно взять любую. Пока проект ограничился 1030.



Можно.
Но предположение оказалось верным.

citerra, в вашем же посте последние 2 ссылки ясно указывают на то, что для всех оснований b<1030 найден минимальный кандидат Серпинского-Ризеля с накрывающим множеством делителей (т.е. для таких чисел k свойство Серпинского доказано аналитически).


И таки да, циклопические кандидаты для оснований 3 и 7 весьма доставляют.
А то я все думал: почему Праймгрид взял в работу SR5 а не SR3? Вот поэтому. d'oh!


SORRY^^ (черт, у citerra немного не те линки, можно и так найти, но ниже уже готовые)

Вот таблицы оснований:
Серпинский
http://www.noprimeleftbehind.ne...us/Sierp-conjectures.htm
Ризель
http://www.noprimeleftbe...s/Riesel-conjectures.htm

Отредактировано пользователем 3 марта 2015 г. 18:21:09(UTC)  | Причина: неверные ссылки

Offline citerra  
#15 Оставлено : 3 марта 2015 г. 23:19:24(UTC)
citerra


Статус: Старожил

Медали: Первооткрывателю: Нахождение пар ОДЛК в RakeSearch!Донор: За финансовую помощь сайту

Группы: Editors, Member, Russia Team Group, Moderators
Зарегистрирован: 02.10.2007(UTC)
Сообщений: 2,288

Сказал(а) «Спасибо»: 499 раз
Поблагодарили: 344 раз в 250 постах
На mersenneforum.org ищут и для больших баз, вплоть до 3000 ( м.б и больше ), например здесь, а здесь базу 3
thanks 1 пользователь поблагодарил citerra за этот пост.
zlodeck оставлено 04.03.2015(UTC)
Offline zlodeck  
#16 Оставлено : 4 марта 2015 г. 2:31:06(UTC)
zlodeck


Статус: Частенько заглядывает

Группы: Member
Зарегистрирован: 03.06.2012(UTC)
Сообщений: 205
Откуда: Замкадье

Сказал(а) «Спасибо»: 24 раз
Поблагодарили: 96 раз в 56 постах
Ага, спасибо, там, кстати, даже для b=65535 накрывающий набор кто-то нашел.

По крайней мере, поиск накрывающего множества (и соотв. минимального аналитически верифицируемого кандидата k) - это регулярная процедура, даже софтина имеется.


Что же касается базы 3, то закрывать ее будут ОЧЕНЬ долго. 63G-диапазон кандидатов для Ризеля и 125G для Серпинского.. М31 прилетит к нам раньше, ну, а потом и Солнце погаснет. smile

Про 280 базу вообще лучше не вспоминать. Это максимум (513T/82T) или еще больше нашли?




И такой еще вопрос: как называются числа вида k*b^n - 1 ?
Те, которые +1 - числа Прота.
А с минусом - как-то не попадалось наименование.

Offline evatutin  
#17 Оставлено : 4 марта 2015 г. 10:15:46(UTC)
evatutin


Статус: Старожил

Медали: Первооткрывателю: Результат в проекте SAT@homeРазработчику: За организацию проекта Gerasim@home

Группы: Editors, Member
Зарегистрирован: 08.06.2010(UTC)
Сообщений: 3,640
Откуда: Russia, Kursk

Сказал(а) «Спасибо»: 1023 раз
Поблагодарили: 1825 раз в 885 постах
Автор: zlodeck Перейти к цитате
И такой еще вопрос: как называются числа вида k*b^n - 1 ?
Те, которые +1 - числа Прота.
А с минусом - как-то не попадалось наименование.


https://en.wikipedia.org/wiki/Riesel_number

kvt.kurskstu team founder
Gerasim@home scientist
My numbers are 5056994653507584 and 1835082219864832081920. Why not? smile
Offline citerra  
#18 Оставлено : 4 марта 2015 г. 10:37:56(UTC)
citerra


Статус: Старожил

Медали: Первооткрывателю: Нахождение пар ОДЛК в RakeSearch!Донор: За финансовую помощь сайту

Группы: Editors, Member, Russia Team Group, Moderators
Зарегистрирован: 02.10.2007(UTC)
Сообщений: 2,288

Сказал(а) «Спасибо»: 499 раз
Поблагодарили: 344 раз в 250 постах
Автор: evatutin Перейти к цитате
Автор: zlodeck Перейти к цитате
И такой еще вопрос: как называются числа вида k*b^n - 1 ?
Те, которые +1 - числа Прота.
А с минусом - как-то не попадалось наименование.


https://en.wikipedia.org/wiki/Riesel_number

Не все числа Прота называются числами Серпинского, также
не все числа вида k*b^n - 1 будут числами Ризеля.

Тоже не встречал отдельного обозначения для чисел вида k*b^n - 1
В энциклопедии последовательностей целых чисел нет обозначения https://oeis.org/A112714
Нет и последовательности простых чисел вида k*b^n - 1, а простые числа Прота есть https://oeis.org/A080076
Offline zlodeck  
#19 Оставлено : 4 марта 2015 г. 13:56:54(UTC)
zlodeck


Статус: Частенько заглядывает

Группы: Member
Зарегистрирован: 03.06.2012(UTC)
Сообщений: 205
Откуда: Замкадье

Сказал(а) «Спасибо»: 24 раз
Поблагодарили: 96 раз в 56 постах
Автор: citerra Перейти к цитате

Тоже не встречал отдельного обозначения для чисел вида k*b^n - 1
В энциклопедии последовательностей целых чисел нет обозначения https://oeis.org/A112714
Нет и последовательности простых чисел вида k*b^n - 1, а простые числа Прота есть https://oeis.org/A080076


Печаль, но ничего не поделаешь.


Числа k*b^n + 1 вроде как называются обобщенными числами Прота.
Причем этот термин используют как для последовательностей простых чисел данного вида, так и в общем смысле.


Числами Серпинского и Ризеля называют:

  • факторы k чисел вида k*b^n+1 и k*b^n-1 для которых выполнено условие Серпинского-Ризеля (т.е. для данного k и фиксированной базы b вся последовательность не содержит простых чисел - и этот факт доказан аналитически);

  • факторы k при заданном b, подлежащие численной проверке, т.к. для них нет аналитического доказательства;

  • сами последовательности Sb = k*b^n+1 и Rb = k*b^n-1 c фиксированной базой (например, R19 = k*19^n-1 для которой на данный момент остается 1146 непроверенных кандидатов k<1119866, для 1119866 аналитически доказано отсутствие простых чисел в последовательности R19)

  • простые числа, обрывающие последовательность Sb или Rb для какого-либо кандидата k (например, S2(19249,13018586) = 19249*2^13018586+1, в базе данных primes.utm.edu оно называется SB10, найдено проектом SeventeenOrBust в 2007г.). Здесь забавно то, что в данном случае фактор k числом Серпинского или Ризеля как раз и не является.

В общем, какая-то терминологическая каша.
Offline citerra  
#20 Оставлено : 4 марта 2015 г. 15:19:13(UTC)
citerra


Статус: Старожил

Медали: Первооткрывателю: Нахождение пар ОДЛК в RakeSearch!Донор: За финансовую помощь сайту

Группы: Editors, Member, Russia Team Group, Moderators
Зарегистрирован: 02.10.2007(UTC)
Сообщений: 2,288

Сказал(а) «Спасибо»: 499 раз
Поблагодарили: 344 раз в 250 постах
Автор: zlodeck Перейти к цитате
В общем, какая-то терминологическая каша.


Числа Серпинского
В теории чисел нечётное натуральное число k является числом Серпинского, если для любого натурального числа n число k*2^n+1 является составным.
Последовательность известных на данный момент чисел Серпинского начинается так: 78557, 271129, 271577, 322523...
(последовательность A076336 в OEIS)
Задача отыскания _минимального_ числа Серпинского известна как проблема Серпинского.

Для числа Ризеля аналогично
В математике число Ри́зеля — нечётное натуральное число k, для которого целые числа вида k*2^n − 1 составные для всех натуральных чисел n.

Цитата:
факторы k чисел вида k*b^n+1 и k*b^n-1 для которых выполнено условие Серпинского-Ризеля (т.е. для данного k и фиксированной базы b вся последовательность не содержит простых чисел - и этот факт доказан аналитически);


Цитата:
факторы k при заданном b, подлежащие численной проверке, т.к. для них нет аналитического доказательства;

кандидаты в SR-числа. Но компьютером можно доказать, что кандидат не число SR
И лучше не называть k фактором. может произойти путаница, т.к часто фактором обозначают делитель числа ( калька с
factor ) Из вики: В математике факториза́ция или фа́кторинг — это декомпозиция объекта (например, числа, полинома или матрицы) в произведение других объектов или факторов, которые, будучи перемноженными, дают исходный объект.

Цитата:
сами последовательности Sb
Уж никаких не могут быть числами SR

Если не запутывать, то и каши нет.


Пользователи, просматривающие эту тему
Guest
2 Страницы12>
Быстрый переход  
Вы не можете создавать новые темы в этом форуме.
Вы не можете отвечать в этом форуме.
Вы не можете удалять Ваши сообщения в этом форуме.
Вы не можете редактировать Ваши сообщения в этом форуме.
Вы не можете создавать опросы в этом форуме.
Вы не можете голосовать в этом форуме.

Boinc.ru theme. Boinc.ru
Форум YAF 2.1.1 | YAF © 2003-2018, Yet Another Forum.NET
Страница сгенерирована за 0.257 секунды.