Nondeterministic Polynomial Time Solvable

Last updated Nov 1, 2022

TODO this is known as the Complexity Class $\mathcal{NP}$.