米勒-拉宾检验 米勒拉賓質數判定法英語MillerRabin primality test是一种質數判定法則利用随机化算法判断一个数是合数还是可能是素数年卡内基梅隆大学的计算机系教授蓋瑞米勒英语Gary Miller computer scientist首先提出了基于广义黎曼猜想的确定性算法由于广义黎曼猜想并没有被证明於年由以色列耶路撒冷希伯來大學的迈克尔拉宾教授作出修改提出了不依赖于该假设的随机化算法