Problems for which a solution cannot be found in polynomial time by a deterministic Turing Machine but can be verified in polynomial time
Problems for which a solution cannot be found in polynomial time by a deterministic Turing Machine but can be verified in polynomial time