米勒-拉賓檢驗

米勒 - 拉賓質數判定法  是一種質數判定法則 ， 利用隨機化算法判斷一個數是合數還是可能是素數 。 1976年 ， 卡內基梅隆大學的計算機系教授首先提出了基於廣義黎曼猜想的確定性算法 ， 由於廣義黎曼猜想並沒有被證明 ， 於1980年 ， 由以色列耶路撒冷希伯來大學的 - { zh - cn: 邁克爾 · 拉賓; zh - tw: 麥可 · 拉賓 } - 教授作出修改 ， 提出了不依賴於該假設的隨機化算法 。