素数性判定とは? わかりやすく解説

素数性判定

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/12/31 00:03 UTC 版)

ヤコビ記号」の記事における「素数性判定」の解説

ヤコビ記号ルジャンドル記号異な別の方法がある。オイラーの規準の式が合成数を法として使用される場合結果ヤコビ記号の値である場合そうでない場合があり、実際に−1または1でさえないこともある。 ( 19 45 ) = 1  and  19 451 2 ≡ 1 ( mod 45 ) . ( 8 21 ) = − 1  but  8 211 2 ≡ 1 ( mod 21 ) . ( 5 21 ) = 1  but  5 211 216 ( mod 21 ) . {\displaystyle {\begin{aligned}\left({\frac {19}{45}}\right)&=1&&{\text{ and }}&19^{\frac {45-1}{2}}&\equiv 1{\pmod {45}}.\\\left({\frac {8}{21}}\right)&=-1&&{\text{ but }}&8^{\frac {21-1}{2}}&\equiv 1{\pmod {21}}.\\\left({\frac {5}{21}}\right)&=1&&{\text{ but }}&5^{\frac {21-1}{2}}&\equiv 16{\pmod {21}}.\end{aligned}}} そのため、数nが素数であるか合成数であるかが不明である場合は、乱数aを選択しヤコビ記号(a/n)を計算しオイラーの式比較する。それらがnを法として異な場合、nは合成数である。それらがaの多く異なる値に対してnを法とする同じ剰余を持つ場合、nは「おそらく素数」(擬素数)である。 これは確率論的ソロベイ–シュトラッセン素数判定法と、Baillie-PSW primality testミラー–ラビン素数判定法などの改良基礎である。 間接的な使用として、リュカレーマー素数判定実行中のエラー検出ルーチンとして使用することができる。これは現代のコンピュータハードウェアにおいても 2 82 , 589 , 933 − 1 {\displaystyle {\begin{aligned}2^{82,589,933}-1\end{aligned}}} (既知最大メルセンヌ素数)を処理を完了するのに数週間かかる場合がある。In nominal cases, the Jacobi symbol: ( s i2 M p ) = − 1 i ≠ 0 {\displaystyle {\begin{aligned}\left({\frac {s_{i}-2}{M_{p}}}\right)&=-1&i\neq 0\end{aligned}}} これは最終的な剰余 s p − 2 {\displaystyle {\begin{aligned}s_{p-2}\end{aligned}}} にも当てはまるため、妥当性検証として使用できる。ただしハードウェアエラー生じた場合結果が0または1になる可能性50%あり、これは s {\displaystyle {\begin{aligned}s\end{aligned}}} の後続の項で変化しない別のエラー生じて-1に戻らない限り)。

※この「素数性判定」の解説は、「ヤコビ記号」の解説の一部です。
「素数性判定」を含む「ヤコビ記号」の記事については、「ヤコビ記号」の概要を参照ください。

ウィキペディア小見出し辞書の「素数性判定」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「素数性判定」の関連用語

1
ヤコビ記号 百科事典
8% |||||

2
リュカ擬素数 百科事典
6% |||||

素数性判定のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



素数性判定のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのヤコビ記号 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS