''n'' observe implies primality problem co rp one randomly chooses numbers less composite number ''n'' probability failing find witness sup sup practical purposes good primality test ''n'' big may test practical probability error reduced arbitrary degree performing enough independent tests therefore practice penalty associated accepting small probability error since little care probability
Formal science Computer science Algorithms Randomized algorithms