NP (complexity) 2026-09-24
is the class of decision problems whose positive instances have polynomial-length certificates verifiable in polynomial time. Equivalently, it is polynomial time on a nondeterministic computation.
P (complexity) 2026-09-24