Prime Sierpinski Problem (prp , Sieve), Решаем задачу Серпинского Налаштування

[nikelong]

Официальный сайт

Официальная статистика по команде Украины:
1. Prime Sierpinski Problem - PRP
2. Prime Sierpinski Problem - Sieve

Расширенная статистиак по команде Украины:
1. Prime Sierpinski Problem - PRP
2. Prime Sierpinski Problem - Sieve

Как присоединится к проекту:

К сожалению, участники команды, которые считают этот проект, думают что присоединиться к нему плевое дело (так и есть). Только вот человеку, который ни разу в жизни не сталкивался с этим проектом трудно не то что присоединиться к проекту - трудно даже найти страницу, с которой нужно качать клиента! Организаторы проекта явно не знают что такое удобный интерфейс.
Потому Вам остается только вооружится Вашими знаниями по английскому и идти на официальный сайт за разъяснениями ...

О чем проект:

The Prime Sierpinski Problem
Проблема Простых чисел Серпинского

We look at a special class of prime numbers called proth numbers which have the general formula k*2^n+1. We further specialize our search by looking at numbers for which k is prime in k*2^n+1. Furthermore it has been proven that there exists an infinite number of prime k's such that k*2^n+1 can never be prime. These k's are called prime sierpinski numbers.

Нас интересует специальный класс простых чисел, которые называются числами Прота и описываются в общем виде формулой k*2^n+1. Конкретнее мы исследуем числа, в которых k простое число в формуле k*2^n+1. Как было доказано, существует бесконечное число простых чисел k, таких, что k*2^n+1 не является простым ни при каких n. Эти k называются простыми числами Серпинского.

The smallest proven prime Sierpinski number is 271129. We are looking at all prime k's below this number and trying to prove that they are not sierpinski numbers. The easiest way to prove that a k is not a prime sierpinski number is to find a prime for that k.

Минимальное доказанное число Серпинского 271129. Мы ищем простые числа для всех простых к меньше этого числа, и пытаемся доказать что они не являются числами Серпинского. Простейший способ доказать что какое либо к не является числом Серпинского, это найти простое число для этого к.

There are currently 12 such candidates remaining for which we need to find a prime. We have already found 17 large primes, several of which made it into the top 100 largest known prime number list.

Сейчас осталось 12 кандидатов, для которых мы должны найти простое число. Мы уже нашли 17 больших простых чисел, некоторые из них попали в ТОП100 простых чисел.

Before testing numbers for primality, we sieve out all those numbers where it is easy to find a factor, so that they cannot be prime. This is called "sieving". We are currently sieving up to n=50 million, which limit was chosen for efficiency reasons.
When a k is proved that it is not a sierpinski number the k is eliminated. This means that we no longer have to test that k for primality nor find factors for this k.

Перед тем, как проверять число не простоту, мы просеиваем все числа, для которых легко найти делитель, и таким образом доказать что они не простые. Это называется СЕЯЛКА. Сейчас мы засеваем %-) до n=50 миллионов, этот предел выбран из соображений эффективности. Когда доказано, что какое-то к не является числом Серпинского, оно вылетает из исследования. Это означает что не проверяем больше это к на простоту и не ищем делители для него.

If you have any questions please ask them on our forum here.

Вопросы?

Что такое PSP и Sieve:

ПСП - тест числа на простоту. Выполняется для какого-то конкретного значения к и н. Занимает МНОГО времени.
Сеялка - быстрый поиск делителей для всех к сразу и для н меньше 50 млн. Несмотря на то, что делитель находится редко, это всё равно быстрее чем проверять на простоту.

Це повідомлення відредагував nikelong: Mar 13 2009, 14:24

[Algon]

Некто
Вполне нормальная инструкция. Единственное, что осталось непонятным - что делать, если диапазон досчитался, но ничего не было найдено?

З.Ы. Поставил считаться 2 диапазона по 500G, если ничего не найдется - я пас

[Death]

а ничего не делать.
вон в гимпсе - одно простое число нашли раз в год и все рады до плеши.

идёшь на серпинскисиеве.ком и редактируешь свой диапазон - ставишь галку комплит. его помечают как пощитанный и щитают дальше.

кстати, в соб сеялке были две дырки (ГЭП - большой диапазон без делителей) размером в пару тысяч Гиг. вот где облом был.

[Algon]

Подскажите, что вот это обозначает:

