AKS予想の実装と検証
小澤伸二,宮田大輔 Agrawal, Kayal, Saxenaの予想が,nが1000億以下であれば正しいことを,100台のコンピュータを利用して確かめた。もし,AKS予想が正しければ,桁数の3乗に比例する程度の高速な多項式時間素数判定法を構成可能である。当時,AKS予想は100億以下であれば正しいことが,Agrawal, Kayal, Saxenaによって確かめられていた。
パソコンリテラシ
第28巻第5号,8-13