米勒-拉宾检验 编辑
米勒-拉宾质数判定法是一种质数判定法则，利用随机化算法判断一个数是合数还是可能是素数。卡内基梅隆大学的计算机系教授盖瑞·米勒首先提出了基于广义黎曼猜想的确定性算法，由于广义黎曼猜想并没有被证明，其后由以色列耶路撒冷希伯来大学的迈克尔·拉宾教授作出修改，提出了不依赖于该假设的随机化算法。
6
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
强伪质数是指一种能通过米勒-拉宾检验的合数。所有质数都能通过这个检验，但有一小部分合数也能通过这个检验。根据费马小定理的推论，强伪质数也是伪质数。
产业等级质数是由亨利·科恩取名的数，表示一整数尚未以严谨的方式证实是质数，但已通过了可能素数测试，像是米勒-拉宾检验，或是Baillie–PSW质数测试，目前还没有任一个合数通过此测试。
强伪质数是指一种能通过米勒-拉宾检验的合数。所有质数都能通过这个检验，但有一小部分合数也能通过这个检验。根据费马小定理的推论，强伪质数也是伪质数。