[Algorytmy] Sprawdzenie pierwszości dużych liczb

[matemix]

Jesteście w stanie sprawdzić czy liczby:

\(\displaystyle{ \frac{2^{2^{13}-1}+1}{3}}\)
\(\displaystyle{ \frac{2^{2^{17}-1}+1}{3}}\)
\(\displaystyle{ \frac{2^{2^{19}-1}+1}{3}}\)
\(\displaystyle{ \frac{2^{2^{31}-1}+1}{3}}\)

są liczbami pierwszymi?

[JakimPL]

Na teraz mogę tylko stwierdzić, że pierwsza (z wymienionych, oczywiście ) i druga liczba jest złożona. Może zastosuj jakiś algorytm dedykowany liczbom tej postaci? Czy pytasz właśnie o takie algorytmy?

[matemix]

Właściwie tylko wydawało mi się, że są one pierwsze.