リュカ–レーマー–リーゼル・テスト
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/15 15:30 UTC 版)
リュカ–レーマー–リーゼル・テスト(英: Lucas–Lehmer–Riesel test、またはLLRテスト)とは、数学の特に数論において、N = k ⋅ 2n − 1(ただし k は k < 2n を満たす奇数)という形の正整数に対する素数判定法である。この判定法はリュカ–レーマー・テストに基づいてハンス・リーゼルにより開発された[1]。第2項の符号が異なる N′ = k ⋅ 2n + 1(プロス数)に対しては、プロスの定理に基づくラスベガス法や Brillhart–Lehmer–Selfridge[2]の結果に基づく決定的アルゴリズムが用いられる。
- ^ Riesel 1969.
- ^ Brillhart, Lehmer & Selfridge 1975, p. 25.
- ^ a b Rodseth 1994.
- ^ Riesel 1994, p. 124.
- 1 リュカ–レーマー–リーゼル・テストとは
- 2 リュカ–レーマー–リーゼル・テストの概要
- 3 LLR ソフトウェア
- 4 外部リンク
- リュカ–レーマー–リーゼル・テストのページへのリンク