Правила форума: Называем темы четко, сообщения пишем грамотно и по делу, уважаем друг друга, флуд и спам неприемлемы!   Все вопросы сюда>>



АвторСообщение
VIP-участник




Сообщение: 54
Репутация: 0
ссылка на сообщение  Отправлено: 09.09.17 09:57. Заголовок: Новые типы тестов


В личной статистике появились новые типы тестов: PRP, PRP-DC, PRP-CF, PRP-CF-DC.

Что это такое? Кто-нибудь знает?

Спасибо: 0 
ПрофильЦитата Ответить
Ответов - 22 , стр: 1 2 All [только новые]


Администратор




Сообщение: 308
Репутация: 2
ссылка на сообщение  Отправлено: 12.09.17 00:58. Заголовок: Информации никакой н..


Информации никакой не нашел, но есть догадка, что в GHz-зачет будут теперь идти и PRP-тесты остатков разложенных экспонент.
К примеру, М2221 = 8542422632035631154982234489 * 109418482145790364835045802461263406980904623 * OST
OST - неразложенный кофактор (cofactor), PRP-тест которого дает результат - Remaining cofactor is not a probable-prime


[ Команда GIMPS.Russia | FAQ по Яндекс.Директ ] Спасибо: 0 
ПрофильЦитата Ответить
VIP-участник




Сообщение: 55
Репутация: 0
ссылка на сообщение  Отправлено: 12.09.17 07:29. Заголовок: Новые типы тестов


Пример понятен. Тогда где взять OST и как его тестировать, т.е. что такое PRP-тест?

Пускай всего я не свершу, мой замысел велик - и этого довольно. Спасибо: 0 
ПрофильЦитата Ответить
Администратор




Сообщение: 309
Репутация: 2
ссылка на сообщение  Отправлено: 12.09.17 10:38. Заголовок: По смыслу OST = М222..


По смыслу OST = М2221 / 8542422632035631154982234489 / 109418482145790364835045802461263406980904623
PRP - PRobable Prime, скорее всего 3^OST mod OST = 3
Думаю, такая настройка скоро появится либо в Prime95, либо как отдельное официальное ПО.

[ Команда GIMPS.Russia | FAQ по Яндекс.Директ ] Спасибо: 0 
ПрофильЦитата Ответить
VIP-участник




Сообщение: 56
Репутация: 0
ссылка на сообщение  Отправлено: 12.09.17 20:33. Заголовок: По смыслу OST = М222..


Конкретное значение OST где взять? Самому вычислять?

Пускай всего я не свершу, мой замысел велик - и этого довольно. Спасибо: 0 
ПрофильЦитата Ответить
Администратор




Сообщение: 310
Репутация: 2
ссылка на сообщение  Отправлено: 12.09.17 20:54. Заголовок: Либо вычислить, либо..


Либо вычислить, либо программа сама поймет.

[ Команда GIMPS.Russia | FAQ по Яндекс.Директ ] Спасибо: 0 
ПрофильЦитата Ответить
VIP-участник




Сообщение: 57
Репутация: 0
ссылка на сообщение  Отправлено: 14.09.17 10:58. Заголовок: PRP


В описании(в файле whatsnew.txt) Version 25.5 of prime95 в пункте 11 первый раз упоминается PRP-тест, но как это использовать я не понимаю.

Пускай всего я не свершу, мой замысел велик - и этого довольно. Спасибо: 0 
ПрофильЦитата Ответить
Администратор




Сообщение: 312
Репутация: 2
ссылка на сообщение  Отправлено: 24.09.17 21:01. Заголовок: PRP-тесты стартовали..


PRP-тесты стартовали: https://www.mersenne.org/report_exponent/?exp_lo=1549&full=1
Правда пока непонятно, как.

[ Команда GIMPS.Russia | FAQ по Яндекс.Директ ] Спасибо: 0 
ПрофильЦитата Ответить
Администратор




