找回密码
 欢迎注册
楼主: 无心人

[原创] BPSW和QFT素性检验算法执行时间比较

[复制链接]
发表于 2023-5-5 09:18:30 | 显示全部楼层
即使是以2位底的强伪素数,也有633.1M吗?还是太大了!
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2023-5-5 09:19:33 | 显示全部楼层
老外真是闲的没事干,居然2^64以下的伪素数都找出来,计算资源可真多,就是不知道他们素数判定算法怎么搞的(在找2^64以下的伪素数的时候)
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2023-5-15 13:15:39 | 显示全部楼层
国外有开源的大整数算法库,比hugecalc还要快很多!我要是没试过,我都不敢相信。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2023-5-15 13:20:56 | 显示全部楼层
无心人 发表于 2023-5-4 10:47
同样增加一次基3强伪素数测试的BPSW
1次SLPSP测试约等于3.8次SPSP测试


用SLPSP的优点是可以进行lucas U+Lucas V+一次半强伪素数

具体见下面的代码!
https://bbs.emath.ac.cn/forum.ph ... 3&fromuid=14149

我都是开源的,但是我不敢说“原创”

点评

你选择lucas测试的参数与BPSW不同  发表于 2023-5-17 16:59
nyy
一次lucas U+一次Lucas V+一次欧拉伪素数测试  发表于 2023-5-15 15:15
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2023-5-17 17:03:52 | 显示全部楼层
nyy 发表于 2023-5-15 13:20
用SLPSP的优点是可以进行lucas U+Lucas V+一次半强伪素数

具体见下面的代码!

另外,二次域Frobenius测试和Lucas序列测试,虽然都是基于二次型,但是重要区别是即使最弱形式,二次域Frobenius测试,只要保证选择的参数 z 不是某个形如 a + bi 的复整数(a, b都是整数,且其中一个是0)的平方根,就不存在伪素数

点评

形如 a + bi 的复整数(a, b都是整数,且其中一个是0)的平方根,会导致测试退化到 Fermat 素性测试的形式  发表于 2023-5-17 17:05
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2023-5-17 23:06:58 | 显示全部楼层
无心人 发表于 2023-5-17 17:03
另外,二次域Frobenius测试和Lucas序列测试,虽然都是基于二次型,但是重要区别是即使最弱形式,二次域Fr ...

原创????

点评

没能力原创,看arxiv上的论文实现的  发表于 2023-5-18 09:44
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2023-5-18 09:06:16 | 显示全部楼层
无心人 发表于 2023-5-17 17:03
另外,二次域Frobenius测试和Lucas序列测试,虽然都是基于二次型,但是重要区别是即使最弱形式,二次域Fr ...
你选择lucas测试的参数与BPSW不同


BPSW算法,就是指miller rabin(n-1)+lucas(n+1),与参数选择没多大关系!

点评

所有素性证明算法都需要证明两点,1、不存在合数通过测试。2、如果有合数通过测试,要有确定的可验证的形式,以排除它们。满足 1 的典型例子是 AKS,满足 2 的典型例子是 APR-CL  发表于 2023-5-18 09:49
否则BPSW早就升格成素性证明算法了  发表于 2023-5-18 09:48
但是数学界的共识是存在无数BPSW伪素数  发表于 2023-5-18 09:47
BPSW伪素数找不到就是同时满足n-1特定条件,n+1特定条件的合数n很难构造出来  发表于 2023-5-18 09:47
QFT伪素数如果存在是基于n的分解,因此和miller-rabin伪素数的基于n-1的分解和lucas伪素数的基于n+1的分解,形成互补关系  发表于 2023-5-18 09:45
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2023-5-18 09:51:20 | 显示全部楼层
无心人 发表于 2023-5-17 17:03
另外,二次域Frobenius测试和Lucas序列测试,虽然都是基于二次型,但是重要区别是即使最弱形式,二次域Fr ...

真受不了你,给我点评那么多,不与你争论这个问题了
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2023-5-18 14:26:35 | 显示全部楼层
无心人 发表于 2023-5-17 17:03
另外,二次域Frobenius测试和Lucas序列测试,虽然都是基于二次型,但是重要区别是即使最弱形式,二次域Fr ...

二次域Frobenius测试, 我不懂得这个
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2023-6-8 09:04:53 | 显示全部楼层
无心人 发表于 2023-5-17 17:03
另外,二次域Frobenius测试和Lucas序列测试,虽然都是基于二次型,但是重要区别是即使最弱形式,二次域Fr ...

你写的代码对大整数有用吗?还是只对比较小的整数有用?
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )

GMT+8, 2024-4-24 17:35 , Processed in 0.060978 second(s), 15 queries .

Powered by Discuz! X3.5

© 2001-2024 Discuz! Team.

快速回复 返回顶部 返回列表