nondeterministic polynomial time
noun1
Computer, Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Science, Sciences A class of decision problems for which a yes solution can be verified by a deterministic Turing machine in polynomial time, or alternatively a set of problems that can be solved in polynomial time by a nondeterministic Turing machine.