Сообщение: 315
Репутация: 2
ссылка на сообщение  Отправлено: 03.11.17 19:19. Заголовок: Смотрю, Oliver Kruse..


Смотрю, Oliver Kruse мигом приходует новые экспоненты под PRP: https://www.mersenne.org/report_exponent/?exp_lo=804317&exp_hi=&full=1&ecmhist=1

[ Команда GIMPS.Russia | FAQ по Яндекс.Директ ] Спасибо: 0 
ПрофильЦитата Ответить
VIP-участник




Сообщение: 63
Репутация: 0
ссылка на сообщение  Отправлено: 03.11.17 20:21. Заголовок: Смотрю, Oliver Kruse..


Так ЧТО же он делает? КАК?

Пускай всего я не свершу, мой замысел велик - и этого довольно. Спасибо: 0 
ПрофильЦитата Ответить
Администратор




Сообщение: 316
Репутация: 2
ссылка на сообщение  Отправлено: 04.11.17 01:11. Заголовок: Conductor нашел, как..


Conductor нашел, как:
1) Заходим в аккаунт
2) Меню Account/Team info > My account > CPUs https://www.mersenne.org/cpus/
3) Углубляемся в один из своих компьютеров
4) Меняем ему тип заданий на нужный PRP
5) Сохраняем изменения

[ Команда GIMPS.Russia | FAQ по Яндекс.Директ ] Спасибо: 0 
ПрофильЦитата Ответить
VIP-участник




Сообщение: 64
Репутация: 0
ссылка на сообщение  Отправлено: 04.11.17 11:56. Заголовок: Conductor нашел, как.


Интересно. Посмотрю.

Пускай всего я не свершу, мой замысел велик - и этого довольно. Спасибо: 0 
ПрофильЦитата Ответить



Сообщение: 6
Репутация: 0
ссылка на сообщение  Отправлено: 26.11.17 14:03. Заголовок: PRP расшифровывается..


PRP расшифровывается как PRobable prime или на русском "вероятно простое". Если число проваливает этот тест, то оно точно составное. А если число проходит тест, то оно простое с очень большой вероятностью(вероятность ошибки< 1 на триллион чисел). Особенностью теста является, то что он применим к любому числу.

Спасибо: 0 
ПрофильЦитата Ответить
VIP-участник




Сообщение: 67
Репутация: 0
ссылка на сообщение  Отправлено: 27.11.17 08:03. Заголовок: PRP


Зачем тестировать число на "вероятно простое", если у него уже найден делитель?

Например для M5312803 был ранее найден делитель:

2009-05-30 GrunwalderGIMP F-ECM Factor: 5504084805389945807

А потом проводится PRP тест :

2017-11-27 Oliver Kruse PRP M5312803/5504084805389945807 is not prime. Res64: 94EFFEBE69342F__

Какой смысл?

Пускай всего я не свершу, мой замысел велик - и этого довольно. Спасибо: 0 
ПрофильЦитата Ответить



Сообщение: 7
Репутация: 0
ссылка на сообщение  Отправлено: 27.11.17 21:15. Заголовок: Проверяется не само ..


Проверяется не само число Мерсенна, а (Число Мерсенна/Все известные делители). Таким образом пытаются узнать оставшаяся не факторизованная часть числа простое или нет.
Вкратце для полной факторизации малых чисел Мерсенна.

Спасибо: 0 
ПрофильЦитата Ответить
VIP-участник




Сообщение: 68
Репутация: 0
ссылка на сообщение  Отправлено: 28.11.17 07:41. Заголовок: PRP


Теперь понятно.

Пускай всего я не свершу, мой замысел велик - и этого довольно. Спасибо: 0 
ПрофильЦитата Ответить
VIP-участник




Сообщение: 4
Репутация: 0
ссылка на сообщение  Отправлено: 21.03.18 11:07. Заголовок: почитал официальный ..


почитал официальный форум.

