Lucas-Lehmer-test voor Mersennegetallen
Van Wikipedia
- Dit artikel gaat over de Lucas-Lehmertest voor Mersenne-getallen. Er is ook een algemene Lucas-Lehmer-test, voor alle natuurlijke getallen.
De Lucas-Lehmertest voor Mersenne-getallen is een algoritme om te bepalen of het Mersenne-getal 2p-1 (p een priemgetal) een Mersennepriemgetal is. De test is ontwikkeld door Edouard Lucas en later verbeterd door Derrick Henry Lehmer.
[bewerk] Algoritme
Laat Mp = 2p − 1 een Mersenne-getal zijn met p een priemgetal. Definieer nu de rij S als volgt:
De eerste termen van deze rij zijn 4, 14, 194, 37634, ... Nu geldt dat Mp een priemgetal is dan en slechts dan als
Anders is Mp een samengesteld getal.
Met FFT implementatie heeft het algoritme een looptijd van O(n2 log n)
[bewerk] Voorbeeld
Als voorbeeld nemen we M5 = 25-1 = 31
S3 = 0 dus 31 is een priemgetal.