Up: Personal website [Top][Contents]
a.k.a. nondeterministic polynomial-time class
A complexity class of every decision problem whose