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

[Death]

Algon,

1/ типа гуя, который автоматом отсылает найденные факторы на сайт соб. берут в гугле ))) sobistrator

3/ ppd никаких нет.
4. оптимизация есть.
5. можно. контрол це в консоли, которая щитает.

sr2sieve-x86-windows.exe -s -j -vv -zz
вот как я запускаю.

sobstatus.dat

pmax=12643900000000000
pmin=12643800000000000
pmin=12643800005654927 @ 287 kp/s
pmin=12643800079186399 @ 242 kp/s
pmin=12643800145377899 @ 220 kp/s
pmin=12643800209472043 @ 213 kp/s
pmin=12643800241584779 @ 101 kp/s
pmin=12643800301746763 @ 200 kp/s
pmin=12643800399133447 @ 324 kp/s

он пишет прогресс сюда. после перезапуска продолжает.

http://www.geocities.com/g_w_reynolds/sr2sieve/

sr2sieve-1.8.6-bin.zip 15-Jan-2009 16:12 159k

свежак.

Some of the following additional options may also be available:
--amd Use CMOV optimisations.
--intel Don't use CMOV optimisations.
--sse2 Use SSE2 vector optimisations.
--no-sse2 Don't use SSE2 vector optimisations.
-t --threads NUM Start NUM child threads. (Default 0).


C:\Program Files\sieve>sr2sieve-x86-windows.exe -s -j -vv -zz
sr2sieve 1.8.6 -- A sieve for multiple sequences k*b^n+/-1 or b^n+/-k.
Compiled on Jan 16 2009 with GCC 3.4.5 (mingw special).
SSE2 code path, L1 data cache 16Kb (detected), L2 cache 256Kb (detected).
Reading `SoB.dat' ...
Read 1827430 terms for 15 sequences from dat format file `SoB.dat'.
Sieving standard form sequences k*2^n+/-1.
Q=2, s=15, %=50.00, w=3378011.
Q=4, s=15, %=25.00, w=2388971.
Q=6, s=18, %=20.00, w=2059056.
Q=8, s=19, %=15.83, w=1878335.
Q=10, s=53, %=35.33, w=2577185.
Q=12, s=18, %=10.00, w=1456985.
Q=16, s=37, %=15.42, w=1762331.
Q=18, s=35, %=12.96, w=1583697.
Q=20, s=53, %=17.67, w=1823974.
Q=24, s=22, %=6.11, w=1136706.
Q=30, s=59, %=13.11, w=1551204.
Q=36, s=35, %=6.48, w=1122610.
Q=40, s=68, %=11.33, w=1440720.
Q=48, s=43, %=5.97, w=1082758.
Q=60, s=59, %=6.56, w=1101393.
Q=72, s=42, %=3.89, w=872795.
Q=80, s=132, %=11.00, w=1403306.
Q=90, s=114, %=8.44, w=1236761.
Q=120, s=74, %=4.11, w=886314.
Q=144, s=81, %=3.75, w=849227.
Q=180, s=114, %=4.22, w=888151.
Q=240, s=144, %=4.00, w=861102.
Q=360, s=140, %=2.59, w=715074.
Q=720, s=268, %=2.48, w=740485.
Split 15 base 2 sequences into 140 base 2^360 subsequences.
Using 2373Kb for subsequence bitmaps.
Using 168Kb for subsequence congruence tables.
Building Legendre symbol lookup table for 10223*2^n+1 ...
Building Legendre symbol lookup table for 21181*2^n+1 ...
Building Legendre symbol lookup table for 22699*2^n+1 ...
Building Legendre symbol lookup table for 24737*2^n+1 ...
Building Legendre symbol lookup table for 55459*2^n+1 ...
Building Legendre symbol lookup table for 67607*2^n+1 ...
Building Legendre symbol lookup table for 79309*2^n+1 ...
Building Legendre symbol lookup table for 79817*2^n+1 ...
Building Legendre symbol lookup table for 90527*2^n+1 ...
Building Legendre symbol lookup table for 152267*2^n+1 ...
Building Legendre symbol lookup table for 156511*2^n+1 ...
Building Legendre symbol lookup table for 168451*2^n+1 ...
Building Legendre symbol lookup table for 222113*2^n+1 ...
Building Legendre symbol lookup table for 225931*2^n+1 ...
Building Legendre symbol lookup table for 237019*2^n+1 ...
Using 446Kb for Legendre symbol lookup tables.
Continuing with range pmin=12643800000000000,pmax=12643900000000000 in `SoBStatus.dat'.
No more work in `nextrange.txt'.