Home / Computer science
A complexity class of every decision problem whose
every solution is verifiable in polynomial time.