|
Ещё раз о тесте Ферма
|
|||
---|---|---|---|
#18+
Продолжил построение различных множеств простых чисел. В сообщениях 21908344 и 21913903 говорилось о построении одного из таких множеств. Можно построить одно из подмножеств данного множества: простые числа после 2^198. В результате за 0,7 секунд на компьютере определились 64 числа, большие 2^198 на следующие величины: 277, 693, 763, 1165, 1395, 1723, 2157, 2349, 2613, 3067, 3397, 3637, и т.д. Эти числа проверены на факторизаторе чисел. ... |
|||
:
Нравится:
Не нравится:
|
|||
01.08.2019, 07:28 |
|
Ещё раз о тесте Ферма
|
|||
---|---|---|---|
#18+
Так никто не ответил на первое сообщение топика: "А кроме чисел Мерсенна есть ли ещё примеры «ошибочности» теста Ферма?" Покопался в вики и нашел: https://ru.wikipedia.org/wiki/Псевдопростое_число Существует последовательность A001567 в https://oeis.org/A001567 где есть числа: 341, 561, 645, 1105, 1387, 1729, 1905, 2047, 2465, 2701, 2821, 3277, 4033, 4369, 4371, 4681, 5461, 6601, 7957, 8321, 8481, 8911, 10261, 10585, 11305, 12801, 13741, 13747, 13981, 14491, 15709, 15841, 16705, 18705, 18721, 19951, 23001, 23377, 25761, 29341 2047 - число Мерсенна 3277, 29341 - из сообщения 21908370 В эту последовательность войдут все составные числа Мерсенна - Мр, у которых р - простое число. ... |
|||
:
Нравится:
Не нравится:
|
|||
02.08.2019, 10:25 |
|
Ещё раз о тесте Ферма
|
|||
---|---|---|---|
#18+
А далее - самое интересное! Во многих науках решается не прямая задача (в нашем случае определение простых чисел), а обратная задача - рассмотрение случаев "сбоев" в решении прямой задачи. Например, есть тест Ферма, и у этого теста есть "сбои", пусть немного, но есть. Что не позволяет "доверять" тесту Ферма для всех случаев. Если получится понять поведение последовательности 21940432 , то задача определения простых чисел с помощью теста Ферма (и ещё чего-нибудь) будет решена. ... |
|||
:
Нравится:
Не нравится:
|
|||
02.08.2019, 12:44 |
|
Ещё раз о тесте Ферма
|
|||
---|---|---|---|
#18+
Решил сам определить последовательность чисел, полученных в результате «ошибочности» теста Ферма. За 4 сек. нашел 148 чисел из первых 500000 чисел, начиная с 1. Шаг был, начиная с 1, сначала 4, затем 2, затем 4, и т.д. Получилось, что при шаге 2 получилось 123 составных числа. А при шаге 4 получилось 25 составных чисел. В последовательности 21940432 рассматривались все нечётные числа. В этом случае получается 172 составных числа. ... |
|||
:
Нравится:
Не нравится:
|
|||
03.08.2019, 12:55 |
|
Ещё раз о тесте Ферма
|
|||
---|---|---|---|
#18+
Barlone...RSA шифрование. Числа там нужны от 2^1024. Даже если бы удалось придумать, как получить список, его негде хранить - количество элементарных частиц и видимой части вселенной сильно меньше, чем нужное количество элементов списка. Числа есть, а хранить их негде. Бардак. ... |
|||
:
Нравится:
Не нравится:
|
|||
05.08.2019, 15:27 |
|
Ещё раз о тесте Ферма
|
|||
---|---|---|---|
#18+
ёёёёёBarlone...RSA шифрование. Числа там нужны от 2^1024. Даже если бы удалось придумать, как получить список, его негде хранить - количество элементарных частиц и видимой части вселенной сильно меньше, чем нужное количество элементов списка.Числа есть, а хранить их негде. Бардак.А зачем хранить? Если есть такое хранилище, то оно доступно как криптографикам, так и криптоаналитикам. ... |
|||
:
Нравится:
Не нравится:
|
|||
05.08.2019, 16:03 |
|
Ещё раз о тесте Ферма
|
|||
---|---|---|---|
#18+
Gennadiy Usovёёёёёпропущено... Числа есть, а хранить их негде. Бардак.А зачем хранить? Если есть такое хранилище, то оно доступно как криптографикам, так и криптоаналитикам. В параллельной вселенной? ... |
|||
:
Нравится:
Не нравится:
|
|||
05.08.2019, 17:09 |
|
Ещё раз о тесте Ферма
|
|||
---|---|---|---|
#18+
ёёёёёGennadiy UsovА зачем хранить? Если есть такое хранилище, то оно доступно как криптографикам, так и криптоаналитикам.В параллельной вселенной? Зачем так далеко забираться? Малые простые числа - не интересны. Их можно найти в реальное время. Представляют интерес простые числа, связанные с криптографикой. Поскольку на имеющихся ЭВМ, в реальное время, можно найти очень небольшое количество простых чисел, "пригодных" для криптографии, то и воображаемая библиотека найденных больших простых чисел будет небольшой. В реальности представляет интерес разработка программ, позволяющих определять простые числа на "высоте" чисел 2^1024 или на "высоте" 2^2048. Например, поиск простых чисел, аналогичный поиску 21939419 ... |
|||
:
Нравится:
Не нравится:
|
|||
05.08.2019, 18:07 |
|
Ещё раз о тесте Ферма
|
|||
---|---|---|---|
#18+
maytonGennadiy UsovmaytonМне кажется что вероятностные тесты простоты мы уже обсуждали.А если для вероятностного теста простоты появляется дополнительное условие? Которое определяет достаточность теста простоты?Что за условия? Как вы их найдете?Просто никто не рассматривал составные числа, которые "проходят" тест Ферма. Этих чисел немного, поэтому их можно анализировать. Для начала - 21940591 ... |
|||
:
Нравится:
Не нравится:
|
|||
11.08.2019, 09:31 |
|
Ещё раз о тесте Ферма
|
|||
---|---|---|---|
#18+
maytonЕсть статья которая описывает библиотеку SymPy https://www.geeksforgeeks.org/prime-functions-python-sympy/ Просьба: можно получить часть кода, где эта библиотека подключается. Например, вместе с isprime (n) ... |
|||
:
Нравится:
Не нравится:
|
|||
11.08.2019, 16:37 |
|
Ещё раз о тесте Ферма
|
|||
---|---|---|---|
#18+
Важно рассмотреть ещё один вопрос. В сообщении 21939419 говорилось о найденной последовательности простых чисел. Допустим, на отрезке от 2^1023 до 2^1023 + 10000000 на домашнем компьютере за несколько минут найдено несколько простых чисел. Насколько полученная последовательность простых чисел может помочь в решении задачи поиска простых чисел в районе 2^1024? ... |
|||
:
Нравится:
Не нравится:
|
|||
14.08.2019, 18:17 |
|
Ещё раз о тесте Ферма
|
|||
---|---|---|---|
#18+
Первые несколько штук (probable prime). Код: sql 1. 2. 3. 4. 5. 6. 7. 8. 9.
... |
|||
:
Нравится:
Не нравится:
|
|||
14.08.2019, 21:38 |
|
Ещё раз о тесте Ферма
|
|||
---|---|---|---|
#18+
maytonПервые несколько штук (probable prime). Код: sql 1. 2. 3. 4. 5. 6. 7. 8. 9.
И сколько времени ушло на поиск этих чисел? И с помощью какого теста простоты? ... |
|||
:
Нравится:
Не нравится:
|
|||
15.08.2019, 07:16 |
|
Ещё раз о тесте Ферма
|
|||
---|---|---|---|
#18+
Несколько секунд. Тест - вероятностный. Стандартный BigInteger::nextProbablePrime. Но в JDK-11 как мне показалось поменялся исходных код этого теста. Я где-то привдил сорцы с 8 версии там отчотливо был видел тест Люка в совокупности с Миллером. Сейчас я не дам гарантий. Надо смотреть и изучать. Код: java 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. 23. 24. 25.
Еще есть забавный косяк. Я написал за пару минут функцию bigPower для встроенного в Scala типа BigInt, полагая что это бридж к java-шному BigInteger. Дальше обнаружил что bigInt не работает с функциями простоты и добавил java-шный тип BigInteger. Поэтому в исходнике есть два разных типа от двух разных языков. ... |
|||
:
Нравится:
Не нравится:
|
|||
15.08.2019, 09:28 |
|
Ещё раз о тесте Ферма
|
|||
---|---|---|---|
#18+
Щас качнул снова зеркало исходников JDK чтоб посмотреть историю. ... |
|||
:
Нравится:
Не нравится:
|
|||
15.08.2019, 09:41 |
|
Ещё раз о тесте Ферма
|
|||
---|---|---|---|
#18+
Второте и третье число - близнецы кстати. ... |
|||
:
Нравится:
Не нравится:
|
|||
15.08.2019, 10:29 |
|
Ещё раз о тесте Ферма
|
|||
---|---|---|---|
#18+
maytonНесколько секунд. Тест - вероятностный. Стандартный BigInteger::nextProbablePrime.А есть ли такая же программа на питоне? ... |
|||
:
Нравится:
Не нравится:
|
|||
15.08.2019, 19:48 |
|
Ещё раз о тесте Ферма
|
|||
---|---|---|---|
#18+
maytonПервые несколько штук (probable prime). Код: sql 1. 2. 3. 4. 5. 6. 7. 8. 9.
Было бы интереснее по другому представить информацию по поиску простых чисел (пример - 21939419 ): в начале - исходное число, лучше в виде 2^1023 (именно так!), а далее - разность между очередным простым числом и исходным числом. Так более читаемо. И можно зрительно отследить интервалы между найденными простыми числами. ... |
|||
:
Нравится:
Не нравится:
|
|||
16.08.2019, 18:35 |
|
Ещё раз о тесте Ферма
|
|||
---|---|---|---|
#18+
Gennadiy UsovmaytonНесколько секунд. Тест - вероятностный. Стандартный BigInteger::nextProbablePrime.А есть ли такая же программа на питоне? Я не специалист в Питоне. Но я думаю что тест Люка и Ребе-Миллера там должен быть. И длинная арифметика должна тоже быть. Есть Питонщики? ... |
|||
:
Нравится:
Не нравится:
|
|||
16.08.2019, 23:03 |
|
Ещё раз о тесте Ферма
|
|||
---|---|---|---|
#18+
2^1023 - это составное число. Я его писать не буду. Но дельта-кодирование будет выглядеть так. Лет несколько назад в топике простых чисел мы обсуждали дельта-кодирование для оптимального хранения. Но сегодня в нас... хранение primes - маветон. Негде хранить это. Хотя концептуально я придумывал и выбрасывал десяток идей. Код: sql 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. 23. 24. 25. 26. 27. 28. 29. 30. 31. 32.
... |
|||
:
Нравится:
Не нравится:
|
|||
16.08.2019, 23:24 |
|
Ещё раз о тесте Ферма
|
|||
---|---|---|---|
#18+
mayton2^1023 - это составное число. Я его писать не буду. Но дельта-кодирование будет выглядеть так. Лет несколько назад в топике простых чисел мы обсуждали дельта-кодирование для оптимального хранения. Но сегодня в нас... хранение primes - маветон. Негде хранить это. Хотя концептуально я придумывал и выбрасывал десяток идей. Код: sql 1. 2. 3. 4. 5.
Насколько я понял, здесь показаны расстояния между числами. В дальнейшем, было бы удобнее вести отсчет от первого числа, чтобы показать числовой ряд. Например: 2^1023, 1155, 1463,1553, 1655,1833 и т.д. или 89884656743115795386465259539451236680898848947115328636715040578866337902750481566354238661203768010560056939935696678829394884407208311246423715319737062188883946712432742638151109800623047059726541476042502884419075341171231440736956555270413618581675255342293149119973622969239858152417678164812112069763 338 428 530 708 1226 и тд. Спасибо за информацию! ... |
|||
:
Нравится:
Не нравится:
|
|||
17.08.2019, 06:30 |
|
Ещё раз о тесте Ферма
|
|||
---|---|---|---|
#18+
В префиксном коде. Код: sql 1. 2. 3. 4. 5. 6. 7. 8.
) ... |
|||
:
Нравится:
Не нравится:
|
|||
17.08.2019, 23:49 |
|
Ещё раз о тесте Ферма
|
|||
---|---|---|---|
#18+
mayton2^1023 - это составное число. Я его писать не буду. Но дельта-кодирование будет выглядеть так. Лет несколько назад в топике простых чисел мы обсуждали дельта-кодирование для оптимального хранения. Но сегодня в нас... хранение primes - маветон. Негде хранить это. Хотя концептуально я придумывал и выбрасывал десяток идей. Код: sql 1. 2. 3. 4. 5. 6. 7. 8.
Но это всё числа, полученные с помощью теста Ферма. А если среди них есть составные числа, как иногда бывает с тестом Ферма? ... |
|||
:
Нравится:
Не нравится:
|
|||
18.08.2019, 12:49 |
|
Ещё раз о тесте Ферма
|
|||
---|---|---|---|
#18+
Не знаю. Как это проверить? ... |
|||
:
Нравится:
Не нравится:
|
|||
18.08.2019, 13:42 |
|
Ещё раз о тесте Ферма
|
|||
---|---|---|---|
#18+
Исходный код который (предположительно) работает. Я использую JDK-11. Исходники брал от OpenJDK. Текущая версия мастер-бранча примерно ей соответсвует. Я говорю это просто просмотрев активность по изменениям в модуле BigInteger. Этот модуль стабилен и менялся редко. Особенно в части алгоритма. Основную его (ядерную часть) закоммитил некто Duke в 2007 году. Я кажется уже где-то его постил. Запощу еще раз. Специально для вас прокомментирую. Текущее число это "this". Это функция которая проверяет объект (метод объекта). Поэтому если вы проверяете число к пример 1999987 то следует читать this.add(ONE) как 1999987 + ONE или 1999987 + 1. Здесь ONE, TWO просто константы типа длинное целое. Такой вот он некрасивый язык Java при работе с объектными (не примитивными) типами. Код: java 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. 23. 24. 25. 26. 27. 28. 29. 30. 31. 32. 33. 34. 35. 36. 37. 38. 39. 40.
Код: java 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. 23. 24. 25. 26. 27. 28. 29.
... |
|||
:
Нравится:
Не нравится:
|
|||
18.08.2019, 14:44 |
|
|
start [/forum/topic.php?fid=16&msg=39849501&tid=1339906]: |
0ms |
get settings: |
11ms |
get forum list: |
14ms |
check forum access: |
4ms |
check topic access: |
4ms |
track hit: |
191ms |
get topic data: |
12ms |
get forum data: |
3ms |
get page messages: |
69ms |
get tp. blocked users: |
1ms |
others: | 12ms |
total: | 321ms |
0 / 0 |