"Primality testing in polynomial time" - читать интересную книгу автора (Martin Dietzfelbinger)