Teste de primalidade de Adleman – Pomerance – Rumely - Adleman–Pomerance–Rumely primality test

Na teoria dos números computacionais , o teste de primalidade de Adleman-Pomerance-Rumely é um algoritmo para determinar se um número é primo . Ao contrário de outros algoritmos mais eficientes para esse fim, evita o uso de números aleatórios, por isso é um teste de primalidade determinístico . Recebeu o nome de seus descobridores, Leonard Adleman , Carl Pomerance e Robert Rumely . O teste envolve aritmética em campos ciclotômicos .

Posteriormente, foi melhorado por Henri Cohen e Hendrik Willem Lenstra , comumente referido como APR-CL . Ele pode testar a primalidade de um número inteiro n no tempo:

Implementações de software

  • UBASIC fornece uma implementação sob o nome APRT-CLE (APR Test CL extendido)
  • Um miniaplicativo de fatoração que usa APR-CL em certas condições (código-fonte incluído)
  • Pari / GP usa APR-CL condicionalmente em sua implementação de isprime ().
  • mpz_aprcl é uma implementação de código aberto usando C e GMP.
  • O LLR de Jean Penné usa APR-CL em certos tipos de testes principais como uma opção alternativa.

Referências

  • Adleman, Leonard M .; Pomerance, Carl ; Rumely, Robert S. (1983). "Sobre a distinção de números primos de números compostos". Annals of Mathematics . 117 (1): 173–206. doi : 10.2307 / 2006975 . JSTOR  2006975 .
  • Cohen, Henri ; Lenstra, Hendrik W., Jr. (1984). "Teste de primazia e somas de Jacobi" . Matemática da Computação . 42 (165): 297–330. doi : 10.2307 / 2007581 . JSTOR  2007581 .
  • Riesel, Hans (1994). Números Primos e Métodos de Computador para Fatoração . Birkhäuser. pp.  131 –136. ISBN 978-0-8176-3743-9.
  • APR e APR-CL