X-Nico

2 unusual facts about AKS primality test


Co-NP

The AKS primality test, published in 2002, proves that primality testing also lies in P, while factorization may or may not have a polynomial-time algorithm.

Membership in co-NP is also straightforward: one can just list the prime factors of m, which the verifier can confirm to be valid by multiplication and the AKS primality test.



see also