| | PRIMES is in P little FAQ (Site not responding. Last check: 2007-11-07) |
 | | For the problem of testing the primality of an integer n, we will consider the number of bits needed to represent n, this is lg (n), where lg represents the logarithm base 2. |
 | | This primality test is very inefficient however: to determine if an integer n is prime one needs to execute sqrt(n) divisions, which is exponential in lg(n) (the size of n), thus not bounded by a polynomial in the size of n. |
 | | The test is not bulletproof for primality however, there exist integers n which are not prime and for which the equality in (1) will be satisfied for all integers a, thus if the algorithm does not determine that an integer is not prime we cannot conclude with certainty that it is a prime. |
| crypto.cs.mcgill.ca /~stiglic/PRIMES_P_FAQ.html (2589 words) |