問題文を引用します。 だまされないFermatテストの変形の一つはMiller-Rabin テスト (Miller-Rabin test) (Miller 1976; Rabin 1980)という. これは, nが素数であり, aをnより小さい任意の正の整数とすると, aの(n - 1)乗はn を法として1と合同であるという, Fermatの小定理のもう一 ...

たぶん1カ月ほど前、「ミラーラビン素数判定法」なるものがあることを知りました。 けれど、難しくて理解が追い付かなかったので、放置してたら、その参照記事自体がどこにあったのか、すっかり忘れてしまいました…。 やっぱり思い立った時に書か ...