Given a problem instance and a solution (certificate), verify that the
solution solves the problem.
Example: PATH problem
In some cases, having a certificate does not help much since verification
is no faster than generating a solution from scratch (e.g., PATH).
However, this is not true of all problems...