米勒-拉宾质数判定法 编辑
米勒-拉宾质数判定法是一种质数判定法则，利用随机化算法判断一个数是合数还是可能是素数。卡内基梅隆大学的计算机系教授盖瑞·米勒首先提出了基于广义黎曼猜想的确定性算法，由于广义黎曼猜想并没有被证明，其后由以色列耶路撒冷希伯来大学的迈克尔·拉宾教授作出修改，提出了不依赖于该假设的随机化算法。
1