Отправлено: 09.09.17 09:57. Заголовок: Новые типы тестов

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

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

 Отправлено: 12.09.17 00:58. Заголовок: Информации никакой н..

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

 Отправлено: 12.09.17 07:29. Заголовок: Новые типы тестов

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

 Отправлено: 12.09.17 10:38. Заголовок: По смыслу OST = М222..

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

 Отправлено: 12.09.17 20:33. Заголовок: По смыслу OST = М222..

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

 Отправлено: 12.09.17 20:54. Заголовок: Либо вычислить, либо..

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

 Отправлено: 14.09.17 10:58. Заголовок: PRP

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

 Отправлено: 24.09.17 21:01. Заголовок: PRP-тесты стартовали..

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

 Отправлено: 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

 Отправлено: 03.11.17 20:21. Заголовок: Смотрю, Oliver Kruse..

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

 Отправлено: 04.11.17 01:11. Заголовок: Conductor нашел, как..

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

 Отправлено: 04.11.17 11:56. Заголовок: Conductor нашел, как.

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

 Отправлено: 26.11.17 14:03. Заголовок: PRP расшифровывается..

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

 Отправлено: 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__

Какой смысл?

 Отправлено: 27.11.17 21:15. Заголовок: Проверяется не само ..

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

 Отправлено: 28.11.17 07:41. Заголовок: PRP

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

 Отправлено: 21.03.18 11:07. Заголовок: почитал официальный ..

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

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

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

 Отправлено: 13.03.19 17:04. Заголовок: Насколько PRP быстре..

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

 Отправлено: 22.03.19 13:42. Заголовок: manrus, не быстрее, ..

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

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

 Отправлено: 23.03.19 21:42. Заголовок: ky0uraku, спасибо. Х..

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

 Отправлено: 25.03.19 21:11. Заголовок: manrus, да народ в о..

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

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

 Отправлено: 16.05.25 22:30. Заголовок: ky0uraku пишет: Дис..

ky0uraku пишет:

цитата:

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

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

 Отправлено: 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 не поддерживается.