Efficient verification of solutions: The class NP
Prev: efficient-solution-of-problems-the-class-p Next: undecidability
Prev: efficient-solution-of-problems-the-class-p Next: undecidability
Prev: efficient-solution-of-problems-the-class-p Next: undecidability
Prev: efficient-solution-of-problems-the-class-p Next: undecidability