12671731796849357 | 24737*2^33693751+1 (duplicate)
12671737718762261 | 237019*2^20489542+1 (duplicate)
p=12671763151552493, 1959728 p/sec, 0 factors, 22.6% done, ETA 23 Jan 08:04

Что какие-то факторы найдены, но они уже известны?
И на кой я тогда считаю?

[Death]

дубликаты. то есть уже для этой пары к-н делитель был найден.

просто какое то число может делиться и на 4 и на 99999999. на 4 уже был делитель найден, а на 9999999 ты только что нашел. потому что у тебя диапазон уже побольше.

тебя интересуют уникальные факторы. смотри файл fact.txt

[Некто]

думал подключиться к прп, но надо для этого понижать частоты, а то комп раз в пару часов перезагружается

[Death]

давай в НПЛБ. )))

кстати, кулер продуй на проце.

Algon, ну шо там?

[Algon]

Death
Считается по ночам. Приходится отрубать, когда компьютеры используются, иначе дикие тормоза. Вроде нашлись 3 фактора. Выполнено 85%, жду окончания.

[Death]

если у тебя уже есть что-то в файле факт.тхт ты можешь не ждать окончания а сабмитить их сразу.

http://seventeenorbust.com/sieve/ - не забудь залогиниться и присоединиться к команде )

http://psp-project.de/sieveimport.php - если ты писал на к ним на форум (регился), то там должен быть твой ник в списке.

не тяни, кидай факторы сразу!

и кинь сюда, плиз.

точнее лучше их сабмитить сразу, как найдёшь а не ждать окончания диапазона. каждый фактор экономит один полный тест. но если тест уже выдали юзеру, то отменить его вроде бы нельзя.

[Algon]

Это на одном сайте:

(Show/Hide)

Factors
12671915374164913|22699*2^38879110+1,12672473288307491|10223*2^35862089+1,12672490592574259|237019*2
^7198198+1,12672620643291163|55459*2^37897354+1
Verification Results
12671915374164913 22699 38879110 verified. 12672473288307491 10223 35862089 verified. 12672620643291163 55459 37897354 verified.

Factor table setup returned 1
Test table setup returned 1

3 of 4 verified in 0.33 secs.
1 of the results were new results and saved to the database.

А это на втором:

(Show/Hide)

User: Algon **SOB Flag: PSP_Only
Input contained 4 total lines.
Input contained 4 valid lines.
Input contained 1 valid lines from PSP k values.
Input contained 3 valid lines from SOB k values.
Input contained 0 invalid lines.
Input contained 0 lines with unknown K.
Input contained 0 lines with already known factor.
Input contained 0 wrong factors.

[Death]

нормально. ждём появления в стате )
на собе много очков не дадуд. делители 35м - прп тесты до туда ещё доооолго не дойдут.

псп не помню, где щас щитают.

[Algon]

Что-то я в статистику PRP вообще не попал, а в Sieve насколько я понимаю засчитали только один фактор из четырех.
Общее впечатление: чрезвычайно мутный проект, абсолютно непрозрачный и дико запутанный.
Кто-нибудь может мне объяснить, что там нужно для эффективности?

[Некто]

Что-то я в статистику PRP вообще не попал

ммм, считал ЛЛРНетом? там есть файлик llr-clientconfig.txt, в него ник прописал?
-- username
username = "Nekto"(ник должен быть такой, как на форуме у них)

[Death]

Algon, http://henleyclan.co.uk/sobsieve/alltime/ti/0044.htm

видно три твоих фактора в СоБ.

3 Algon 0.00 ( 0.00) 0 ( 0 ) 0 ( 0 ) 0 0 3 0.0 0.0

а вот

http://psp-project.de/statdetail/sieveuser261.html

твой 1 фактор.

06 Algon 1 1 9121.909644 2009-01-24 Ukraine

абсолютно не мутный, полностью прозрачный, очень простой.


что нужно? скорость процессора, 64 бита рулят, щитать, щитать, щитать. больше ничего не нужно )))))

Некто, он сеял, а не прп щитал. наверное с ПСП перепутал )))

[Death]

кстати, на серпинскисив появилась форма для отправки результатов в оба проекта сразу.

заходите в свой акк, там в настройках есть поля для заполнения своего ника в обеих проектах. для соб сива надо ещё и пароль.

[Rilian]

Посею один интервал