Отправлено: 12.09.17 00:58. Заголовок: Информации никакой н..
Информации никакой не нашел, но есть догадка, что в GHz-зачет будут теперь идти и PRP-тесты остатков разложенных экспонент. К примеру, М2221 = 8542422632035631154982234489 * 109418482145790364835045802461263406980904623 * OST OST - неразложенный кофактор (cofactor), PRP-тест которого дает результат - Remaining cofactor is not a probable-prime
Отправлено: 12.09.17 10:38. Заголовок: По смыслу OST = М222..
По смыслу OST = М2221 / 8542422632035631154982234489 / 109418482145790364835045802461263406980904623 PRP - PRobable Prime, скорее всего 3^OST mod OST = 3 Думаю, такая настройка скоро появится либо в Prime95, либо как отдельное официальное ПО.
Conductor нашел, как: 1) Заходим в аккаунт 2) Меню Account/Team info > My account > CPUshttps://www.mersenne.org/cpus/ 3) Углубляемся в один из своих компьютеров 4) Меняем ему тип заданий на нужный PRP 5) Сохраняем изменения
PRP расшифровывается как PRobable prime или на русском "вероятно простое". Если число проваливает этот тест, то оно точно составное. А если число проходит тест, то оно простое с очень большой вероятностью(вероятность ошибки< 1 на триллион чисел). Особенностью теста является, то что он применим к любому числу.
Отправлено: 27.11.17 21:15. Заголовок: Проверяется не само ..
Проверяется не само число Мерсенна, а (Число Мерсенна/Все известные делители). Таким образом пытаются узнать оставшаяся не факторизованная часть числа простое или нет. Вкратце для полной факторизации малых чисел Мерсенна.
Отправлено: 21.03.18 11:07. Заголовок: почитал официальный ..
почитал официальный форум.
если вкратце, PRP и PRP-DC позиционируются как замена LL/LL-D - по времени вычисления получается то же самое, но существенно меньше шанс ошибки. правда, к сайту эти типы заданий ещё не прикручены по-нормальному - информация о распределении заданий, классы и т. п.
в общем, я всё своё барахло, которое до этого считало LL, перевёл на PRP - посмотрим, как будут развиваться события.
Отправлено: 22.03.19 13:42. Заголовок: manrus, не быстрее, ..
manrus, не быстрее, а немного медленнее, но существенно меньше вероятность ошибки даже на ненадёжном железе - именно поэтому PRP предпочтительнее.
З.Ы. - буквально пару дней назад PRP как следует прикрутили к праймнету и теперь задания "what makes sense" выдаются именно PRP, что кагбе намекает. ну и диапазон для PRP-WR объединили с тем, что считают LL`шники.
Отправлено: 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 везде называется. Суб-проект, так сказать, по разложению составных чисел Мерсенна на простые множители полностью. Актуально для достаточно маленьких экспонент только обычно. Когда найдены достаточно большие делители, когда их произведение уже не столько значительно мало по сравнению с остатком - можно проверить остаток на принадлежность к простым числам. Если в остатке простое число - то это соб-но будет последним простым делителем для данного числа Мерсенна. И разложение оного на множители завершено полностью, т.е. известны все простые делители.
Было найдено 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 не поддерживается.
Все даты в формате GMT
3 час. Активность сегодня: 3
Права: смайлы да, картинки да, шрифты нет, голосования нет
аватары да, автозамена ссылок вкл, премодерация откл, правка нет