"A polynomial-time primality test" - читать интересную книгу автора (Agrawal, Kayal, Saxena.)