|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ー : [ちょうおん] (n) long vowel mark (usually only used in katakana) ・ 証 : [あかし, しょう] (n) 1. proof 2. evidence ・ 証明 : [しょうめい] 1. (n,vs) proof 2. verification
デリック・ヘンリー・レーマー (en) は、エドゥアール・リュカの判定法を改良し、今日ではリュカ–レーマー・テスト(Lucas–Lehmer primality test) と呼ばれる、メルセンヌ数に対する素数判定法を確立した。 == リュカ–レーマー・テスト == ''p'' が奇素数のとき、メルセンヌ数 ''M''=2-1 が素数となるための必要十分条件は、''S'' = 4, ''S'' = ''S'' − 2 (''n'' ≧ 1) と定義したときに ''S'' が ''M'' で割り切れることである〔中村(2008)、84-85頁〕〔和田(1981)、50-52頁、194-199頁〕〔和田(1999)、§5 リュカ・テスト〕。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「リュカ–レーマー・テストの証明」の詳細全文を読む スポンサード リンク
|