Computational complexity class of decision problems solvable by a non-deterministic turing machine in polynomial time.