To learn how to update the categories for this article, see here. To update categories, edit the metadata template.
Definition: Class of decision problems that can be solved in nondeterministic polynomial time or, equivalently, can be checked in polynomial time. [d] [e]
