Now let's suppose that P (the "prover") knows a solution to a certain well-known HC problem
continued... Next Copyright © 2005 M. J. Dominus