From: "Pieter Moree" Date: Tue, 25 Feb 2003 22:05:08 +0100 (CET) Beste mensen, De opgave is de `strong pseudoprimality test' te implementeren. Dit is algorithm 18.5 op blz. 495 van het boek. Lees ook het bewijs van de correctheid ervan. Dat is vrij subtiel, maar gebruikt alleen de meest elementaire middelen uit de getaltheorie. Een tijdje rustig naar staren dus... Neem de zogenaamde Extended Riemann Hypothesis aan (voor een korte uitleg zie blz. 508). Probeer een groot getal N te vinden dat voor a=2,3,....,[2*logN*logN] steeds `probable prime' geeft. Volgens een resultaat van Eric Bach (1985), zie midden van blz. 505, geldt dan dat N daadwerkelijk een priemgetal is. Het is wel de bedoeling dat je Mathematica implementatie hier een redelijke tijd over doet. Zeg 1 uur hooguit op een Pentium III... Je kunt er ook over denken in het vinden van die N eerst kleine factoren proberen uit te sluiten door eerst een stel naieve delers (kleine priemfactoren) te proberen. Succes ! Pieter