素数判定いろいろ - フェルマーテスト・ミラーラビン素数判定法 - Qiita数学好きのエンジニアしてます @srtk86 です。本日の日付 1219 は素数です。 素数かどうかを判定するアルゴリズムについて色々見てみたので、その話をしようと思います。 前回は素数の定義と、そこから自然に生まれるアルゴリズムについて書きました。 今回は確率的な素数判定について、裏側の理論に触れながら追っていきたいと思います。 目次 シンプルな素数判定と、素数の分布 フェルマーテスト・ミラーラビン素数判定法 - 今ここ！ AKS素数判定法 合同式の定義 本格的にフェルマーテストの話をする前に、あまりの計算を表す形式とその意味について、簡単に触れておきます。 「$n$を$d$でわると$a$あまる」といった性質を、以下のような式で表します（一般的に合同式と呼ばれるものです） 合同式の性質などに関しては以降の話でそれほど重要ではないため、割愛します。 「この記号が出てくるところでは、割り算の
