« Test de primalité de Solovay-Strassen » : différence entre les versions

Si l'[[hypothèse de Riemann généralisée]], non démontrée en 20202024, est vraie alors tout nombre composé <math>n</math> admet un témoin d'Euler inférieur à <math>2 (\log n)^2</math>. Le test de primalité Solovay-Strassen peut dans ce cas être adapté en un test déterministe de complexité <math>\mathcal{O}(\log^4 n)</math><ref name = "boyer"/>, donc [[Analyse de la complexité des algorithmes|polynomial]] en le nombre de chiffres de <math>n</math><ref group = "note">Le nombre de chiffres d'un nombre entier est de l'ordre de son logarithme.</ref>.