Up: Computer science [Top][Contents]
A complexity class of every decision problem whose
every solution is verifiable in polynomial time.