если вкратце, PRP и PRP-DC позиционируются как замена LL/LL-D - по времени вычисления получается то же самое, но существенно меньше шанс ошибки. правда, к сайту эти типы заданий ещё не прикручены по-нормальному - информация о распределении заданий, классы и т. п.

в общем, я всё своё барахло, которое до этого считало LL, перевёл на PRP - посмотрим, как будут развиваться события.

Спасибо: 0 
ПрофильЦитата Ответить
VIP-участник




Сообщение: 1
Репутация: 0
ссылка на сообщение  Отправлено: 13.03.19 17:04. Заголовок: Насколько PRP быстре..


Насколько PRP быстрее чем LL ? Или нет разницы по скорости?

Спасибо: 0 
ПрофильЦитата Ответить
VIP-участник




Сообщение: 11
Репутация: 0
ссылка на сообщение  Отправлено: 22.03.19 13:42. Заголовок: manrus, не быстрее, ..


manrus, не быстрее, а немного медленнее, но существенно меньше вероятность ошибки даже на ненадёжном железе - именно поэтому PRP предпочтительнее.

З.Ы. - буквально пару дней назад PRP как следует прикрутили к праймнету и теперь задания "what makes sense" выдаются именно PRP, что кагбе намекает. ну и диапазон для PRP-WR объединили с тем, что считают LL`шники.

Спасибо: 0 
ПрофильЦитата Ответить
VIP-участник




Сообщение: 2
Репутация: 0
ссылка на сообщение  Отправлено: 23.03.19 21:42. Заголовок: ky0uraku, спасибо. Х..


ky0uraku, спасибо. Хоть кто-то жив еще

Спасибо: 0 
ПрофильЦитата Ответить
VIP-участник




Сообщение: 12
Репутация: 0
ссылка на сообщение  Отправлено: 25.03.19 21:11. Заголовок: manrus, да народ в о..


manrus, да народ в общем-то вполне жив, просто на форуме, по-видимому, редко появляется...

может нам какой-нибудь Дискорд запилить или Телеграм-чатик? всяко удобнее, в 2019 году-то

Спасибо: 0 
ПрофильЦитата Ответить





Сообщение: 61
Репутация: 0
ссылка на сообщение  Отправлено: 16.05.25 22:30. Заголовок: ky0uraku пишет: Дис..


ky0uraku пишет:

 цитата:
Дискорд запилить или Телеграм-чатик? всяко удобнее, в 2019 году-то

тут в 2025 редко кто даже туда заходит

PRIME NAMBER 2^136279841 -1 Спасибо: 0 
ПрофильЦитата Ответить



Не зарегистрирован
ссылка на сообщение  Отправлено: 23.06.25 03:26. Заголовок: Хотя и очень много в..


Хотя и очень много времени прошло, ответов в теме не было с конкретикой:

ky0uraku пишет:

 цитата:
не быстрее, а немного медленнее, но существенно меньше вероятность ошибки даже на ненадёжном железе - именно поэтому PRP предпочтительнее.


PRP не нужно перепроверять 2ой раз, в отличии от LL, т.к. с ним придумали как вычислять доказательство проделанных вычислений - proof. После отправки результата PRP, на сервер также заливаетя .proof файл с оным. И потом проверяется кем-нибудь другим по заданию типа CERT для Prime95, выдается с сервера в процессе дополнительно. Настройки для него (сколько процессорного времени максимум уделять подобным тестам) есть в проге. Проверяется proof на порядок быстрее, чем сам PRP тест. Поэтому в отличии от LL тут почти в 2 раза быстрее в целом проверка экспоненты проходит. Правда генерацию пруфов можно отключить или их заливка может не пройти (пруф файл может весить несколько сотен Мб, при плохом инете возможно). Неподкрепленный пруфом PRP-тест требует 2ой проверки, также как и LL.
И да, PRP-тест - показывает вероятность того, что число - простое. С очень высокой точностью (99.999+%), но если такое находится, его всё-равно буду проверять двумя независимым LL-тестами. Зато если PRP-тест с проверенным пруфом показал, что число - составное, то это уже точно так и число отсеивается из кандидатов в простые числа Мерсенна.

Оставnjrfn пишет:

 цитата:
Конкретное значение OST где взять? Самому вычислять?


PRP-CF - когда проверяются не сами числа Мерсенна, а кофактор - отстаток от деления M на известные делители. То, что назвали OST ранее в теме. Хотя на mersenne.org и .ca оно co-factor везде называется. Суб-проект, так сказать, по разложению составных чисел Мерсенна на простые множители полностью. Актуально для достаточно маленьких экспонент только обычно. Когда найдены достаточно большие делители, когда их произведение уже не столько значительно мало по сравнению с остатком - можно проверить остаток на принадлежность к простым числам. Если в остатке простое число - то это соб-но будет последним простым делителем для данного числа Мерсенна. И разложение оного на множители завершено полностью, т.е. известны все простые делители.

Пример:

https://www.mersenne.org/report_exponent/?exp_lo=140584811&full=1

Было найдено 5 делителей, среди который один очень большой. 61 десятичное число или 202.5 бит. Да и предыдущее, длиною в ~101 бит тоже не мало. Сумма бит всех 5 делителей: 15.8+20.9+23.0+101.2+202.5 = 363.4 бита. Число M1201 = (2^1201)-1 состоит соб-но из 1201 бит. 1201-363.4 = 837.6 бит - столько бит занимает ко-фактор. Сам ко-фактор это ((2^1201)-1)/57649/1967239/8510287/2830858618432184648159211485423/9303484663199459234574876772320860861459293591098445572165959 (все известные делители). Соб-но т.к. 837.6 уже как-то соизмеримо с 363.4 - есть шанс, что это уже последний простой делитель там и остался. Вместо поиска делителей далее после того, что 202.5 бит длиной, имеем уже смысл проверить остаток длиною 837.6 бит целиком. Проверка PRP показывает, что оно соб-но PRP. Результат подтверждается другими тестами и когда точно доказано, что оно простое. получатся что это 6ой и последний делитель M1201. Что соб-но и отражено тут: https://www.mersenne.ca/exponent/1201 за цифрами P253 (P - простое число, 253 - длина при записе в десятичных цифрах). И сверху надпись "Has been fully factored." говорит о том, что данного числа Мерсенна были найдены все возожные простые делители.

В worktodo.txt задания для PRP-CF записываются как обычный PRP тест для экспоненты, только в конце, последним параметром дописывается в кавычках " и через запятую список всех известных делителей:
PRP=1,2,1201,-1,68,1,"57649,1967239,8510287,2830858618432184648159211485423,9303484663199459234574876772320860861459293591098445572165959"

С таким заданием Prime95 проверит не само M1201, а остаток от деления его, на эти делители (посчитает сама). GPUOwl не поддерживается.

Спасибо: 0 
Цитата Ответить
Ответов - 22 , стр: 1 2 All [только новые]
Ответ:
1 2 3 4 5 6 7 8 9
видео с youtube.com картинка из интернета картинка с компьютера ссылка файл с компьютера русская клавиатура транслитератор  цитата  кавычки оффтопик свернутый текст

показывать это сообщение только модераторам
не делать ссылки активными
Имя, пароль:      зарегистрироваться    
Тему читают:
- участник сейчас на форуме
- участник вне форума
Все даты в формате GMT  3 час. Активность сегодня: 3
Права: смайлы да, картинки да, шрифты нет, голосования нет
аватары да, автозамена ссылок вкл, премодерация откл, правка нет





Мир Идей:
∙ Форумы ∙
∙ Космос ∙
∙ Heroes ∙
∙ Зона И ∙
∙ Раритеты ∙
∙ WEB ∙
∙ AML ∙
∙ Program ∙


(C) Copyright 1998 – 2016 by Alex_soldier