這位研究費馬小定理的美國數學家的姓名是? 根據上一個問題,寫下一個包含答案的上下文. 這可以是1 - 20句. 背景:
概率測試的一個特別簡單的例子是費馬的初數測試,它依賴於這樣一個事實 (費馬的小定理),即如果 p 是一個素數,那麼對於任何 n,np<unk>n (mod p). 如果我們有一個數 b,我們想要測試它是否是初始數,那麼我們就把 nb (mod b) 作為一個隨機值的 n 作為測試. 這種測試的一個缺陷是,有些複數 (卡邁克爾數) 滿足費馬特特徵,儘管它們不是素數,因此測試沒有區分素數和卡邁克爾數的方法. 然而,卡邁克爾數比質數少得多,所以這項測試對於實際目的可能很有用. 費馬初數測試的更強大的擴充套件,如貝利-PSW,米勒-拉賓和索洛瓦-斯特拉森測試,在複合數應用時,至少有一部分時間保證會失敗.